Predictive typestate checking of multithreaded java programs

ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings

Volumn , Issue , 2008, Pages 288-296

  Joshi, Pallavi ^a   Sen, Koushik ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ATOMICITY VIOLATIONS; DATA RACES; FUNCTIONAL ERRORS; JAVA PROGRAMS; MULTITHREADED JAVA PROGRAMS; MULTITHREADED PROGRAMS; NOVEL TECHNIQUES; PROGRAM EXECUTIONS; PROGRAMMING ERRORS; PROTOTYPE TOOLS; TYPE STATES;

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; CONCURRENCY CONTROL; ERRORS; MULTITASKING; PROGRAM DEBUGGING; SOFTWARE ENGINEERING;

JAVA PROGRAMMING LANGUAGE;

EID: 56249133044     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2008.39     Document Type: Conference Paper

References (36)

1. A. Dinning and E. Schonberg, "Detecting access anomalies in programs with critical sections," in Proc. of the ACM/ONR Workshop on Parallel and Distributed Debugging, 1991.
2. J.-D. Choi, B. P. Miller, and R. H. B. Netzer, "Techniques for debugging parallel programs with flowback analysis," ACM. Trans. Program. Lang. Syst., vol. 1.3, no. 4, pp. 491-530, 1991.
3. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. E. Anderson, "Eraser: A dynamic data race detector for multithreaded programs," ACM Trans. Comput. Syst., vol. 15, no. 4, pp. 391-411, 1997.
4. M. Christiaens and K. D. Bosschere, "Trade, a topological approach to on-the-fly race detection in java programs," in JavaTM Virtual Machine Research and Technology Symposium (JVM). USENIX Association, 2001, pp. 15-15.
5. C. von Praun and T. R. Gross, "Object race detection," in 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications (OOPSLA). ACM, 2001, pp. 70-82.
6. J. D. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan, "Efficient and precise datarace detection for multithreaded objectoriented programs," in Proc. of the ACM SIGPLAN Conference on Programming language design and implementation, 2002, pp. 258-269.
7. S. Narayanasamy, Z. Wang, J. Tigani, A. Edwards, and B. Calder, "Automatically classifying benign and harmful data racesallusing replay analysis," in ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI), 2007, pp. 22-31.
8. K. Sen, "Race directed randomized dynamic analysis of concurrent programs," in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'08), 2008, to appear.
9. N. Sterling, "Warlock: A static data race analysis tool," in USENIX Winter Technical Conference, 1993, pp. 97-106.
10. D. R. Engler and K. Ashcraft, "Racerx: effective, static detection of race conditions and deadlocks," in 19th ACM Symposium on Operating Systems Principles (SOSP), 2003, pp. 237-252.
11. P. Pratikakis, J. S. Foster, and M. Hicks, "LOCKSMITH: context-sensitive correlation analysis for race detection," in ACM SlGPLAN conference on Programming language design and implementation (PLDI). ACM, 2006, pp. 320-331.
12. M. Naik, A. Aiken, and J. Whaley, "Effective static race detection for java," in ACM SIGPLAN Conference on Programming Language Design and Implementation, 2006, pp. 308-319.
13. L. Wang and S. D. Stoller, "Run-time analysis for atomicity." in 3rd Workshop on. Run-time Verification (RV'03), ser. ENTCS, vol. 89, no. 2, 2003.
14. C. Flanagan, and S. N. Freund, "Atomizer: a dynamic atomicity checker for multithreaded programs," in 31st ACM SIGPLAN-SIGACT Symposium, on Principles of Programming Languages (POPL), 2004, pp. 256-267.
15. L. Wang and S. D. Stoller, "Accurate and efficient runtime detection of atomicity errors in concurrent programs," in Proc. ACM SIGPLAN 2006 Symposium, on Principles and Practice of Parallel Programming (PPoPP). ACM Press, Mar. 2006, pp. 137-146.
16. R. J. Lipton, "Reduction: A method of proving properties of parallel programs," Communications of the ACM, vol. 1.8, no. 1.2, pp. 717-721, 1975.
17. C. Flanagan and S. Qadeer, "A type and effect system, for atomicity," in Proc. of the ACM SIGPLAN conference on Programming language design and implementation (PLDI'03), 2003, pp. 338-349.
18. S. N. Freund and S. Qadeer, "Checking concise specifications for multithreaded software." Journal of Object Technology, vol. 3, no. 6, pp. 81-101, 2004.
19. J. Hatcliff, Robby, and M. B. Dwyer, "Verifying atomicity specifications for concurrent object-oriented software using model-checking," in Proc. of the International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'04), 2004, pp. 175-190.
20. C. Flanagan, "Verifying commit-atomicity using model-checking," in 11th International SPIN Workshop, 2004, pp. 252-266.
21. R. E. Strom and S. Yemini, "Typestate: A programming language concept for enhancing software reliability," IEEE Transactions on Software Engineering, vol. 12, no. 1, pp. 157-171, 1986.
22. P. Avgustinov, J. Tibble, and O. de Moor, "Making trace monitors feasible," SIGPLAN Not., vol. 42, no. 10, pp. 589-608, 2007.
23. L. Lamport, "Time, clocks, and the ordering of events in a distributed system," Communications of the ACM, vol. 2.1, no. 7, pp. 558-565, Jul. 1978.
24. R. O'Callahan and J.-D. Choi, "Hybrid dynamic data race detection," in ACM SIGPLAN symposium on Principles and practice of parallel programming. ACM, 2003, pp. 167-178.
25. F. Chen, T. F. Serbǎnutǎ, and G. Rosu, "jpredictor: A predictive runtime analysis tool, for java," in International Conference on Software Engineering (ICSE'08). ACM press, 2008.
26. K. Sen, G. Rosu, and G. Agha, "Runtime safety analysis of multithreaded programs," in Proceedings of 4th joint European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 03), ser. ACM, 2003.
27. G. Ammons, R. Bodik, and J. R. Larus, "Mining specifications," in Symposium on Principles of Programming Languages, 2002.
28. S. Shoham, E. Yahav, S. Fink, and M. Pistoia, "Static specification mining using automata-based abstractions," in International Symposium on Software Testing and Analysis, 2007.
29. A. V. Raman and J. D. Patrick, "The sk-strings method for inferring pfsa," in Proceedings of the workshop on automata induction, grammatical inference and language acquisition at the 14th international conference on machine learning (ICML97), 1997.
30. C. J. Fidge, "Timestamp in message passing systems that preserves partial ordering," in Proceedings of the 11th Australian Computing Conference, 1988, pp. 56-66.
31. F. Mattern, "Virtual time and global states of distributed systems," in Proceedings of the Parallel and Distributed Algorithms Conference, ser. Elsevier Science, 1988, pp. 215-226.
32. O. Babaoǧlu. and K. Marzullo, "Consistent global states of distributed systems: Fundamental concepts and mechanisms," in Distributed Systems, S. Mullender, Ed. Addison-Wesley, 1.993, pp. 55-96. [Online]. Available: citeseer.nj.nec.com/article/babaoglu93consistent.html
33. A. Sen and V. K. Garg, "Partial order trace analyzer (pota) for distrubted programs," in Proceedings of the 3rd Workshop on Runtime Verification (RV03), ser. Electronic Notes in Theoretical Computer Science, 2003.
34. K. Sen, G. Rosu, and G. Agha, "Online efficient predictive safety analysis of multithreaded programs," in 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'04), ser. Lecture Notes in Computer Science, vol. 2988, 2004, pp. 123-138.
35. A. W. Biermann and J. A. Feldman, "On the synthesis of finitestate machines from, samples of their behavior," IEEE Transactions on Computers, pp. 591-597, 1972.
36. "Soot: A java optimization framework," http://www.sable.mcgill. ca/soot/.