Zobrazeno 1 - 10
of 34
pro vyhledávání: '"Lorch, Jacob R."'
Autor:
Yang, Chenyuan, Li, Xuheng, Misu, Md Rakib Hossain, Yao, Jianan, Cui, Weidong, Gong, Yeyun, Hawblitzel, Chris, Lahiri, Shuvendu, Lorch, Jacob R., Lu, Shuai, Yang, Fan, Zhou, Ziqiao, Lu, Shan
Generative AI has shown its values for many software engineering tasks. Still in its infancy, large language model (LLM)-based proof generation lags behind LLM-based code generation. In this paper, we present AutoVerus. AutoVerus uses LLM to automati
Externí odkaz:
http://arxiv.org/abs/2409.13082
Autor:
LORCH, JACOB R.1, YIXUAN CHEN2 yixuan.chen@yale.edu, KAPRITSOS, MANOS3, HAOJUN MA3 mahaojun@umich.edu, PARNO, BRYAN4 parno@cmu.edu, QADEER, SHAZ5 shaz.qadeer@gmail.com, SHARMA, UPAMANYU6 upamanyu@mit.edu, WILCOX, JAMES R.7 james@certora.com, XUEYUAN ZHAO4 xueyuanz@alumni.cmu.edu
Publikováno v:
ACM Transactions on Programming Languages & Systems. 2022, Vol. 44 Issue 2, p1-39. 39p.
Autor:
Hawblitzel, Chris, Howell, Jon, Kapritsos, Manos, Lorch, Jacob R., Parno, Bryan, Roberts, Michael L., Setty, Srinath, Zill, Brian
Publikováno v:
Communications of the ACM; Jul2017, Vol. 60 Issue 7, p83-92, 10p, 2 Diagrams, 7 Charts, 2 Graphs
Publikováno v:
Proceedings of the 2014 ACM International Joint Conference Pervasive & Ubiquitous Computing; 9/13/2014, p763-774, 12p
Publikováno v:
Trust & Trustworthy Computing (9783319085920); 2014, p19-36, 18p
Autor:
Lorch, Jacob R.1, Smith, Alan Jay2
Publikováno v:
IEEE Transactions on Computers. Jul2004, Vol. 53 Issue 7, p856-869. 14p.
Autor:
Agarwal, Sharad, Lorch, Jacob R.
Publikováno v:
Proceedings of the ACM SIGCOMM 2009 Conference: Data Communication; 8/16/2009, p315-326, 12p
Autor:
Bharambe, Ashwin, Douceur, John R., Lorch, Jacob R., Moscibroda, Thomas, Pang, Jeffrey, Seshan, Srinivasan, Zhuang, Xinyu
Publikováno v:
Proceedings of the ACM SIGCOMM 2008 Conference: Data Communication; 8/17/2008, p389-400, 12p
Autor:
Lorch, Jacob R., Smith, Alan Jay
Publikováno v:
IEEE Micro. Nov/Dec98, Vol. 18 Issue 6, p54. 10p. 1 Diagram, 3 Charts, 1 Graph.
Autor:
Lorch, Jacob R., Smith, Alan Jay
Publikováno v:
Proceedings of the 1st International Conference: Mobile Systems, Applications & Services; 5/ 5/2003, p215-229, 15p