ICSE Presentation slides now online

Eric | May 8, 2010

ICSE 2010 PresentationSeveral people asked me for the slides of my ICSE presentation. I have just uploaded them, as Keynote and PDF (quite large). Enjoy!

P.S. Thanks to Zhifeng Lai for taking the picture!

Comments
2 Comments »
Categories
Research
Tags
Clara, ICSE

New ICSE paper: Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States

Eric | January 21, 2010

Screen shot 2010-01-21 at 13.46.04 I am happy to announce that the camera-ready version of my ICSE paper is available now. The topic is on a special kind of static typestate analysis that I developed to soundly disable unnecessary instrumentation for monitoring typestate properties at runtime. The implementation is available in Clara.

Comments
Comments Off on New ICSE paper: Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States
Categories
Research
Tags
Clara, ICSE, Typestate