Growing fat graphs. - Alon Efrat; Stephen G. Kobourov; Michael Stepp; Carola Wenk (SCG, 2002)

Dynamic path-based software watermarking. - Christian S. Collberg; Edward Carter; Saumya K. Debray; Andrew Huntwork; John D. Kececioglu; Cullen Linn; Michael Stepp (PLDI, 2004)

Collaboration with DiamondTouch. - Stephen G. Kobourov; Kyriacos E. Pavlou; Justin Cappos; Michael Stepp; Mark Miles; Amanda Wixted (INTERACT, 2005)

An empirical study of Java bytecode programs. - Christian S. Collberg; Ginger Myles; Michael Stepp (Softw. Pract. Exp., 2007)

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)

Generating compiler optimizations from proofs. - Ross Tate; Michael Stepp; Sorin Lerner (POPL, 2010)

Introductory computing students' conceptions of illegal student-student collaboration. - Michael Stepp; Beth Simon (SIGCSE, 2010)

Equality-Based Translation Validator for LLVM. - Michael Stepp; Ross Tate; Sorin Lerner (CAV, 2011)

Equality Saturation: A New Approach to Optimization - Ross Tate; Michael Stepp; Zachary Tatlock; Sorin Lerner (Log. Methods Comput. Sci., 2011)

Equality saturation : engineering challenges and applications. - Michael Stepp (2011)