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 Dynamic Data Race Prediction
What's Decidable About Program Verification Modulo Axioms?
Decidable Verification of Uninterpreted Programs
A Decidable Fragment of Second Order Logic With Applications to Synthesis
Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics
Data Race Detection on Compressed Traces
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.