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 | 658 | 2006 |
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 | 558 | 2013 |
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 | 376 | 2013 |
Program synthesis by sketching A Solar-Lezama, R Bodik University of California, Berkeley, 2008 | 292 | 2008 |
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 | 272 | 2005 |
Sketching concurrent data structures A Solar-Lezama, CG Jones, R Bodik Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 183 | 2008 |
Program sketching A Solar-Lezama International Journal on Software Tools for Technology Transfer 15 (5-6 …, 2013 | 169 | 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 | 162 | 2007 |
A language for automatically enforcing privacy policies J Yang, K Yessenov, A Solar-Lezama ACM SIGPLAN Notices 47 (1), 85-96, 2012 | 150 | 2012 |
Program synthesis from polymorphic refinement types N Polikarpova, I Kuraj, A Solar-Lezama ACM SIGPLAN Notices 51 (6), 522-538, 2016 | 145 | 2016 |
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 | 142 | 2013 |
Optimizing database-backed applications with query synthesis A Cheung, A Solar-Lezama, S Madden ACM SIGPLAN Notices 48 (6), 3-14, 2013 | 119 | 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, 6059-6068, 2018 | 114 | 2018 |
The sketching approach to program synthesis A Solar-Lezama Asian Symposium on Programming Languages and Systems, 4-13, 2009 | 98 | 2009 |
Synthesizing data structure manipulations from storyboards R Singh, A Solar-Lezama Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011 | 90 | 2011 |
Verifiable reinforcement learning via policy extraction O Bastani, Y Pu, A Solar-Lezama Advances in neural information processing systems 31, 2494-2504, 2018 | 81 | 2018 |
Word equations with length constraints: what’s decidable? V Ganesh, M Minnes, A Solar-Lezama, M Rinard Haifa Verification Conference, 209-226, 2012 | 74 | 2012 |
Precise, dynamic information flow for database-backed applications J Yang, T Hance, TH Austin, A Solar-Lezama, C Flanagan, S Chong ACM SIGPLAN Notices 51 (6), 631-647, 2016 | 57 | 2016 |
Faceted execution of policy-agnostic programs TH Austin, J Yang, C Flanagan, A Solar-Lezama Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and …, 2013 | 56 | 2013 |
Sloth: Being lazy is a virtue (when issuing database queries) A Cheung, S Madden, A Solar-Lezama ACM Transactions on Database Systems (ToDS) 41 (2), 1-42, 2016 | 55 | 2016 |