Michael Stepp

Publication Activity (10 Years)

Years Active: 2002-2011
Publications (10 Years): 0

University of California, San Diego, USA (PHD)

Education History

University of California, San Diego, USA

PHD

Publications

Michael Stepp, Ross Tate, Sorin Lerner
Equality-Based Translation Validator for LLVM. CAV (2011)
Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner
Equality Saturation: A New Approach to Optimization Log. Methods Comput. Sci. 7 (1) (2011)
Ross Tate, Michael Stepp, Sorin Lerner
Generating compiler optimizations from proofs. POPL (2010)
Michael Stepp, Beth Simon
Introductory computing students' conceptions of illegal student-student collaboration. SIGCSE (2010)
Christian S. Collberg, Andrew Huntwork, Edward Carter, Gregg M. Townsend, Michael Stepp
More on graph theoretic software watermarks: Implementation, analysis, and attacks. Inf. Softw. Technol. 51 (1) (2009)
Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner
Equality saturation: a new approach to optimization. POPL (2009)
Christian S. Collberg, Ginger Myles, Michael Stepp
An empirical study of Java bytecode programs. Softw. Pract. Exp. 37 (6) (2007)
Stephen G. Kobourov, Kyriacos E. Pavlou, Justin Cappos, Michael Stepp, Mark Miles, Amanda Wixted
Collaboration with DiamondTouch. INTERACT (2005)
Christian S. Collberg, Edward Carter, Saumya K. Debray, Andrew Huntwork, John D. Kececioglu, Cullen Linn, Michael Stepp
Dynamic path-based software watermarking. PLDI (2004)
Alon Efrat, Stephen G. Kobourov, Michael Stepp, Carola Wenk
Growing fat graphs. SCG (2002)