PickLock: A Deadlock Prediction Approach under Nested Locking
- 27 August 2015
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 28 references indexed in Scilit:
- A randomized dynamic program analysis technique for detecting real deadlocksACM SIGPLAN Notices, 2009
- Learning from mistakesACM SIGARCH Computer Architecture News, 2008
- Learning from mistakesACM SIGPLAN Notices, 2008
- Reasoning About Threads Communicating via LocksLecture Notes in Computer Science, 2005
- Formal Analysis of Java Programs in JavaFANLecture Notes in Computer Science, 2004
- RacerXACM SIGOPS Operating Systems Review, 2003
- Static conflict analysis for multi-threaded object-oriented programsACM SIGPLAN Notices, 2003
- Object race detectionACM SIGPLAN Notices, 2001
- Model checking JAVA programs using JAVA PathFinderInternational Journal on Software Tools for Technology Transfer, 2000
- Using Runtime Analysis to Guide Model Checking of Java ProgramsLecture Notes in Computer Science, 2000