Generating language-based environments
Generating language-based environments
Functional program testing and analysis
Functional program testing and analysis
Miss Manners: a specialized silicon compiler for synchronizers
Proceedings of the fourth MIT conference on Advanced research in VLSI
ASPLOS II Proceedings of the second international conference on Architectual support for programming languages and operating systems
Debugging heterogeneous distributed systems using event-based models of behavior
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Data path debugging: data-oriented debugging for a concurrent programming language
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
ACM Computing Surveys (CSUR)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions
Proceedings of the International Colloquium on Formalization of Programming Concepts
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
An approach to high-level debugging of distributed systems (Preliminary Draft)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
DECIDABILITY QUESTIONS FOR PETRI NETS
DECIDABILITY QUESTIONS FOR PETRI NETS
Shuffle Automat: A Formal Model for Behavior Recognition in Distributed
Shuffle Automat: A Formal Model for Behavior Recognition in Distributed
Adaptability and portability of symbolic debuggers
Adaptability and portability of symbolic debuggers
A bibliography of parallel debuggers, 1990 edition
ACM SIGPLAN Notices
The Ariadne debugger: scalable application of event-based abstraction
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
Testing races in parallel programs with an OtOt strategy
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constructive Protocol Specification Using Cicero
IEEE Transactions on Software Engineering
Apportioning: A Technique for Efficient Reachability Analysis of Concurrent Object-Oriented Programs
IEEE Transactions on Software Engineering - Special section on the seventh international software metrics symposium
Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System
IEEE Transactions on Software Engineering
Debugging Multithreaded Programs with MPD
IEEE Software
Detecting causal relationships in distributed computations: in search of the holy grail
Distributed Computing
Debugging and testing middleware with aspect-based control-flow and causal patterns
Proceedings of the 9th ACM/IFIP/USENIX International Conference on Middleware
| Hi-index | 0.00 |
We propose a debugging language, Data Path Expressions (DPEs), for modeling the behavior of parallel programs. The debugging paradigm is for the programmer to describe the expected program behavior and for the debugger to compare the actual program behavior during execution to detect program errors. We classify DPEs into five subclasses according to syntactic criteria, and characterize their semantics in terms of a hierarchy of extended Petri Net models. The characterization demonstrates the power of DPEs for modeling parallelism. We present predecessor automata as a mechanism for implementing the third subclass of DPEs, which expresses bounded parallelism. Predecessor automata extend finite state automata to provide efficient event recognizers for parallel debugging. We briefly describe the application of DPEs to race conditions, deadlock and starvation.