Armando Solar-Lezama
Armando Solar-Lezama
Geverifieerd e-mailadres voor csail.mit.edu
Titel
Geciteerd door
Geciteerd door
Jaar
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
6502006
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
5422013
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
3722013
Program synthesis by sketching
A Solar-Lezama, R Bodik
University of California, Berkeley, 2008
2822008
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
2702005
Sketching concurrent data structures
A Solar-Lezama, CG Jones, R Bodik
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
1812008
Program sketching
A Solar-Lezama
International Journal on Software Tools for Technology Transfer 15 (5-6 …, 2013
1662013
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
1592007
A language for automatically enforcing privacy policies
J Yang, K Yessenov, A Solar-Lezama
ACM SIGPLAN Notices 47 (1), 85-96, 2012
1482012
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
1412013
Program synthesis from polymorphic refinement types
N Polikarpova, I Kuraj, A Solar-Lezama
ACM SIGPLAN Notices 51 (6), 522-538, 2016
1402016
Optimizing database-backed applications with query synthesis
A Cheung, A Solar-Lezama, S Madden
ACM SIGPLAN Notices 48 (6), 3-14, 2013
1172013
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
1102018
The sketching approach to program synthesis
A Solar-Lezama
Asian Symposium on Programming Languages and Systems, 4-13, 2009
952009
Synthesizing data structure manipulations from storyboards
R Singh, A Solar-Lezama
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
892011
Verifiable reinforcement learning via policy extraction
O Bastani, Y Pu, A Solar-Lezama
Advances in neural information processing systems, 2494-2504, 2018
752018
Word equations with length constraints: what’s decidable?
V Ganesh, M Minnes, A Solar-Lezama, M Rinard
Haifa Verification Conference, 209-226, 2012
722012
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
582016
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
562013
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
532016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20