Concepedia

Michael Stepp

MS

Statistics

Publications

9

Citations

573

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 engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisCompilersFormal VerificationComputer EngineeringFormal MethodsAutomated ReasoningSoftware Engineering

Publications per year

2004–2011

9

Publications

9

Equality saturation

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

Engineering, Compiler Technology, Computer Architecture +17

Dynamic path-based software watermarking

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

Software Maintenance, Engineering, Information Security +22

Equality saturation

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

Engineering, Compiler Technology, Computer Architecture +17

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

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

Digital Watermarking, Software Security, Engineering +13

Equality Saturation: A New Approach to Optimization

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

Mathematical Programming, Equality Saturation, Engineering +23

1–5 of 9