An instrumentation technique for online analysis of multithreaded programs

Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM)

Volumn 18, Issue , 2004, Pages 3681-3688

  Roşu, Grigore ^a   Sen, Koushik ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; ERROR ANALYSIS; FORMAL LOGIC; INFORMATION ANALYSIS; PROBABILITY; TESTING;

INSTRUMENTATION TECHNIQUE; MULTITHREADED PROGRAMS; RUNTIME VERIFICATION; SPECIFICATION VOILATIONS;

ONLINE SYSTEMS;

EID: 12444288622     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)

1. M. Ahamad, M. Raynal, and G. Thia-Kime. An adaptive protocol for implementing causally consistent distributed services. In Proceedings of International Conference on Distributed Computing (ICDCS'98), pages 86-93, 1998.
2. O. Babaoglu and M. Raynal, Specification and verification of dynamic properties in distributed computations. Journal of Parallel and Distr. Computing, 28(2):173-185, 1995.
3. O. Babaoǧlu and K. Marzullo. Consistent global states of distributed systems: Fundamental concepts and mechanisms. In S. Mullender, editor, Distributed Systems, pages 55-96. Addison-Wesley, 1993.
4. H. Barringer, A. Goldberg, K. Havelund, and K. Sen. Rule-Based Runtime Verification. In Proceedings Verification, Model Checking and Abstract Interpretation (VMCAI 04) (To appear in LNCS), January 2004.
5. C. M. Chase and V. K. Garg. Detection of global predicates: Techniques and their limitations. Distributed Computing, 11(4):191-201, 1998.
6. E. M. Clarke and J. M. Wing. Formal methods: state of the art and future directions. ACM Computing Surveys, 28(4):626-643, Dec. 1996.
7. R. Cooper and K. Marzullo. Consistent detection of global predicates. ACM SIGPLAN Notices, 26(12):167-174, 1991. Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging.
8. J. Dick and A. Faivre. Automating the generation and sequencing of test cases from model-based specifications. In Proceedings of Formal Methods Europe (FME'93): Industrial Strength Formal Methods, volume 670 of LNCS, pages 268-284, 1993.
9. C. J. Fidge. Partial orders for parallel debugging. In Proceedings of the 1988 ACM SIGPLAN/SIGOPS workshop on Parallel and Distr. Debugging, pages 183-194. ACM, 1988.
10. E. L. Gunter, R. P. Kurshan, and D. Peled. PET: An interactive software testing tool. In Computer Aided Verification (CAV'00), volume 1885 of LNCS, pages 552-556. Springer-Verlag, 2003.
11. K. Havelund and G. Roşu. Monitoring Java Programs with Java PathExplorer. In Proceedings of the 1st Workshop on Runtime Verification (RV'01), volume 55 of ENTCS. Elsevier, 2001.
12. K. Havelund and G. Roşu. Monitoring Programs using Rewriting. In Proceedings Automated Software Engineering (ASE'01), pages 135-143. IEEE, 2001.
13. K. Havelund and G. Roşu. Runtime Verification 2001, 2002, volume 55, 70(4) of ENTCS. Elsevier, 2001, 2002. Proceedings of a Computer Aided Verification (CAV'01, CAV'02) workshop.
14. K. Havelund and G. Roşu. Efficient monitoring of safety properties. Software Tools and Tech. Transfer, to appear.
15. K. Havelund and G. Roşu. Synthesizing monitors for safety properties. In Tools and Algorithms for Construction and Analysis of Systems (TACAS'02), volume 2280 of LNCS, pages 342-356. Springer, 2002.
16. Java MultiPathExplorer. http://fsl.cs.uiuc.edu/jmpax.
17. M. Kim, S. Kannan, I. Lee, and O. Sokolsky. Java-MaC: a Run-time Assurance Tool for Java. In Proceedings of Run-time Verification (RV'01), volume 55 of ENTCS. Elsevier Science, 2001.
18. D. Lee and M. Yannakakis. Principles and methods of testing finite state machines - A survey. In Proceedings of the IEEE, volume 84, pages 1090-1126, 1996.
19. N. Markey and P. Schnoebelen. Model checking a path (preliminary report). In Proceedings of the 14th International Conference on Concurrency Theory (CON-CUR'2003), LNCS. Springer, 2003.
20. K. Marzullo and G. Neiger. Detection of global state predicates. In Proceedings of the 5th International Workshop on Distributed Algorithms (WADG'91), volume 579 of LNCS, pages 254-272. Springer, 1991.
21. F. Mattern. Virtual time and global states of distributed systems. In Parallel and Distributed Algorithms: proceedings of the International Workshop on Parallel and Distributed Algorithms, pages 215-226. Elsevier, 1989.
22. A. Sen and V. K. Garg. Partial order trace analyzer (pota) for distrubted programs. In Proceedings of Workshop on Runtime Verification (RV'03), ENTCS, 2003.
23. K. Sen, G. Roşu, and G. Agha. Runtime safety analysis of multithreaded programs. In European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'03). ACM, 2003.
24. K. Sen, G. Roşu, 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) (To Appear in LNCS), Bercelona, Spain, 2004. Springer.
25. S. D. Stoller. Detecting global predicates in distributed systems with clocks. In Proceedings of the 11th International Workshop on Distributed Algorithms (WDAG'97), pages 185-199, 1997.
26. S. A. Vilkomir and J. P. Bowen. Formalization of software testing criteria using the Z notation. In Proceedings of COMPSAC 01: 25th IEEE Annual International Computer Software and Applications Conference, pages 351-356. IEEE Computer Society, Oct. 2001.