Author of the publication

Redflag: A Framework for Analysis of Kernel-Level Concurrency.

, , , , , and . ICA3PP (1), volume 7016 of Lecture Notes in Computer Science, page 66-79. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Software monitoring with bounded overhead., , , , , , , and . IPDPS, page 1-8. IEEE, (2008)Redflag: A Framework for Analysis of Kernel-Level Concurrency., , , , , and . ICA3PP (1), volume 7016 of Lecture Notes in Computer Science, page 66-79. Springer, (2011)Aspect-Oriented Instrumentation with GCC., , , , , , , and . RV, volume 6418 of Lecture Notes in Computer Science, page 405-420. Springer, (2010)Model Predictive Control for Memory Profiling., , , , and . IPDPS, page 1-7. IEEE, (2007)Adaptive Runtime Verification., , , , , , and . RV, volume 7687 of Lecture Notes in Computer Science, page 168-182. Springer, (2012)InterAspect: aspect-oriented instrumentation with GCC., , , , , , , and . Formal Methods in System Design, 41 (3): 295-320 (2012)Software monitoring with controllable overhead., , , , , , , and . STTT, 14 (3): 327-347 (2012)Building workload-independent storage with VT-trees., , , , , and . FAST, page 17-30. USENIX, (2013)Runtime Verification with State Estimation., , , , , , and . RV, volume 7186 of Lecture Notes in Computer Science, page 193-207. Springer, (2011)