Deconstructing concurrency heisenbugs

2009 31st International Conference on Software Engineering - Companion Volume, ICSE 2009

Volumn , Issue , 2009, Pages 403-404

  Ball, Thomas ^a   Burckhardt, Sebastian ^a   De Halleux, Jonathan ^a   Musuvathi, Madanlal ^a   Qadeer, Shaz ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT PROGRAM; EXISTING SYSTEMS; INTERLEAVINGS; LARGE SYSTEM; MICROSOFT; PROGRAM BEHAVIOR; SEARCH TECHNIQUE; SYSTEMATIC EXPLORATION; TEST FRAMEWORK; THREAD SCHEDULING;

COMPUTER SOFTWARE; PROGRAM DEBUGGING;

CONCURRENCY CONTROL;

EID: 70349675961     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE-COMPANION.2009.5071033     Document Type: Conference Paper

References (7)

1. J. Gray. Why do computers stop and what can be done about it? In Büroautomation, pages 128-145, 1985.
2. G. C. Hunt, M. Aiken, M. Fähndrich, C. H. O. Hodson, J. R. Larus, S. Levi, B. Steensgaard, D. Tarditi, and T. Wobber. Sealing OS processes to improve dependability and safety. In Proceedings of the EuroSys Conference, pages 341-354, 2007.
3. NET Framework 3.5-http://msdn.microsoft.com/enus/library/w0x726c2.aspx.
4. Windows API reference-http://msdn.microsoft.com/enus/library/aa383749(vs. 85).aspx.
5. M. Musuvathi and S. Qadeer. Iterative context bounding for systematic testing of multithreaded programs. In PLDI 07: Programming Language Design and Implementation, pages 446-455, 2007.
6. M. Musuvathi and S. Qadeer. Fair stateless model checking. In PLDI 08: Programming Language Design and Implementation, 2008.
7. M. Musuvathi, S. Qadeer, T. Ball, G. Basler, P. A. Nainar, and I. Neamtiu. Finding and reproducing heisenbugs in concurrent programs. In OSDI 08: Operating Systems Design and Implementation, 2008.