S
Stephen P. Masticola
Researcher at Princeton University
Publications - 16
Citations - 367
Stephen P. Masticola is an academic researcher from Princeton University. The author has contributed to research in topics: Deadlock prevention algorithms & Anomaly detection. The author has an hindex of 8, co-authored 16 publications receiving 363 citations. Previous affiliations of Stephen P. Masticola include Rutgers University.
Papers
More filters
Proceedings ArticleDOI
Non-concurrency analysis
TL;DR: This work presents a framework for non-concurrency analysis, capable of incorporating previous analysis algorithms [CS88, DS92] and improving upon them and exhibits dramatic accuracy improvements over [DS91], when the latter is used as a stand-alone algorithm.
Proceedings ArticleDOI
A model of Ada programs for static deadlock detection in polynomial times
TL;DR: A safe, polynomial time approximation algorithm for static deadlock detection in a subset of the Ada language [MR90b] is designed and an automatic facility to accurately certify deadlock freedom for a large class of Ada programs is developed.
Proceedings ArticleDOI
Static Infinite Wait Anomaly Detection in Polynomial Time
TL;DR: Two polynomial time algorithms which operate on a statically derivable program representation, the sync graph, are presented, to certify a useful class of programs free of deadlocks.
Static detection of deadlocks in polynomial time
TL;DR: Preliminary algorithms for detecting deadlock in two very different synchronization paradigms: binary semaphores, and the dynamic, pointer-based process control of Concurrent C.
Proceedings ArticleDOI
Safe optimization for hard real-time programming
TL;DR: The authors show that optimization of hard real time programs cannot be separated from code generation, register allocation, and scheduling, even under a very simple model of program execution; it is therefore difficult.