Emilie Ma
Researcher at the University of British Columbia. Previously at OpenAI, Stripe, and the University of Cambridge, working on distributed systems infrastructure and security. More at https://emilie.ma.
Sessions
Operations
Correctness Too Cheap To Meter: Formal Verification and LLMs
Talk
Formal methods are powerful tools to verify software systems' correctness and reliability. However, manually writing system specs is time-consuming and hard to maintain. LLMs can help with this burden.
We'll share new research into tools to automate formal methods workflows and learnings from how LLMs currently perform.