Concepedia

Michael Stepp

MS

Statistics

Publications

9

Citations

588

H-Index

9

Active since

2004

Affiliations

University of California San Diego(Current)

University of Arizona

Michael Stepp is an author at University of California San Diego specializing in computer science, computing, and programming languages.

Publications per year

2004–2011

9

Publications

9

Equality saturation

Ross Tate, Michael Stepp, Zachary Tatlock et al. · 2009 · 185 citations

Computing, Computer Science, Compilers +14

Dynamic path-based software watermarking

Christian Collberg, E. Carter, S. Debray et al. · 2004 · 149 citations

Computing, Computer Science, Information Technology +10

Equality saturation

Ross Tate, Michael Stepp, Zachary Tatlock et al. · ACM SIGPLAN Notices · 2009 · 57 citations

Computing, Computer Science, Compilers +14

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

Christian Collberg, A. Huntwork, Edward Carter et al. · Information and Software Technology · 2008 · 44 citations

Computing, Computer Science, Computer Systems +11

Equality Saturation: A New Approach to Optimization

Ross Tate, Michael Stepp, Zachary Tatlock et al. · Logical Methods in Computer Science · 2011 · 39 citations · Full text

Computing, Computer Engineering, Computer Science +16

1–5 of 9