Liviu Tancau and Armando - Free people check

(1 - 15 from 61

)

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.