DETERMIN: Inferring likely deterministic specifications of multithreaded programs

Proceedings - International Conference on Software Engineering

Volumn 1, Issue , 2010, Pages 415-424

  Burnim, Jacob ^a   Sen, Koushik ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

determinism; parallel programs; specification inference

Indexed keywords

DETERMINISM; DETERMINISTIC BEHAVIOR; GRAPHIC PROCESSING UNITS; INFERENCE ALGORITHM; INTERLEAVINGS; MULTI-CORE PROCESSOR; MULTI-THREADED PROGRAMS; NON-DETERMINISM; PARALLEL APPLICATION; PARALLEL PROGRAM; PARALLEL SCHEDULES; PROGRAM STATE; UNINTENDED BEHAVIOR;

COMPUTER SOFTWARE; INFERENCE ENGINES; MULTITASKING; PARALLEL ARCHITECTURES; PARALLEL PROGRAMMING;

SPECIFICATIONS;

EID: 77954724463     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1806799.1806860     Document Type: Conference Paper

References (33)

1. M. Acharya, T. Xie, J. Pei, and J. Xu. Mining API patterns as partial orders from source code: from usage scenarios to specifications. In 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT symposium on the Foundations of Software Engineering. ACM, 2007.
2. G. Agha. Actors: A Model of Concurrent Computation. MIT Press, 1986.
3. R. Alur, P. Cerny, G. Gupta, P. Madhusudan, W. Nam, and A. Srivastava. Synthesis of Interface Specifications for Java Classes. In Proceedings of POPL'05 (32nd ACM Symposium on Principles of Programming Languages), 2005.
4. G. Ammons, R. Bodik, and J. R. Larus. Mining specifications. In ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages (POPL), 2002.
5. C. Artho, K. Havelund, and A. Biere. High-level data races. Software Testing Verification and Reliability, 13(4):207-227, 2003.
6. G. Barnes. A method for implementing lock-free shared-data structures. In ACM Symposium on Parallel Algorithms and Architectures, pages 261-270, 1993.
7. R. Bocchino, V. Adve, S. Adve, and M. Snir. Parallel programming must be deterministic by default. In USENIX Workship on Hot Topics in Parallelism (HOTPAR), 2009.
8. J. Burnim and K. Sen. Asserting and checking determinism for multithreaded programs. In 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. ACM, 2009.
9. C. Csallner, N. Tillmann, and Y. Smaragdakis. DySy: Dynamic symbolic execution for invariant inference. In 30th ACM/IEEE International Conference on Software Engineering (ICSE), 2008.
10. J. Devietti, B. Lucia, L. Ceze, and M. Oskin. DMP: deterministic shared memory multiprocessing. In ACM conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2009.
11. Edinburgh Parallel Computing Centre. Java Grande Forum benchmark suite. www2.epcc.ed.ac.uk/computing/research-activities/java-grande/index-1.html.
12. M. D. Ernst, A. Czeisler, W. G. Griswold, and D. Notkin. Quickly detecting relevant program invariants. In Proceedings of the 22nd International Conference on Software Engineering, pages 449-458, June 2000.
13. 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), pages 256-267, 2004.
14. C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended static checking for Java. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002.
15. C. Flanagan and R. M. Leino. Houdini, an annotation assistant for ESC/Java. In Proceedings of the International Symposium of Formal Methods Europe (FME), 2001.
16. C. Flanagan and S. Qadeer. Types for atomicity. In ACM SIGPLAN international workshop on Types in Languages Design and Implementation (TLDI), 2003.
17. C. Goues and W. Weimer. Specification mining with few false positives. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2009.
18. S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In Proceedings of the International Conference on Software Engineering, 2002.
19. W. M. Johnston, J. R. P. Hanna, and R. J. Millar. Advances in dataflow programming languages. ACM Comput. Surv., 36(1):1-34, 2004.
20. A. Kaminsky. Parallel Java: A Unified API for Shared Memory and Cluster Parallel Programming in 100% Java. In 21st IEEE International Parallel and Distributed Processing Symposium (IPDPS 2007), March 2007.
21. E. A. Lee. The problem with threads. Computer, 39(5):33-42, May 2006.
22. F. Logozzo. Automatic inference of class invariants. In Proceedings of the 5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI '04), January 2004.
23. H. Loidl, F. Rubio, N. Scaife, K. Hammond, S. Horiguchi, U. Klusik, R. Loogen, G. Michaelson, R. Pena, S. Priebe, et al. Comparing parallel functional languages: Programming and performance. Higher-Order and Symbolic Computation, 16(3):203-251, 2003.
24. M. Z. Malik, A. Pervaiz, , and S. Khurshid. Generating representation invariants of structurally complex data. In TACAS, pages 34-49, 2007.
25. R. Netzer and B. Miller. Detecting data races in parallel program executions. In Advances in Languages and Compilers for Parallel Computing. MIT Press, 1990.
26. M. Olszewski, J. Ansel, and S. Amarasinghe. Kendo: Efficient deterministic multithreading in software. In The International Conference on Architectural Support for Programming Languages and Operating Systems, Mar 2009.
27. C. Sadowski, S. Freund, and C. Flanagan. SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. In European Symposium on Programming (ESOP), 2009.
28. M. Taghdiri and D. Jackson. Inferring specifications to detect errors in code. Automated Software Engg., 14(1):87-121, 2007.
29. W. Thies, M. Karczmarek, and S. Amarasinghe. StreamIt: A language for streaming applications. Lecture Notes in Computer Science, pages 179-196, 2002.
30. N. Tillmann, F. Chen, and W. Schulte. Discovering likely method specifications. In ICFEM, pages 717-736, 2006.
31. C. von Praun and T. R. Gross. Object race detection. In ACM SIGPLAN conference on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2001.
32. J. Whaley, M. C. Martin, and M. S. Lam. Automatic Extraction of Object-Oriented Component Interfaces. In Proceedings of ACM SIGSOFT ISSTA'02 (International Symposium on Software Testing and Analysis), 2002.
33. J. Yang and D. Evans. Dynamically inferring temporal properties. In PASTE '04, pages 23-28. ACM, 2004.