Oded Padon
- SPoC: Search-based Pseudocode to Code
2019/06/12 by Sumith Kulal, Kulal, Sumith, Panupong Pasupat +11 · 42 citations
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Programming Languages (cs.PL) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- Clover: Closed-Loop Verifiable Code Generation
2023/10/26 by Chuyue Sun, Sun, Chuyue, Ying Sheng +5 · 18 citations
Computer Science · #Software Testing and Debugging Techniques #Software Engineering Research #Software Reliability and Analysis Research
- Quarl: A Learning-Based Quantum Circuit Optimizer
2023/07/17 by Zikun Li, Li, Zikun, Jinjun Peng +11 · 9 citations
Computer Science · Engineering · #Advancements in Semiconductor Devices and Circuit Design #FOS: Computer and information sciences #FOS: Physical sciences #Machine Learning (cs.LG) #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph)
- Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities
2021/11/22 by Jessica Pointing, Oded Padon, Pointing, Jessica +11 · 2 citations
Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Physical sciences #Low-power high-performance VLSI design #Programming Languages (cs.PL) #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph)
- Resources: A Safe Language Abstraction for Money
2020/04/10 by Sam Blackshear, Blackshear, Sam, David L. Dill +11 · 1 citation
Computer Science · Decision Sciences · #Blockchain Technology Applications and Security #FOS: Computer and information sciences #Programming Languages (cs.PL) #Stock Market Forecasting Methods
- Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion
2021/12/10 by Jason R. Koenig, Koenig, Jason R., Oded Padon +5 · 1 citation
Computer Science · #D.2.4 #Distributed systems and fault tolerance #F.3.1 #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Topic Modeling