New ICSE paper: Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States
Eric | January 21, 2010
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 and pages:
- New Tech Report: Efficient and Precise Typestate Analysis by Determining Continuation-Equivalent States I just uploaded a new Technical Report. The report (currently...
- Continuation-equivalent states (ICSE 2010) For ICSE 2010, I published a paper on statically optimizing...
- Now available: Clara, a novel framework for implementing hybrid typestate analyses In my doctoral dissertation (click here for a draft), I...
- Clara: Compile-time Approximation of Runtime Analyses Clara (CompiLe-time Approximation of Runtime Analyses) is a novel research...
- Save the Date: Nov 1st-4th – Clara Tutorial at RV 2010 Today I am having good news for everybody who is...
