|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16 occurrences of 12 keywords
|
|
|
|
|
Results
Found 12 publication records. Showing 12 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama |
Automated Semantic Grading of Programs  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jean Yang, Kuat Yessenov, Armando Solar-Lezama |
A language for automatically enforcing privacy policies. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kuat Yessenov, Zhilei Xu, Armando Solar-Lezama |
Data-driven synthesis for object-oriented frameworks. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Swarat Chaudhuri, Armando Solar-Lezama |
Smoothing a Program Soundly and Robustly. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alvin Cheung, Armando Solar-Lezama, Samuel Madden |
Partial replay of long-running applications. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rishabh Singh, Armando Solar-Lezama |
Synthesizing data structure manipulations from storyboards. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Swarat Chaudhuri, Armando Solar-Lezama |
Smooth interpretation. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
parameter synthesis, program smoothing, continuity |
| 1 | Armando Solar-Lezama |
The Sketching Approach to Program Synthesis. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík |
Sketching concurrent data structures. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
concurrency, synthesis, sketching, sat, spin |
| 1 | Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia |
Sketching stencils. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
sketching, SAT, stencil |
| 1 | Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat |
Combinatorial sketching for finite programs. |
ASPLOS |
2006 |
DBLP DOI BibTeX RDF |
sketching, SAT |
| 1 | Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu |
Programming by sketching for bit-streaming programs. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
domain specific compiler, domain specific language, sketching, synchronous dataflow, stream programming, StreamIt |
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")