Publications

Equality Saturation: Engineering Challenges and Applications, Ph.D. thesis.
Michael Stepp, Ross Tate, and Sorin Lerner. Equality-Based Translation Validator for LLVM. To appear in the 23rd International Conference on Computer Aided Verification (CAV 2011).
Ross Tate, Michael Stepp, Zachary Tatlock, and Sorin Lerner. Equality Saturation: A New Approach to Optimization, In Logical Methods in Computer Science, volume 7, issue 1, 2011, http://arxiv.org/abs/1012.1802
Ross Tate, Michael Stepp, and Sorin Lerner. 2010. Generating compiler optimizations from proofs. In Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '10). http://doi.acm.org/10.1145/1707801.1706345
Michael Stepp and Beth Simon. Introductory computing students' conceptions of illegal student-student collaboration. In Proceedings of the 41st ACM technical symposium on Computer science education (SIGCSE '10). ACM, New York, NY, USA, 295-299. DOI=10.1145/1734263.1734365 http://doi.acm.org/10.1145/1734263.1734365
Ross Tate, Michael Stepp, Zachary Tatlock, and Sorin Lerner. 2009. Equality Saturation: a new approach to optimization. In Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '09). ACM, New York, NY, USA, 264-276. DOI=10.1145/1480881.1480915 http://doi.acm.org/10.1145/1480881.1480915
Christian Collberg, Ginger Myles, and Michael Stepp. An empirical study of Java bytecode programs. In Software: Practice and Experience, volume 37, issue 6, (May 2007), 581-641. DOI=10.1002/spe.v37:6 http://dx.doi.org/10.1002/spe.v37:6
Christian Collberg, Stephen Kobourov, C. Hutcheson, J. Trimble, M. Stepp. Monitoring Java Programs Using Music. Technical Report, University of Arizona, 2005.
S. Kobourov, K. Pavlou, J. Cappos, M. Stepp, M. Miles, A. Wixted: Collaboration with DiamondTouch. In INTERACT(2005) 986-989.
C. Collberg, E. Carter, S. Debray, A. Huntwork, J. Kececioglu, C. Linn, and M. Stepp. 2004. Dynamic path-based software watermarking. In Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation (PLDI '04). ACM, New York, NY, USA, 107-118. DOI=10.1145/996841.996856 http://doi.acm.org/10.1145/996841.996856
C. Collberg, G. Myles, and M. Stepp. Cheating Cheating Detectors. Technical Report, University of Arizona, 2004.

I also wrote Section 13.1 of this book:

Back