BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Stepp:Michael

Contributed to:

CAV 20112011
POPL 20102010
POPL 20092009
PLDI 20042004

Wrote 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.
Dynamic path-based software watermarking (CSC, EC, SKD, AH, JDK, CL, MS), pp. 107–118.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.