Michael Stepp
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2004–2011
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | CAV | Equality-Based Translation Validator for LLVM. | Michael Stepp, Ross Tate, Sorin Lerner |
| 2010 | POPL | Generating compiler optimizations from proofs. | Ross Tate, Michael Stepp, Sorin Lerner |
| 2010 | SIGCSE | Introductory computing students' conceptions of illegal student-student collaboration. | Michael Stepp, Beth Simon |
| 2009 | POPL | Equality saturation: a new approach to optimization. | Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner |
| 2005 | Interact | Collaboration with DiamondTouch. | Stephen G. Kobourov, Kyriacos E. Pavlou, Justin Cappos, Michael Stepp, Mark Miles, Amanda Wixted |
| 2004 | PLDI | Dynamic path-based software watermarking. | Christian S. Collberg, Edward Carter, Saumya K. Debray, Andrew Huntwork, John D. Kececioglu, Cullen Linn, Michael Stepp |