Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Share This Author
Combinatorial sketching for finite programs
- Armando Solar-Lezama, Liviu Tancau, R. Bodík, S. Seshia, V. Saraswat
- Computer ScienceASPLOS XII
- 23 October 2006
TLDR
Sketching stencils
- Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, R. Bodík, V. Saraswat, S. Seshia
- Computer SciencePLDI '07
- 15 June 2007
TLDR
Using deformations for browsing volumetric data
- M. McGuffin, Liviu Tancau, R. Balakrishnan
- Computer ScienceIEEE Visualization, . VIS .
- 22 October 2003
TLDR
Combinatorial sketching for finite programs
- Armando Solar-Lezama, Liviu Tancau, R. Bodík, S. Seshia, V. Saraswat
- MathematicsASPLOS
- 2006
Probabilistic Data Management for Pervasive Computing: The Data Furnace Project
- M. Garofalakis, K. Brown, Ryan Aipperspach
- Computer ScienceIEEE Data Eng. Bull.
- 2006
TLDR
Probabilistic Complex Event Triggering
- D. Wang, E. Michelakis, Liviu Tancau
- Computer Science
- 2009
TLDR
Sketching stencils
- Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, R. Bodík, V. Saraswat, S. Seshia
- Computer SciencePLDI
- 2007
Sketching with Partial Programs
- Armando Solar-Lezama, Liviu Tancau, D. P. Turner, R. Bodík, V. Saraswat, S. Seshia
- Computer Science
- 2006
TLDR
Extending the Applicability of Sketching
- Liviu Tancau, Armando Solar-Lezama, Gilad Arnold
- Computer Science
TLDR
Symbolic Proof Generation for Resizing Sketches Gilad Arnold and
- Liviu Tancau
- Computer Science
- 2006
We propose an approach for resizing finite implementations generated by the SKETCH synthesis framework. Our solution generates a formal proof of equivalence between size-parameterized versions of a…