Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDArmando Solar-Lezama
Person information
- affiliation: Massachusetts Institute of Technology, Cambridge, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[c80]Ivan Kuraj, Armando Solar-Lezama, Nadia Polikarpova:
Optimizing consistency for partially replicated data stores. PPoPP 2022: 457-458- [i43]John K. Feser, Isil Dillig, Armando Solar-Lezama:
Metric Program Synthesis for Inverse CSG. CoRR abs/2206.06164 (2022) - [i42]James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova:
Searching Entangled Program Spaces. CoRR abs/2206.07828 (2022) - 2021
- [j23]Dana Fisman, Rishabh Singh, Armando Solar-Lezama:
Special Issue on Syntax-Guided Synthesis Preface. Formal Methods Syst. Des. 58(3): 469-470 (2021) - [j22]Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama
, Yisong Yue:
Neurosymbolic Programming. Found. Trends Program. Lang. 7(3): 158-243 (2021) - [j21]Karl D. D. Willis, Yewen Pu, Jieliang Luo, Hang Chu, Tao Du, Joseph G. Lambourne, Armando Solar-Lezama, Wojciech Matusik:
Fusion 360 gallery: a dataset and environment for programmatic CAD construction from human design sequences. ACM Trans. Graph. 40(4): 54:1-54:24 (2021) - [c79]Nate F. F. Bragg, Jeffrey S. Foster, Cody Roux, Armando Solar-Lezama:
Program Sketching by Automatically Generating Mocks from Tests. CAV (1) 2021: 808-831 - [c78]Nathan Hunt, Nathan Fulton, Sara Magliacane, Trong Nghia Hoang, Subhro Das, Armando Solar-Lezama:
Verifiably safe exploration for end-to-end reinforcement learning. HSCC 2021: 14:1-14:11 - [c77]Maxwell I. Nye, Yewen Pu, Matthew Bowers, Jacob Andreas, Joshua B. Tenenbaum, Armando Solar-Lezama:
Representing Partial Programs with Blended Abstract Semantics. ICLR 2021 - [c76]Ferran Alet, Javier Lopez-Contreras, James Koppel, Maxwell I. Nye, Armando Solar-Lezama, Tomás Lozano-Pérez, Leslie Pack Kaelbling, Joshua B. Tenenbaum:
A large-scale benchmark for few-shot program induction and synthesis. ICML 2021: 175-186 - [c75]Zenna Tavares, James Koppel, Xin Zhang, Ria Das, Armando Solar-Lezama:
A Language for Counterfactual Generative Models. ICML 2021: 10173-10182 - [c74]Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard:
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments. NeurIPS 2021: 29669-29683 - [c73]Kevin Ellis, Catherine Wong, Maxwell I. Nye, Mathias Sablé-Meyer, Lucas Morales, Luke B. Hewitt, Luc Cary, Armando Solar-Lezama, Joshua B. Tenenbaum:
DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning. PLDI 2021: 835-850 - [i41]Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama:
Neurosymbolic Transformers for Multi-Agent Communication. CoRR abs/2101.03238 (2021) - [i40]Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard:
Program Synthesis Guided Reinforcement Learning. CoRR abs/2102.11137 (2021) - [i39]Jeevana Priya Inala, Yecheng Jason Ma, Osbert Bastani, Xin Zhang, Armando Solar-Lezama:
Safe Human-Interactive Control via Shielding. CoRR abs/2110.05440 (2021) - [i38]Karl D. D. Willis, Pradeep Kumar Jayaraman, Hang Chu, Yunsheng Tian, Yifei Li, Daniele Grandi, Aditya Sanghi, Linh Tran, Joseph G. Lambourne, Armando Solar-Lezama, Wojciech Matusik:
JoinABLe: Learning Bottom-up Assembly of Parametric CAD Joints. CoRR abs/2111.12772 (2021) - 2020
- [j20]Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, Armando Solar-Lezama:
Liquid information flow control. Proc. ACM Program. Lang. 4(ICFP): 105:1-105:30 (2020) - [j19]John K. Feser, Sam Madden, Nan Tang, Armando Solar-Lezama:
Deductive optimization of relational data storage. Proc. ACM Program. Lang. 4(OOPSLA): 170:1-170:30 (2020) - [j18]Jaejin Lee, Lawrence Rauchwerger, Armando Solar-Lezama, Guy L. Steele Jr.:
Introduction to the Special Issue on PPoPP 2017 (Part 2). ACM Trans. Parallel Comput. 7(3): 14:1-14:2 (2020) - [c72]Ivan Kuraj, Armando Solar-Lezama:
Aspect-oriented language for reactive distributed applications at the edge. EdgeSys@EuroSys 2020: 67-72 - [c71]Jeevana Priya Inala, Osbert Bastani, Zenna Tavares, Armando Solar-Lezama:
Synthesizing Programmatic Policies that Inductively Generalize. ICLR 2020 - [c70]Osbert Bastani, Jeevana Priya Inala, Armando Solar-Lezama:
Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis. xxAI@ICML 2020: 207-228 - [c69]Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama:
Neurosymbolic Transformers for Multi-Agent Communication. NeurIPS 2020 - [c68]Maxwell I. Nye, Armando Solar-Lezama, Josh Tenenbaum, Brenden M. Lake:
Learning Compositional Rules via Neural Program Synthesis. NeurIPS 2020 - [c67]Yewen Pu, Kevin Ellis, Marta Kryven, Josh Tenenbaum, Armando Solar-Lezama:
Program Synthesis with Pragmatic Communication. NeurIPS 2020 - [c66]Varot Premtoon, James Koppel, Armando Solar-Lezama:
Semantic code search via equational reasoning. PLDI 2020: 1066-1082 - [i37]Maxwell I. Nye, Armando Solar-Lezama, Joshua B. Tenenbaum, Brenden M. Lake:
Learning Compositional Rules via Neural Program Synthesis. CoRR abs/2003.05562 (2020) - [i36]Kevin Ellis, Catherine Wong, Maxwell I. Nye, Mathias Sablé-Meyer, Luc Cary, Lucas Morales, Luke B. Hewitt, Armando Solar-Lezama, Joshua B. Tenenbaum:
DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning. CoRR abs/2006.08381 (2020) - [i35]Nathan Hunt, Nathan Fulton, Sara Magliacane, Nghia Hoang, Subhro Das, Armando Solar-Lezama:
Verifiably Safe Exploration for End-to-End Reinforcement Learning. CoRR abs/2007.01223 (2020) - [i34]Rajeev Alur, Richard G. Baraniuk, Rastislav Bodík, Ann W. Drobnis, Sumit Gulwani, Bjoern Hartmann, Yasmin B. Kafai, Jeff Karpicke, Ran Libeskind-Hadas, Debra J. Richardson, Armando Solar-Lezama, Candace Thille, Moshe Y. Vardi:
Computer-Aided Personalized Education. CoRR abs/2007.03704 (2020) - [i33]Yewen Pu, Kevin Ellis, Marta Kryven, Josh Tenenbaum, Armando Solar-Lezama:
Program Synthesis with Pragmatic Communication. CoRR abs/2007.05060 (2020) - [i32]Karl D. D. Willis, Yewen Pu, Jieliang Luo, Hang Chu, Tao Du, Joseph G. Lambourne, Armando Solar-Lezama, Wojciech Matusik:
Fusion 360 Gallery: A Dataset and Environment for Programmatic CAD Reconstruction. CoRR abs/2010.02392 (2020) - [i31]James Koppel, Jackson Kearl, Armando Solar-Lezama:
Automatically Deriving Control-Flow Graph Generators from Operational Semantics. CoRR abs/2010.04918 (2020) - [i30]Maxwell I. Nye, Yewen Pu, Matthew Bowers, Jacob Andreas, Joshua B. Tenenbaum, Armando Solar-Lezama:
Representing Partial Programs with Blended Abstract Semantics. CoRR abs/2012.12964 (2020)
2010 – 2019
- 2019
- [j17]Osbert Bastani, Xin Zhang, Armando Solar-Lezama:
Probabilistic verification of fairness properties via concentration. Proc. ACM Program. Lang. 3(OOPSLA): 118:1-118:27 (2019) - [j16]Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama:
Program synthesis with algebraic library specifications. Proc. ACM Program. Lang. 3(OOPSLA): 132:1-132:25 (2019) - [j15]Lawrence Rauchwerger, Jaejin Lee, Armando Solar-Lezama, Guy L. Steele Jr.:
Introduction to the Special Issue on PPoPP 2017 (Part 1). ACM Trans. Parallel Comput. 6(4): 19e:1-19e:2 (2019) - [c65]Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Aréchiga, Soonho Kong:
Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems. CAV (2) 2019: 137-154 - [c64]Maxwell I. Nye, Luke B. Hewitt, Joshua B. Tenenbaum, Armando Solar-Lezama:
Learning to Infer Program Sketches. ICML 2019: 4861-4870 - [c63]Zenna Tavares, Javier Burroni, Edgar Minasyan, Armando Solar-Lezama, Rajesh Ranganath:
Predicate Exchange: Inference with Declarative Knowledge. ICML 2019: 6186-6195 - [c62]Thais Campos, Jeevana Priya Inala, Armando Solar-Lezama, Hadas Kress-Gazit:
Task-Based Design of Ad-hoc Modular Manipulators. ICRA 2019: 6058-6064 - [c61]Kevin Ellis, Maxwell I. Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, Armando Solar-Lezama:
Write, Execute, Assess: Program Synthesis with a REPL. NeurIPS 2019: 9165-9174 - [e2]Tim Mattson, Abdullah Muzahid, Armando Solar-Lezama:
Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL@PLDI 2019, Phoenix, AZ, USA, June 22, 2019. ACM 2019, ISBN 978-1-4503-6719-6 [contents] - [i29]Zenna Tavares, Javier Burroni, Edgar Minaysan, Armando Solar-Lezama, Rajesh Ranganath:
Soft Constraints for Inference with Declarative Knowledge. CoRR abs/1901.05437 (2019) - [i28]Maxwell I. Nye, Luke B. Hewitt, Joshua B. Tenenbaum, Armando Solar-Lezama:
Learning to Infer Program Sketches. CoRR abs/1902.06349 (2019) - [i27]John K. Feser, Samuel Madden, Nan Tang, Armando Solar-Lezama:
Deductive Optimization of Relational Data Storage. CoRR abs/1903.03229 (2019) - [i26]Zenna Tavares, Xin Zhang, Edgar Minaysan, Javier Burroni, Rajesh Ranganath, Armando Solar-Lezama:
The Random Conditional Distribution for Higher-Order Probabilistic Inference. CoRR abs/1903.10556 (2019) - [i25]Kevin Ellis, Maxwell I. Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, Armando Solar-Lezama:
Write, Execute, Assess: Program Synthesis with a REPL. CoRR abs/1906.04604 (2019) - [i24]Osbert Bastani, Xin Zhang, Armando Solar-Lezama:
Synthesizing Queries via Interactive Sketching. CoRR abs/1912.12659 (2019) - 2018
- [j14]Rajeev Alur, Rishabh Singh, Dana Fisman, Armando Solar-Lezama:
Search-based program synthesis. Commun. ACM 61(12): 84-93 (2018) - [j13]James Koppel, Gabriel Scherer, Armando Solar-Lezama:
Capturing the future by replaying the past (functional pearl). Proc. ACM Program. Lang. 2(ICFP): 76:1-76:29 (2018) - [j12]James Koppel, Varot Premtoon, Armando Solar-Lezama:
One tool, many languages: language-parametric transformation with incremental parametric syntax. Proc. ACM Program. Lang. 2(OOPSLA): 122:1-122:28 (2018) - [j11]Tao Du, Jeevana Priya Inala, Yewen Pu, Andrew Spielberg, Adriana Schulz, Daniela Rus, Armando Solar-Lezama, Wojciech Matusik:
InverseCSG: automatic conversion of 3D models to CSG trees. ACM Trans. Graph. 37(6): 213 (2018) - [c60]Soonho Kong, Armando Solar-Lezama, Sicun Gao:
Delta-Decision Procedures for Exists-Forall Problems over the Reals. CAV (2) 2018: 219-235 - [c59]Yewen Pu, Zachery Miranda, Armando Solar-Lezama, Leslie Pack Kaelbling:
Selecting Representative Examples for Program Synthesis. ICML 2018: 4158-4167 - [c58]Osbert Bastani, Yewen Pu, Armando Solar-Lezama:
Verifiable Reinforcement Learning via Policy Extraction. NeurIPS 2018: 2499-2509 - [c57]Xin Zhang, Armando Solar-Lezama, Rishabh Singh:
Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections. NeurIPS 2018: 4879-4890 - [c56]Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama, Josh Tenenbaum:
Learning to Infer Graphics Programs from Hand-Drawn Images. NeurIPS 2018: 6062-6071 - [c55]Kevin Ellis, Lucas Morales, Mathias Sablé-Meyer, Armando Solar-Lezama, Josh Tenenbaum:
Learning Libraries of Subroutines for Neurally-Guided Bayesian Program Induction. NeurIPS 2018: 7816-7826 - [c54]Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin C. Rinard, Regina Barzilay, Saman P. Amarasinghe, Joshua B. Tenenbaum, Tim Mattson:
The three pillars of machine programming. MAPL@PLDI 2018: 69-80 - [i23]Jeevana Priya Inala, Sicun Gao, Soonho Kong, Armando Solar-Lezama:
REAS: Combining Numerical Optimization with SAT Solving. CoRR abs/1802.04408 (2018) - [i22]Xin Zhang, Armando Solar-Lezama, Rishabh Singh:
Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections. CoRR abs/1802.07384 (2018) - [i21]Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin C. Rinard, Regina Barzilay, Saman P. Amarasinghe, Joshua B. Tenenbaum, Tim Mattson:
The Three Pillars of Machine-Based Programming. CoRR abs/1803.07244 (2018) - [i20]Osbert Bastani, Yewen Pu, Armando Solar-Lezama:
Verifiable Reinforcement Learning via Policy Extraction. CoRR abs/1805.08328 (2018) - [i19]Soonho Kong, Armando Solar-Lezama, Sicun Gao:
Delta-Decision Procedures for Exists-Forall Problems over the Reals. CoRR abs/1807.08137 (2018) - [i18]Osbert Bastani, Xin Zhang, Armando Solar-Lezama:
Verifying Fairness Properties via Concentration. CoRR abs/1812.02573 (2018) - 2017
- [j10]Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster:
An empirical study of adaptive concretization for parallel program synthesis. Formal Methods Syst. Des. 50(1): 75-95 (2017) - [j9]Xiaokang Qiu, Armando Solar-Lezama:
Natural synthesis of provably-correct data-structure manipulations. Proc. ACM Program. Lang. 1(OOPSLA): 65:1-65:28 (2017) - [j8]Rohit Singh, Venkata Vamsikrishna Meduri, Ahmed K. Elmagarmid, Samuel Madden, Paolo Papotti, Jorge-Arnulfo Quiané-Ruiz, Armando Solar-Lezama, Nan Tang:
Synthesizing Entity Matching Rules by Examples. Proc. VLDB Endow. 11(2): 189-202 (2017) - [j7]Rezaul Chowdhury, Pramod Ganapathi, Stephen L. Tschudi, Jesmin Jahan Tithi, Charles Bachmeier, Charles E. Leiserson, Armando Solar-Lezama, Bradley C. Kuszmaul, Yuan Tang:
Autogen: Automatic Discovery of Efficient Recursive Divide-8-Conquer Algorithms for Solving Dynamic Programming Problems. ACM Trans. Parallel Comput. 4(1): 4:1-4:30 (2017) - [c53]Zenna Tavares, Armando Solar-Lezama:
Mental Representations as Distribution-Sensitive Data Structures. AAAI Spring Symposia 2017 - [c52]James Koppel, Armando Solar-Lezama:
Incremental parametric syntax for multi-language transformation. SPLASH (Companion Volume) 2017: 53-54 - [c51]Derrick Lin, James Koppel, Angela Chen, Armando Solar-Lezama:
QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge. SPLASH (Companion Volume) 2017: 55-56 - [c50]Kuat Yessenov, Ivan Kuraj, Armando Solar-Lezama:
DemoMatch: API discovery from demonstrations. PLDI 2017: 64-78 - [c49]Rohit Singh, Venkata Vamsikrishna Meduri, Ahmed K. Elmagarmid, Samuel Madden, Paolo Papotti, Jorge-Arnulfo Quiané-Ruiz, Armando Solar-Lezama, Nan Tang:
Generating Concise Entity Matching Rules. SIGMOD Conference 2017: 1635-1638 - [c48]Ivan Kuraj, Armando Solar-Lezama:
Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems. SNAPL 2017: 7:1-7:15 - [c47]Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama:
Synthesis of Recursive ADT Transformations from Reusable Templates. TACAS (1) 2017: 247-263 - [c46]Yewen Pu, Leslie Pack Kaelbling, Armando Solar-Lezama:
Learning to Acquire Information. UAI 2017 - [c45]Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama:
SyGuS-Comp 2017: Results and Analysis. SYNT@CAV 2017: 97-115 - [i17]Yewen Pu, Leslie Pack Kaelbling, Armando Solar-Lezama:
Learning to Acquire Information. CoRR abs/1704.06131 (2017) - [i16]Ganesh Gopalakrishnan, Paul D. Hovland, Costin Iancu, Sriram Krishnamoorthy, Ignacio Laguna, Richard A. Lethin, Koushik Sen, Stephen F. Siegel, Armando Solar-Lezama:
Report of the HPC Correctness Summit, Jan 25-26, 2017, Washington, DC. CoRR abs/1705.07478 (2017) - [i15]James Koppel, Armando Solar-Lezama:
Incremental Parametric Syntax for Multi-Language Transformation. CoRR abs/1707.04600 (2017) - [i14]Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama, Joshua B. Tenenbaum:
Learning to Infer Graphics Programs from Hand-Drawn Images. CoRR abs/1707.09627 (2017) - [i13]James Koppel, Armando Solar-Lezama:
Capturing the Future by Replaying the Past. CoRR abs/1710.10385 (2017) - [i12]Yewen Pu, Zachery Miranda, Armando Solar-Lezama, Leslie Pack Kaelbling:
Learning to select examples for program synthesis. CoRR abs/1711.03243 (2017) - 2016
- [j6]Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama:
A differential approach to undefined behavior detection. Commun. ACM 59(3): 99-106 (2016) - [j5]Alvin Cheung, Armando Solar-Lezama:
Computer-Assisted Query Formulation. Found. Trends Program. Lang. 3(1): 1-94 (2016) - [j4]Alvin Cheung, Samuel Madden, Armando Solar-Lezama:
Sloth: Being Lazy Is a Virtue (When Issuing Database Queries). ACM Trans. Database Syst. 41(2): 8:1-8:42 (2016) - [c44]Rohit Singh, Armando Solar-Lezama:
SWAPPER: A framework for automatic generation of formula simplifiers based on conditional rewrite rules. FMCAD 2016: 185-192 - [c43]Jinseong Jeon, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster, Armando Solar-Lezama:
Synthesizing framework models for symbolic execution. ICSE 2016: 156-167 - [c42]Kevin Ellis, Armando Solar-Lezama, Josh Tenenbaum:
Sampling for Bayesian Program Learning. NIPS 2016: 1289-1297 - [c41]Yewen Pu, Karthik Narasimhan, Armando Solar-Lezama, Regina Barzilay:
sk_p: a neural program corrector for MOOCs. SPLASH (Companion Volume) 2016: 39-40 - [c40]Shachar Itzhaky, Rohit Singh, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles E. Leiserson, Rezaul Alam Chowdhury:
Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations. OOPSLA 2016: 145-164 - [c39]Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama:
Program synthesis from polymorphic refinement types. PLDI 2016: 522-538 - [c38]Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong:
Precise, dynamic information flow for database-backed applications. PLDI 2016: 631-647 - [c37]Shoaib Kamil, Alvin Cheung, Shachar Itzhaky, Armando Solar-Lezama:
Verified lifting of stencil computations. PLDI 2016: 711-726 - [c36]Rezaul Alam Chowdhury, Pramod Ganapathi, Jesmin Jahan Tithi, Charles Bachmeier, Bradley C. Kuszmaul, Charles E. Leiserson, Armando Solar-Lezama, Yuan Tang:
AUTOGEN: automatic discovery of cache-oblivious parallel recursive algorithms for solving dynamic programs. PPoPP 2016: 10:1-10:12 - [c35]Jeevana Priya Inala, Rohit Singh, Armando Solar-Lezama:
Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers. SAT 2016: 302-320 - [c34]Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama:
SyGuS-Comp 2016: Results and Analysis. SYNT@CAV 2016: 178-202 - [i11]Rohit Singh, Armando Solar-Lezama:
Automatic Generation of Formula Simplifiers based on Conditional Rewrite Rules. CoRR abs/1602.07285 (2016) - [i10]Yewen Pu, Karthik Narasimhan, Armando Solar-Lezama, Regina Barzilay:
sk_p: a neural program corrector for MOOCs. CoRR abs/1607.02902 (2016) - [i9]Nadia Polikarpova, Jean Yang, Shachar Itzhaky, Armando Solar-Lezama:
Type-Driven Repair for Information Flow Security. CoRR abs/1607.03445 (2016) - 2015
- [j3]Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama:
A Differential Approach to Undefined Behavior Detection. ACM Trans. Comput. Syst. 33(1): 1:1-1:29 (2015) - [c33]Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster:
Adaptive Concretization for Parallel Program Synthesis. CAV (2) 2015: 377-394 - [c32]Sicun Gao, Le Xie, Armando Solar-Lezama, Dimitrios N. Serpanos, Howard E. Shrobe:
Automated vulnerability analysis of AC state estimation under constrained false data injection in electric power systems. CDC 2015: 2613-2620 - [c31]Kevin Ellis, Armando Solar-Lezama, Joshua B. Tenenbaum:
Unsupervised Learning by Program Synthesis. NIPS 2015: 973-981 - [c30]Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama:
JSketch: sketching for Java. ESEC/SIGSOFT FSE 2015: 934-937 - [c29]Alvin Cheung, Shoaib Kamil, Armando Solar-Lezama:
Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis. SNAPL 2015: 51-62 - [c28]Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama:
Results and Analysis of SyGuS-Comp'15. SYNT 2015: 3-26 - [p1]Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa:
Syntax-Guided Synthesis. Dependable Software Systems Engineering 2015: 1-25 - [i8]Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong:
End-To-End Policy-Agnostic Security for Database-Backed Applications. CoRR abs/1507.03513 (2015) - [i7]Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama:
JSKETCH: Sketching for Java. CoRR abs/1507.03577 (2015) - [i6]Jeevana Priya Inala, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama:
Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types. CoRR abs/1507.05527 (2015) - [i5]Nadia Polikarpova, Armando Solar-Lezama:
Program Synthesis from Polymorphic Refinement Types. CoRR abs/1510.08419 (2015) - 2014
- [j2]Alvin Cheung, Samuel Madden, Armando Solar-Lezama, Owen Arden, Andrew C. Myers:
Using Program Analysis to Improve Database Applications. IEEE Data Eng. Bull. 37(1): 48-59 (2014) - [c27]Swarat Chaudhuri, Martin Clochard, Armando Solar-Lezama:
Bridging boolean and quantitative synthesis using smoothed proof search. POPL 2014: 207-220 - [c26]Krzysztof Krawiec, Armando Solar-Lezama:
Improving Genetic Programming with Behavioral Consistency Measure. PPSN 2014: 434-443 - [c25]Zhilei Xu, Shoaib Kamil, Armando Solar-Lezama:
MSL: A Synthesis Enabled Language for Distributed Implementations. SC 2014: 311-322 - [c24]Alvin Cheung, Samuel Madden, Armando Solar-Lezama:
Sloth: being lazy is a virtue (when issuing database queries). SIGMOD Conference 2014: 931-942 - [c23]Rohit Singh, Rishabh Singh, Zhilei Xu, Rebecca Krosnick, Armando Solar-Lezama:
Modular Synthesis of Sketches Using Models. VMCAI 2014: 395-414 - [e1]Bernd Finkbeiner, Armando Solar-Lezama:
Proceedings Second Workshop on Synthesis, SYNT 2013, Saint Petersburg, Russia, July 13th and July 14th, 2013. EPTCS 142, 2014 [contents] - 2013
- [j1]Armando Solar-Lezama:
Program sketching. Int. J. Softw. Tools Technol. Transf. 15(5-6): 475-495 (2013) - [c22]Alvin Cheung, Owen Arden, Samuel Madden, Armando Solar-Lezama, Andrew C. Myers:
StatusQuo: Making Familiar Abstractions Perform Using Program Analysis. CIDR 2013 - [c21]Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa:
Syntax-guided synthesis. FMCAD 2013: 1-8 - [c20]