| 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 | 1046 | 2013 |
| 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 | 1030 | 2006 |
| 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 | 617 | 2013 |
| Program synthesis by sketching A Solar-Lezama University of California, Berkeley, 2008 | 559 | 2008 |
| Verifiable reinforcement learning via policy extraction O Bastani, Y Pu, A Solar-Lezama Advances in neural information processing systems 31, 2018 | 412 | 2018 |
| 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 | 365 | 2005 |
| Program synthesis from polymorphic refinement types N Polikarpova, I Kuraj, A Solar-Lezama ACM SIGPLAN Notices 51 (6), 522-538, 2016 | 326 | 2016 |
| Program sketching A Solar-Lezama International Journal on Software Tools for Technology Transfer 15, 475-495, 2013 | 307 | 2013 |
| 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 | 280 | 2018 |
| 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 | 280 | 2017 |
| Sketching concurrent data structures A Solar-Lezama, CG Jones, R Bodik Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 246 | 2008 |
| 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 | 242 | 2023 |
| The sketching approach to program synthesis A Solar-Lezama Asian symposium on programming languages and systems, 4-13, 2009 | 233 | 2009 |
| 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 | 210 | 2021 |
| A language for automatically enforcing privacy policies J Yang, K Yessenov, A Solar-Lezama ACM SIGPLAN Notices 47 (1), 85-96, 2012 | 209 | 2012 |
| 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 | 202 | 2013 |
| Optimizing database-backed applications with query synthesis A Cheung, A Solar-Lezama, S Madden ACM SIGPLAN Notices 48 (6), 3-14, 2013 | 195 | 2013 |
| 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 | 192 | 2007 |
| 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 | 177 | 2018 |
| 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 | 172 | 2019 |
Joshua B. TenenbaumMITبريد إلكتروني تم التحقق منه على mit.edu