Search

Mahesh Viswanathan

Dynamic Race Detection with O(1) Samples
Efficient Timestamping for Sampling-Based Race Detection
The Decision Problem for Regular First-Order Theories
Dynamic Race Detection With O(1) Samples
Sound Dynamic Deadlock Prediction in Linear Time
A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
Controller Synthesis for Linear System With Reach-Avoid Specifications
Checking LTL[F,G,X] on Compressed Traces in Polynomial Time
Optimal Prediction of Synchronization-Preserving Races
Atomicity Checking in Linear Time using Vector Clocks
Decidable Synthesis of Programs with Uninterpreted Functions
Deciding Memory Safety for Single-Pass Heap-Manipulating Programs
Exact Quantitative Probabilistic Model Checking Through Rational Search
The Complexity of Data Race Prediction
What's Decidable About Program Verification Modulo Axioms?
Decidable Verification of Uninterpreted Programs
Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics
Data Race Detection on Compressed Traces
Decidable Fragment of Second Order Logic With Applications to Program Synthesis
What Happens-After the First Race? Enhancing the Predictive Power of Happens-Before Based Dynamic Race Detection
Dynamic Race Prediction in Linear Time
Exact Quantitative Probabilistic Model Checking Through Rational Search

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.