Now at TOPLAS: Partially evaluating finite-state runtime monitors ahead of time

Eric | July 4, 2012

Our TOPLAS paper has just appeared. Just 18 months turnaround time – given the 52 pages this was fast!

Related Posts

  1. Partially evaluating finite-state runtime monitors ahead of time (to appear at TOPLAS)
  2. Clara: a Framework for Partially Evaluating Finite-state Runtime Monitors Ahead of Time
  3. New publication: Finding Programming Errors Earlier by Evaluating Runtime Monitors Ahead-of-Time
  4. New TR: Static Analysis Techniques for Evaluating Runtime Monitoring Properties Ahead-of-Time
  5. Stateful Breakpoints: A Practical Approach to Defining Parameterized Runtime Monitors
Categories
Research
Comments rss
Comments rss
Trackback
Trackback

« »