Symbolic modular deadlock analysis
暂无分享,去创建一个
Sriram Sankaranarayanan | Jyotirmoy V. Deshmukh | E. Allen Emerson | E. Emerson | S. Sankaranarayanan
[1] Marvin V. Zelkowitz,et al. Programming Languages: Design and Implementation , 1975 .
[2] Armin Biere,et al. Applying static analysis to large-scale, multi-threaded Java programs , 2001, Proceedings 2001 Australian Software Engineering Conference.
[3] Lin Li,et al. A Practical MHP Information Analysis for Concurrent Java Programs , 2004, LCPC.
[4] Jerzy Tiuryn,et al. Logics of Programs , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[5] Shuvendu K. Lahiri,et al. An Efficient Decision Procedure for UTVPI Constraints , 2005, FroCoS.
[6] Stephen N. Freund,et al. Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs , 2008, PLDI '08.
[7] Klaus Havelund,et al. Using Runtime Analysis to Guide Model Checking of Java Programs , 2013, SPIN.
[8] Vivek K. Shanbhag. Deadlock-Detection in Java-Library Using Static-Analysis , 2008, 2008 15th Asia-Pacific Software Engineering Conference.
[9] Thomas Moschny,et al. Finding synchronization defects in java programs: extended static analyses and code patterns , 2008, IWMSE '08.
[10] Rahul Agarwal,et al. Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables , 2006, PADTAD '06.
[11] LamportLeslie. Time, clocks, and the ordering of events in a distributed system , 1978 .
[12] Rahul Agarwal,et al. Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring , 2005, Haifa Verification Conference.
[13] Michael D. Ernst,et al. Static Deadlock Detection for Java Libraries , 2005, ECOOP.
[14] G. Ramalingam,et al. Context-sensitive synchronization-sensitive analysis is undecidable , 2000, TOPL.
[15] Andrew M. Lister. The problem of nested monitor calls , 1977, OPSR.
[16] Bruno Dutertre,et al. A Fast Linear-Arithmetic Solver for DPLL(T) , 2006, CAV.
[17] Alexander Aiken,et al. Effective static race detection for Java , 2006, PLDI '06.
[18] David Gay,et al. Effective static deadlock detection , 2009, 2009 IEEE 31st International Conference on Software Engineering.
[19] Christoph von Praun,et al. Detecting synchronization defects in multi-threaded object-oriented programs , 2004 .
[20] Leslie Lamport,et al. Time, clocks, and the ordering of events in a distributed system , 1978, CACM.
[21] James C. Corbett,et al. Evaluating Deadlock Detection Methods for Concurrent Software , 1996, IEEE Trans. Software Eng..
[22] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[23] Klaus Havelund,et al. Dynamic Deadlock Analysis of Multi-threaded Programs , 2005, Haifa Verification Conference.
[24] Edmund M. Clarke,et al. Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic , 1981, Logic of Programs.
[25] Sriram Sankaranarayanan,et al. Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients , 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.
[26] Klaus Havelund,et al. Model checking JAVA programs using JAVA PathFinder , 2000, International Journal on Software Tools for Technology Transfer.
[27] Laurie Hendren,et al. Soot---a java optimization framework , 1999 .
[28] Gerard J. Holzmann,et al. The SPIN Model Checker , 2003 .
[29] Dawson R. Engler,et al. RacerX: effective, static detection of race conditions and deadlocks , 2003, SOSP '03.