Travelled to:1 × Spain
3 × USA
Collaborated with:R.Tate S.Lerner Z.Tatlock C.S.Collberg E.Carter S.K.Debray A.Huntwork J.D.Kececioglu C.Linn
Talks about:optim (2) equal (2) base (2) watermark (1) translat (1) approach (1) softwar (1) generat (1) compil (1) valid (1)
Person: Michael Stepp
DBLP: Stepp:Michael
Contributed to:
2011
20102009
2004Wrote 4 papers:
- CAV-2011-SteppTL #validation
- Equality-Based Translation Validator for LLVM (MS, RT, SL), pp. 737–742.
- POPL-2010-TateSL #compilation #generative #optimisation #proving
- Generating compiler optimizations from proofs (RT, MS, SL), pp. 389–402.
- POPL-2009-TateSTL #approach #optimisation #similarity
- Equality saturation: a new approach to optimization (RT, MS, ZT, SL), pp. 264–276.
- PLDI-2004-CollbergCDHKLS
- Dynamic path-based software watermarking (CSC, EC, SKD, AH, JDK, CL, MS), pp. 107–118.