|
Kuat Yessenov, Zhilei Xu, Armando Solar-Lezama:
Data-Driven Synthesis for
Object-Oriented Frameworks, in OOPSLA 2011 (SPLASH) |
OOPSLA 11 |
|
Rishabh Singh, Armando Solar-Lezama: Synthesizing data
structure manipulations from storyboards, in ACM SIGSOFT Symposium on
the Foundations of Software Engineering |
FSE 11 |
|
Alvin Cheung, Armando Solar-Lezama, Samuel Madden:
Partial replay of long-running applications, in ACM SIGSOFT Symposium
on the Foundations of Software Engineering |
FSE 11 |
|
Swarat Chaudhuri, Armando Solar-Lezama: Smoothing a
Program Soundly and Robustly, in 23rd International Conference on
Computer Aided Verification |
CAV 11 |
|
Swarat Chaudhuri, Armando Solar-Lezama, "Smooth Interpretation", in ACM
SIGPLAN Conference on
Programming Language
Design and Implementation (PLDI '10) [Slides]
|
PLDI 10 |
|
Armando Solar-Lezama, "Program
Synthesis by Sketching", PhD Thesis |
Berkeley 08 |
|
Armando Solar-Lezama, Christopher G.
Jones, Rastislav Bodik, "Sketching
Concurrent Datastructures"in ACM SIGPLAN Conference on
Programming Language
Design and Implementation (PLDI '08) |
PLDI 08 |
| |
Armando Solar-Lezama, Gilad Arnold, Liviu Tancau,
Rastislav Bodik,
Vijay Saraswat, Sanjit Seshia, "Sketching
Stencils" in ACM SIGPLAN Conference on Programming Language
Design and Implementation (PLDI '07) |
PLDI 07 |
| |
Armando Solar-Lezama, Liviu Tancau, Rastislav
Bodik,
Vijay Saraswat, Sanjit A. Seshia, "Combinatorial
Sketching for Finite
Programs", Proceedings of ASPLOS 2006. |
ASPLOS 06 |
| |
Armando Solar-Lezama, Rodric Rabbah, Rastislav
Bodik, and Kemal Ebcioglu, "Programming
by
Sketching for Bitstreaming Programs", PLDI 2005, Best paper award. |
PLDI 05 |
|
