MRHMisu
@MRHMisu
Followers
186
Following
968
Statuses
16
PhD Candidate @UCIrvine | ex-Research Intern @MSFTResearch | MSc @UCLCS | Commonwealth Scholar @commschols
Los Angeles, CA
Joined December 2013
“DafnyBench: A Benchmark for Formal Software Verification” #Dafny
How can we ensure that LLM-generated code reliably does precisely what it is supposed to do? In our new paper with @tegmark, we introduce DafnyBench, the largest benchmark of its kind for training and evaluating machine learning systems for formal software verification. 🧵
0
1
4
RT @cristalopes: This post is from a few years back, but if you think the problem has been solved, or doesn’t affect your community, think…
0
8
0
🎉🎉Thrilled to announce that our paper "Towards AI-Assisted Synthesis of Verified #Dafny Methods" is accepted at @FSEconf 2024 🌐 ! Huge shoutout to my advisor @cristalopes, and our coauthors @iris_ma14 & @jameskjx for their incredible collaboration. #ProgramSynthesis, #AI4Code.
2
2
28
Finally, I am also a part of the #Sourcerer universe. Our paper, SourcererJBF has been accepted in @acm_tosem. Credit goes to my advisor @cristalopes (#The_Sorcerer_Supreme), for teaching me how to cast SE research spells.
3
2
8
RT @lionel_c_briand: To colleagues: Conferences in software engineering: Reflections after 30 years The Good, The Bad, and The Ugly I hav…
0
19
0
RT @linasbeliunas: Sergey Brin is worth $105 billion yet he was a core contributor on the Gemini AI technical paper, coding basically every…
0
621
0
Attended #MAPS 2023 @FSEconf . Special thanks to Professor Baishakhi Ray (@baishakhir) and Tianyi Zhang (@tian_yi_zhang) for organizing such a wonderful workshop. Learn different aspects and new challenges in #LLM4Code #AI4Code. Also thanks to @NSF for the Student Travel Award.
0
0
12
RT @iris_ma14: My advisor Crista Lopes @cristalopes will be giving a tutorial about LLMs for SE, tomorrow (Sunday) at ESEC/FSE'23 @FSEconf…
0
1
0
RT @baishakhir: We will discuss on different aspects of #LLMs for code at tomorrow, colocated with @FSEconf at San…
0
7
0
RT @splashcon: SLE keynote speaker Crista Lopes @cristalopes on how we can teach LLMs to prove program's safety and correctness (how much D…
0
4
0
RT @cristalopes: It's official: we're recruiting in SE! Come join us! #academia #academicjobs #SoftwareEngineering
0
12
0
Thank you @laura_titolo for arranging and hosting such wonderful workshop @SOAP_Workshop @PLDI. For me, it is great opportunity to have insightful feedback from the program analysis research community.
0
0
3
Thank @sigplan PAC Funding committee, for awarding me the Professional Activities Grant to attend @PLDI and present my paper in @SOAP_Workshop .
0
0
1
Thanks to the @PLMentoring organizing committee for awarding me the scholarship to participate in @PLMW. Very excited to attend the in-person @PLMentoring @PLDI.
0
0
3