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.

Related Posts

  1. New Tech Report: Efficient and Precise Typestate Analysis by Determining Continuation-Equivalent States
  2. Now available: Clara, a novel framework for implementing hybrid typestate analyses
  3. New TR: Static Analysis Techniques for Evaluating Runtime Monitoring Properties Ahead-of-Time
  4. Racer paper wins SIGSOFT Distinguished Paper Award
Categories
Research
Tags
Clara, ICSE, Typestate
Comments rss
Comments rss
Trackback
Trackback

« »