|
Search the dblp DataBase
Armando Solar-Lezama:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat
Combinatorial sketching for finite programs. [Citation Graph (0, 0)][DBLP] ASPLOS, 2006, pp:404-415 [Conf]
- Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu
Programming by sketching for bit-streaming programs. [Citation Graph (0, 0)][DBLP] PLDI, 2005, pp:281-294 [Conf]
- Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia
Sketching stencils. [Citation Graph (0, 0)][DBLP] PLDI, 2007, pp:167-178 [Conf]
The Sketching Approach to Program Synthesis. [Citation Graph (, )][DBLP]
Sketching concurrent data structures. [Citation Graph (, )][DBLP]
Smooth interpretation. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|