Michael Stepp

According to our database, Michael Stepp authored at least 10 papers between 2002 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2011

Equality saturation : engineering challenges and applications.

Michael Stepp

PhD thesis, 2011

Equality Saturation: A New Approach to Optimization

Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner

Log. Methods Comput. Sci., 2011

Equality-Based Translation Validator for LLVM.

Michael Stepp, Ross Tate, Sorin Lerner

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Introductory computing students' conceptions of illegal student-student collaboration.

Michael Stepp, Beth Simon

Proceedings of the 41st ACM technical symposium on Computer science education, 2010

Generating compiler optimizations from proofs.

Ross Tate, Michael Stepp, Sorin Lerner

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009

More on graph theoretic software watermarks: Implementation, analysis, and attacks.

Christian S. Collberg, Andrew Huntwork, Edward Carter, Gregg M. Townsend, Michael Stepp

Inf. Softw. Technol., 2009

2007

An empirical study of Java bytecode programs.

Christian S. Collberg, Ginger Myles, Michael Stepp

Softw. Pract. Exp., 2007

2005

Collaboration with DiamondTouch.

Stephen G. Kobourov, Kyriacos E. Pavlou, Justin Cappos, Michael Stepp, Mark Miles, Amanda Wixted

Proceedings of the Human-Computer Interaction, 2005

2004

Dynamic path-based software watermarking.

Christian S. Collberg, Edward Carter, Saumya K. Debray, Andrew Huntwork, John D. Kececioglu, Cullen Linn, Michael Stepp

Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

2002

Growing fat graphs.

Alon Efrat, Stephen G. Kobourov, Michael Stepp, Carola Wenk

Proceedings of the 18th Annual Symposium on Computational Geometry, 2002