History
1
au:Tatlock, Z*
5


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 | next | last

Result 1 to 5 of 5 total

Equality saturation: a new approach to optimization. (English)
Log. Methods Comput. Sci. 7, No. 1, Paper No. 10, 37 p., electronic only (2011).
WorldCat.org
1
PDF XML AMS-TeX TEXT BIBTeX DOI
Bringing extensibility to verified compilers (English)
PLDI, 111-121 (2010).
WorldCat.org
2
PDF XML AMS-TeX TEXT BIBTeX DOI
Proving optimizations correct using parameterized program equivalence (English)
PLDI, 327-337 (2009).
WorldCat.org
3
PDF XML AMS-TeX TEXT BIBTeX DOI
Equality saturation: a new approach to optimization (English)
POPL, 264-276 (2009).
WorldCat.org
4
PDF XML AMS-TeX TEXT BIBTeX DOI
Deep typechecking and refactoring (English)
OOPSLA, 37-52 (2008).
WorldCat.org
5
PDF XML AMS-TeX TEXT BIBTeX DOI
first | previous | 1 | next | last

Result 1 to 5 of 5 total

Valid XHTML 1.0 Transitional Valid CSS!