Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language (original) (raw)
Related papers
Dynamic inference of polymorphic lock types
2005
A Compile-Time Deadlock Detection Pattern
Computer Science, 2013
A multithreaded typed assembly language
2006
Dynamic deadlock avoidance in systems code using statically inferred effects
Proceedings of the 6th Workshop on Programming Languages and Operating Systems - PLOS '11, 2011
Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring
2005
Static deadlock detection in SHIM with an automata type checking system
2008
A Type-theoretic Approach to Deadlock-freedom of Asynchronous Systems
1997
Static deadlock detection for the SHIM concurrent language
… and Models for Co-Design, 2008 …, 2008
A Typed Assembly Language for Non-interference
2005
Detecting deadlock in programs with data-centric synchronization
2013 35th International Conference on Software Engineering (ICSE), 2013
Combining Static Analysis and Testing for Deadlock Detection
Lecture Notes in Computer Science, 2016
Non-Interference for a Typed Assembly Language
A Framework to Automatic Deadlock Detection in Concurrent Programs
Przegląd Elektrotechniczny, 2012
A type system for preventing data races and deadlocks in the java virtual machine language
ACM SIGPLAN Notices, 2007
Ownership types for safe programming: preventing data races and deadlocks
2002
Type Systems Based Data Race Detector
Computer and Information Science, 2012
Automated, compositional and iterative deadlock detection
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04., 2004
Type-Based Verification of Assembly Language
2005
Dynamic Deadlock Analysis of Multi-threaded Programs
Lecture Notes in Computer Science, 2006
A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model
Lecture Notes in Computer Science, 2010
Inferring Types for Parallel Programs
Electronic Proceedings in Theoretical Computer Science, 2017
Detection of deadlock potentials in multithreaded programs
Ibm Journal of Research and Development, 2010
Exascale Message Passing Interface based Program Deadlock Detection
International Journal of Electrical and Computer Engineering (IJECE), 2016
Scalable Dynamic Deadlock Analysis of Multi-Threaded Programs
Gadara: Dynamic deadlock avoidance for multithreaded programs
Proceedings of the Eighth Symposium on Operating Systems Design and Implementation (OSDI���08), 2008
A Type System for Lock-Free Processes
Information and Computation, 2002
Automated type-based analysis of data races and atomicity
2005
Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract)
2009 IEEE International Conference on Automation Science and Engineering, 2009
International Journal of Software Engineering and Knowledge Engineering, 2007