Follow
Armando Solar-Lezama
Armando Solar-Lezama
Verified email at csail.mit.edu
Title
Cited by
Cited by
Year
Combinatorial sketching for finite programs
A Solar-Lezama, L Tancau, R Bodik, S Seshia, V Saraswat
Proceedings of the 12th international conference on Architectural support …, 2006
9492006
Syntax-guided synthesis
R Alur, R Bodik, G Juniwal, MMK Martin, M Raghothaman, SA Seshia, ...
2013 Formal Methods in Computer-Aided Design, 1-8, 2013
9282013
Automated feedback generation for introductory programming assignments
R Singh, S Gulwani, A Solar-Lezama
Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013
5752013
Program synthesis by sketching
A Solar-Lezama
University of California, Berkeley, 2008
4982008
Programming by sketching for bit-streaming programs
A Solar-Lezama, R Rabbah, R Bodík, K Ebcioğlu
Proceedings of the 2005 ACM SIGPLAN conference on Programming language …, 2005
3512005
Verifiable reinforcement learning via policy extraction
O Bastani, Y Pu, A Solar-Lezama
Advances in neural information processing systems 31, 2018
3272018
Program synthesis from polymorphic refinement types
N Polikarpova, I Kuraj, A Solar-Lezama
ACM SIGPLAN Notices 51 (6), 522-538, 2016
2872016
Program sketching
A Solar-Lezama
International Journal on Software Tools for Technology Transfer 15, 475-495, 2013
2802013
Learning to infer graphics programs from hand-drawn images
K Ellis, D Ritchie, A Solar-Lezama, J Tenenbaum
Advances in neural information processing systems 31, 2018
2422018
Sketching concurrent data structures
A Solar-Lezama, CG Jones, R Bodik
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
2272008
The sketching approach to program synthesis
A Solar-Lezama
Asian symposium on programming languages and systems, 4-13, 2009
1992009
QuixBugs: A multi-lingual program repair benchmark set based on the Quixey Challenge
D Lin, J Koppel, A Chen, A Solar-Lezama
Proceedings Companion of the 2017 ACM SIGPLAN international conference on …, 2017
1982017
A language for automatically enforcing privacy policies
J Yang, K Yessenov, A Solar-Lezama
ACM SIGPLAN Notices 47 (1), 85-96, 2012
1982012
Towards optimization-safe systems: Analyzing the impact of undefined behavior
X Wang, N Zeldovich, MF Kaashoek, A Solar-Lezama
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems …, 2013
1912013
Sketching stencils
A Solar-Lezama, G Arnold, L Tancau, R Bodik, V Saraswat, S Seshia
Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007
1872007
Dreamcoder: growing generalizable, interpretable knowledge with wake–sleep bayesian program learning
K Ellis, L Wong, M Nye, M Sable-Meyer, L Cary, L Anaya Pozo, L Hewitt, ...
Philosophical Transactions of the Royal Society A 381 (2251), 20220050, 2023
1822023
Optimizing database-backed applications with query synthesis
A Cheung, A Solar-Lezama, S Madden
ACM SIGPLAN Notices 48 (6), 3-14, 2013
1792013
Dreamcoder: Bootstrapping inductive program synthesis with wake-sleep library learning
K Ellis, C Wong, M Nye, M Sablé-Meyer, L Morales, L Hewitt, L Cary, ...
Proceedings of the 42nd acm sigplan international conference on programming …, 2021
1492021
Write, execute, assess: Program synthesis with a repl
K Ellis, M Nye, Y Pu, F Sosa, J Tenenbaum, A Solar-Lezama
Advances in Neural Information Processing Systems 32, 2019
1422019
Inversecsg: Automatic conversion of 3d models to csg trees
T Du, JP Inala, Y Pu, A Spielberg, A Schulz, D Rus, A Solar-Lezama, ...
ACM Transactions on Graphics (TOG) 37 (6), 1-16, 2018
1422018
The system can't perform the operation now. Try again later.
Articles 1–20