Modern operating systems
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Verifying sequential consistency using vector clocks
Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures
An Algorithm for Analyzing Communicating Processes
Proceedings of the 7th International Conference on Mathematical Foundations of Programming Semantics
Concurrent software engineering: preparing for paradigm shift
Proceedings of the 2008 C3S2E conference
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs
Proceedings of the 15th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Static Analysis for Application-Level Checkpointing of MPI Programs
HPCC '08 Proceedings of the 2008 10th IEEE International Conference on High Performance Computing and Communications
The MEB and CEB Static Analysis for CSP Specifications
Logic-Based Program Synthesis and Transformation
Communication-Sensitive Static Dataflow for Parallel Message Passing Applications
Proceedings of the 7th annual IEEE/ACM International Symposium on Code Generation and Optimization
Model checking nonblocking MPI programs
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
The nullness analyser of JULIA
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Formal analysis of message passing
VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Detection of asynchronous message passing errors using static analysis
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Static analysis of run-time errors in embedded critical parallel C programs
ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
Static livelock analysis in CSP
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Verification of halting properties for MPI programs using nonblocking operations
PVM/MPI'07 Proceedings of the 14th European conference on Recent Advances in Parallel Virtual Machine and Message Passing Interface
| Hi-index | 0.00 |
In this paper, we present our methodology for reasoning about deterministic concurrent synchronous programs by adapting Vector Clock algorithm and Abstract Interpretation theory. We use these approaches to build a Static Analyzer for Erasmus programming language. Erasmus Static Analyzer detects communication errors including circular wait that cause deadlock in deterministic programs with finite number of processes.