Padon, Oded
- SPoC: Search-based Pseudocode to Code
2019/06/12 by Sumith Kulal, Kulal, Sumith, Panupong Pasupat +11 · 48 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
- Mirage: A Multi-Level Superoptimizer for Tensor Programs
2024/05/09 by Wu, Mengdi, Cheng, Xinhao, Liu, Shengyu +7 · 28 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL)
- Clover: Closed-Loop Verifiable Code Generation
2023/10/26 by Chuyue Sun, Ying Sheng, Sun, Chuyue +5 · 21 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, Jinjun Peng, Li, Zikun +11 · 10 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 · 3 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)
- Verification of Threshold-Based Distributed Algorithms by Decomposition\n to Decidable Logics
2019/05/19 by Idan Berkovits, Berkovits, Idan, Marijana Lazić +7 · 2 citations
Computer Science · Social Sciences · #Access Control and Trust #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Parallel #Programming Languages (cs.PL) #Semantic Web and Ontologies #and Cluster Computing (cs.DC)
- Resources: A Safe Language Abstraction for Money
2020/04/10 by Sam Blackshear, David L. Dill, Blackshear, Sam +11 · 2 citations
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
- Leaf: Modularity for Temporary Sharing in Separation Logic (Extended Version)
2023/09/09 by Hance, Travis, Howell, Jon, Padon, Oded +1 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)