11 citations · 15 across the 11 of their papers we have counts for
4 papers · 1 filter
Clover: Closed-Loop Verifiable Code Generation
Chuyue Sun, Ying Sheng, Oded Padon +1
The use of large language models for code generation is a rapidly growing trend in software development. However, without effective methods for ensuring the correctness of generate…
An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
Neta Elad, Oded Padon, Sharon Shoham
First-order logic, and quantifiers in particular, are widely used in deductive verification. Quantifiers are essential for describing systems with unbounded domains, but prove diff…
Leaf: Modularity for Temporary Sharing in Separation Logic (Extended Version)
Travis Hance, Jon Howell, Oded Padon +1
In concurrent verification, separation logic provides a strong story for handling both resources that are owned exclusively and resources that are shared persistently (i.e., foreve…
Quarl: A Learning-Based Quantum Circuit Optimizer
Zikun Li, Jinjun Peng, Yixuan Mei +4
Optimizing quantum circuits is challenging due to the very large search space of functionally equivalent circuits and the necessity of applying transformations that temporarily dec…