Searching for deadlocks while debugging concurrent haskell programs

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2004, Pages 28-39

  Christiansen, Jan ^a   Much, Frank ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

Concurrent Haskell; Deadlock; Debugging; Detecting deadlocks

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE; CONCURRENT ENGINEERING; FORMAL LOGIC; JAVA PROGRAMMING LANGUAGE; PROBLEM SOLVING; PROGRAM PROCESSORS; SYNCHRONIZATION;

CONCURRENT HASKELL; DEADLOCK; DEBUGGING; DETECTING DEADLOCKS;

PROGRAM DEBUGGING;

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

References (21)

1. Gul Agha, Grigore Rosu, and Koushik Sen. Runtime safety analysis of multithreaded programs. In Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering, pages 337-346. ACM Press, 2003.
2. T. Böttcher and F. Huch. A Debugger for Concurrent Haskell. In Proceedings of the 14th International Workshop on the Implementation of Functional Languages, Madrid, Spain, September 2002.
3. Olaf Chitil, Colin Runciman, and Malcolm Wallace. Freja, Hat and Hood - A comparative evaluation of three systems for tracing and debugging lazy functional programs. In Proceedings of the 12th International Workshop on the Implementation of Functional Languages, volume 2011 of Lecture Notes in Computer Science, pages 176-193, 2001.
4. Koen Claessen. A poor man's concurrency monad. Journal of Functional Programming, 9(3):313-323, 1999.
5. Edmund M. Clarke, Orna Grumberg, Marius Minea, and Doron Peled. State space reduction using partial order techniques. Software Tools for Technology Transfer, 2, 1998.
6. James Corbett, Matthew Dwyer, John Hatcliff, Corina Pasareanu, Robby, Shawn Laubach, and Hongjun Zheng. Bandera: Extracting finite-state models from Java source code. In 22nd International Conference on Software Engineering, pages 439-448, Limerick, Ireland, June 2000. IEEE Computer Society.
7. The Glasgow Haskell compiler. http://www.haskell.org/ghc/.
8. Andy Gill. Debugging Haskell by observing intermediate data structures. In Proceedings of the 2000 ACM SIGPLAN Haskell Workshop, volume 41-1 of ENTCS. Elsevier, September 2000.
9. K. Havelund and G. Rosu. Java PathExplorer - A runtime verification tool. In In Proceedings 6th International Symposium on Artificial Intelligence, Robotics and Automation in Space, ISAIRAS'01, Montreal, Canada, June 18-22, 2001., 2001.
10. Klaus Havelund and Thomas Pressburger. Model checking Java programs using Java PathFinder. International Journal on Software Tools for Technology Transfer, 2(4), April 1998.
11. Ralf Hinze. Deriving backtracking monad transformers. ACM SIGPLAN Notices, 35(9):186-197, 2000.
12. Gerard J. Holzmann. Proving properties of concurrent systems with SPIN. In Proceedings of the Sixth International Conference on Concurrency Theory, volume 962 of Lecture Notes in Computer Sience, pages 453-455, 1995.
13. F. Huch and V. Stolz. Runtime verification of Concurrent Haskell programs. In Proceedings of the Fourth Workshop on Runtime Verification, to appear in ENTCS. Elsevier Science Publishers, 2004.
14. The Haskell interpreter Hugs, http://www.haskell.org/hugs/.
15. K.Havelund. Using Runtime Analysis to Guide Model Checking of Java Programs. In W. Visser, K.Havelund, G.Brat, and S.Park, editors, SPIN Model Checking and Software Verification (7th International SPIN Workshop), volume 1885 of Lecture Notes in Computer Science, Stanford, CA, USA, August/September 2000. Springer.
16. K. Läufer. Type classes with existential types. J. of Functional Programming, 6(3):485-517, May 1996.
17. Henrik Nilsson and Jan Sparud. The evaluation dependence tree as a basis for lazy functional debugging. Automated Software Engineering, 4(2):121-150, April 1997.
18. Simon Peyton Jones et al. Haskell 98 report. Technical report, http://www.haskell.org, 1998.
19. rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 295-308, St. Petersburg Beach, Florida, 21-24 January 1996.
20. Grigore Rosu and Koushik Sen. An instrumentation technique for online analysis of multithreaded programs. In to appear as invited Paper at Parallel and Distributed Systems: Testing and Debugging (PADTAD-2), 2004.
21. Jan Sparud and Colin Runciman. Complete and partial redex trails of functional computations. In Proceedings of the 9th International Workshop on the Implementation of Functional Languages, volume 1467 of Lecture Notes in Computer Science, pages 160-174, 1998.