Qvm: An efficient runtime for detecting defects in deployed systems

ACM SIGPLAN Notices

Volumn 43, Issue 10, 2008, Pages 143-162

  Arnold, Matthew ^a   Vechev, Martin ^a   Yahav, Eran ^a  

^a IBM RESEARCH   (United States)

Author keywords

Algorithms; Reliability

Indexed keywords

CONTINUOUS MONITORING; CORRECTNESS PROPERTIES; DEBUGGING EFFORTS; DEPLOYED SYSTEMS; JAVA VIRTUAL MACHINES; LABORATORY CONDITIONS; MONITORING PROCESS; OVERHEAD COSTS; PRODUCTION ENVIRONMENTS; PRODUCTION SYSTEM; QUALITY CHECKS; REAL-WORLD APPLICATION; RUNTIME; RUNTIME ENVIRONMENTS; SAFETY PROPERTY; SOFTWARE DEFECTS; SYSTEM USE; TRADE OFF; TYPESTATE; USAGE SCENARIOS; VIRTUAL MACHINES;

DEFECTS; ERROR DETECTION; PROGRAM DEBUGGING;

JAVA PROGRAMMING LANGUAGE;

EID: 67650073133     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (36)

1. GOIM: Gamers own instant messenger. available at http://goim.us/wiki/ show/GOIM.
2. AFTANDILIAN, E., and GUYER, S. Z. GC assertions: Using the garbage collector to check heap properties. In MSPC (2008), ACM.
3. ALLAN, C., AVGUSTINOV, P., CHRISTENSEN, A. S., HENDREN, L., KUZINS, S., LHOTÁK, O., DE MOOR, O., SERENI, D., SITTAMPALAM, G., and TIBBLE, J. Adding trace matching with free variables to aspectj. In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications (2005), ACM, pp. 345-364.
4. ARNOLD, M., and RYDER, B. G. A framework for reducing the cost of instrumented code. In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation (New York, NY, USA, 2001), ACM, pp. 168-179.
5. ARNOLD, M., and RYDER, B. G. Thin guards: A simple and effective technique for reducing the penalty of dynamic class loading. In Proceedings of the Sixteenth European Conference on Object-Oriented Programming (Málaga, Spain, June 2002), B. Magnusson, Ed., vol. 2374 of 3 Lecture Notes in Computer Science, pp. 498-524.
6. AUERBACH, J., BACON, D., CHENG, P., GROVE, D., BIRON, B., GRACIE, C., MCCLOSKEY, B., MICIC, A., and SCIAMPACONE, R. Tax-and-Spend: Democratic Scheduling for Real-time Garbage Collection. In Proceedings of the International Conference on Embedded Software (New York, NY, USA, 2008), ACM.
7. AVGUSTINOV, P., TIBBLE, J., and DE MOOR, O. Making trace monitors feasible. In OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications (2007), ACM, pp. 589-608.
8. Azureus - Java BitTorrent client. http://azureus.sourceforge.net/. [9] BODDEN, E., HENDREN, L. J., Lam, P., LHOTÁK, O., and NAEEM, N. A. Collaborative runtime verification with tracematches. In 7th International Workshop on Runtime Verification (RV) (2007), vol. 4839 of Lecture Notes in Computer Science, pp. 9-21.
9. BODDEN, E., HENDREN, L. J., and LHOTÁK, O. A staged static program analysis to improve the performance of runtime monitoring. In ECOOP (2007), pp. 525-549.
10. BOND, M. D., and MCKINLEY, K. S. Bell: bit-encoding online memory leak detection. SIGOPS Oper. Syst. Rev. 40, 5 (2006), 61-72.
11. CHEN, F., and ROŞU, G. MOP: An Efficient and Generic Runtime Verification Framework. In Object- Oriented Programming, Systems, Languages and Applications (OOPSLA'07) (2007).
12. CHILIMBI, T. M., and GANAPATHY, V. Heapmd: identifying heap-based bugs using anomaly detection. vol. 34, ACM, pp. 219-228.
13. CHILIMBI, T. M., and HIRZEL, M. Dynamic hot data stream prefetching for general-purpose programs. In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation (New York, NY, USA, 2002), ACM, pp. 199-209.
14. DELINE, R., and FAHNDRICH, M. Enforcing high-level protocols in low-level software. In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation (New York, NY, USA, 2001), ACM Press, pp. 59-69.
15. DELINE, R., and FÄHNDRICH, M. Adoption and focus: Practical linear types for imperative programming. pp. 13-24.
16. DILLIG, I., DILLIG, T., YAHAV, E., and CHANDRA, S. The closer: Automating resource management in java. In ISMM (2008).
17. ECLIPSE. Standard widget toolkit (swt). http://www.eclipse.org/ swt/. [19] Fink, S., Yahav, E., Dor, N., Ramalingam, G., and Geay, E. Effective typestate verification in the presence of aliasing. In ISSTA '06: Proceedings of the 2006 international symposium on Software testing and analysis (New York, NY, USA, 2006), ACM Press, pp. 133-144.
18. FINK, S. J., and QIAN, F. Design, implementation and evaluation of adaptive recompilation with on-stack replacement. In International Symposium on Code Generation and Optimization (CGO 2003) (2003), pp. 241-252.
19. FOSTER, J. S., TERAUCHI, T., and AIKEN, A. Flowsensitive type qualifiers. pp. 1-12.
20. HAUSWIRTH, M., and CHILIMBI, T. M. Low-overhead memory leak detection using adaptive statistical profiling. SIGPLAN Not. 39, 11 (2004), 156-164.
21. HEINE, D. L., and LAM, M. S. A practical flowsensitive and context-sensitive c and c++ memory leak detector. In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation (New York, NY, USA, 2003), ACM, pp. 168-181.
22. JUMP, M., and MCKINLEY, K. S. Cork: dynamic memory leak detection for garbage-collected languages. SIGPLAN Not. 42, 1 (2007), 31-38.
23. LAU, J., ARNOLD, M., HIND, M., and CALDER, B. Online performance auditing: using hot optimizations without getting burned. SIGPLAN Not. 41, 6 (2006), 239-251.
24. LEV-AMI, T., and SAGIV, M. TVLA: A framework for Kleene based static analysis. In Saskatchewan (2000), vol. 1824 of Lecture Notes in Computer Science, Springer- Verlag, pp. 280-301.
25. LIBLIT, B. Cooperative Bug Isolation (Winning Thesis of the 2005 ACM Doctoral Dissertation Competition), vol. 4440 of Lecture Notes in Computer Science. Springer, 2007.
26. LIVSHITS, V. B. Turning Eclipse against itself: Finding bugs in Eclipse code using lightweight static analysis. Eclipsecon '05 Research Exchange, Mar. 2005.
27. MICROSYSTEMS, S. Jvmtm tool interface, version 1.0. In http://java.sun. com/j2se/1.5.0/docs/guide/jvmti/jvmti.html.
28. MITCHELL, N. The runtime structure of object ownership. In ECOOP (2006), D. Thomas, Ed., vol. 4067 of Lecture Notes in Computer Science, Springer, pp. 74-98.
29. MITCHELL, N., and SEVITSKY, G. The causes of bloat, the limits of health. In OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications (2007), pp. 245-260.
30. MÜLLER, P., and RUDICH, A. Ownership transfer in universe types. In OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications (New York, NY, USA, 2007), ACM, pp. 461-478.
31. QIAN, F., and HENDREN, L. An adaptive, region-based allocator for java. In Proceedings of the third international symposium on Memory management (Jun. 2002), ACM Press, pp. 127-138.
32. RAMALINGAM, G., WARSHAVSKY, A., FIELD, J., GOYAL, D., and SAGIV, M. Deriving specialized program analyses for certifying component-client conformance. In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation (New York, NY, USA, 2002), ACM, pp. 83-94.
33. SHAHAM, R., YAHAV, E., KOLODNER, E., and SAGIV, M. Establishing local temporal heap safety properties with applications to compile-time memory management. In Static Analysis Symposium (2003).
34. STROM, R. E., and YEMINI, S. Typestate: A programming language concept for enhancing software reliability. IEEE Trans. Software Eng. 12, 1 (1986), 157-171.
35. SUGANUMA, T., YASUE, T., KAWAHITO, M., KOMATSU, H., and NAKATANI, T. A dynamic optimization framework for a Java just-in-time compiler. In OOPSLA '01: Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications (New York, NY, USA, 2001), ACM, pp. 180-195.
36. YAHAV, E., and RAMALINGAM, G. Verifying safety properties using separation and heterogeneous abstractions. In Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation (2004), ACM Press, pp. 25-34.