Result 1 to 14 of 14 total
Equality-based translation validator for LLVM. (English)
Gopalakrishnan, Ganesh (ed.) et al., Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22109-5/pbk). Lecture Notes in Computer Science 6806, 737-742 (2011).
1
Equality saturation: a new approach to optimization. (English)
Log. Methods Comput. Sci. 7, No. 1, Paper No. 10, 37 p., electronic only (2011).
2
Equality-based translation validator for LLVM (English)
CAV, 737-742 (2011).
3
Generating compiler optimizations from proofs (English)
POPL, 389-402 (2010).
4
Introductory computing students’ conceptions of illegal student-student collaboration (English)
SIGCSE, 295-299 (2010).
5
More on graph theoretic software watermarks: implementation, analysis, and attacks. (English)
Inf. Softw. Technol. 51, No. 1, 56-67 (2009).
6
More on graph theoretic software watermarks: implementation, analysis, and attacks (English)
Information & Software Technology 51, No. 1, 56-67 (2009).
7
Equality saturation: a new approach to optimization (English)
POPL, 264-276 (2009).
8
A "CS 1.5" introduction to web programming (English)
SIGCSE, 121-125 (2009).
9
An empirical study of Java bytecode programs. (English)
Softw., Pract. Exper. 37, No. 6, 581-641 (2007).
10
An empirical study of Java bytecode programs (English)
Softw., Pract. Exper. 37, No. 6, 581-641 (2007).
11
Collaboration with diamondtouch (English)
INTERACT, 986-989 (2005).
12
Dynamic path-based software watermarking (English)
PLDI, 107-118 (2004).
13
Growing fat graphs (English)
Symposium on Computational Geometry, 277-278 (2002).
14
Result 1 to 14 of 14 total
Start
Contact
Print
General Help
