Liviu Tancau and Solar-Lezama - Free people check

(1 - 15 from 63

)

Sanjit Seshia's Publications sorted by year

people.eecs.berkeley.edu

Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, and Sanjit A. Seshia. Sketching Stencils. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 167–178, ACM Press, June

Sanjit Seshia's Publications sketching stencils

people.eecs.berkeley.edu

Sketching Stencils. Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, and Sanjit A. Seshia. Sketching Stencils.In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. …

Sanjit Seshia's Publications combinatorial sketching for finite...

people.eecs.berkeley.edu

@inproceedings{solar-asplos06, author = {Armando Solar-Lezama and Liviu Tancau and Rastislav Bod\'{\i}k and Sanjit A. Seshia and Vijay A. Saraswat}, title ...

Sanjit Seshia's Publications (classified by publication type)

people.eecs.berkeley.edu

Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, and Vijay A. Saraswat. Combinatorial sketching for finite programs . In Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) , pp. 404–415, ACM Press, October

COS IW09: Programs Generating Programs

www.cs.princeton.edu

Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat. Combinatorial sketching for finite programs. In Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2006: Yewen Pu, Rastislav Bodík, Saurabh Srivastava.

Armando Solar-Lezama - researchr alias

researchr.org

Combinatorial sketching for finite programsArmando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat. asplos 2006:

CiteSeerX — Extending the Applicability of Sketching

citeseerx.ist.psu.edu

@MISC{Tancau_extendingthe, author = {Liviu Tancau and O Solar-lezama and Gilad Arnold}, title = {Extending the Applicability of Sketching}, year = {}} Abstract We present four extensions to the SKETCH programming system de-veloped at UC Berkeley: (a) support for floating point numbers; (b) a new ...