Liviu Tancau and Arnold - Free people check

(1 - 9 from 25

)

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. …

people.eecs.berkeley.edu

... , author = {Armando Solar-Lezama and Gilad Arnold and Liviu Tancau and Rastislav Bod\'{\i} k and Vijay A. Saraswat and ...

BibSonomy

www.bibsonomy.org

Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, and Sanjit A. Seshia. Sketching stencils.. In Jeanne Ferrante, and ...

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 ...