
Deciding Accuracy of Differential Privacy Schemes
Differential privacy is a mathematical framework for developing statisti...
read it

Optimal Prediction of SynchronizationPreserving Races
Concurrent programs are notoriously hard to write correctly, as scheduli...
read it

The Complexity of Dynamic Data Race Prediction
Writing concurrent programs is notoriously hard due to scheduling nonde...
read it

Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning
Probabilistic Computation Tree Logic (PCTL) is frequently used to formal...
read it

Atomicity Checking in Linear Time using Vector Clocks
Multithreaded programs are challenging to write. Developers often need ...
read it

What's Decidable About Program Verification Modulo Axioms?
We consider the decidability of the verification problem of programs mod...
read it

Decidable Synthesis of Programs with Uninterpreted Functions
We identify a decidable synthesis problem for a class of programs of unb...
read it

Revisiting MITL to Fix Decision Procedures
Metric Interval Temporal Logic (MITL) is a well studied realtime, tempo...
read it

Automated Methods for Checking Differential Privacy
Differential privacy is a de facto standard for statistical computations...
read it

Deciding Memory Safety for Forest Datastructures
Memory safety is the problem of determining if a heap manipulating progr...
read it

Decidable Verification of Uninterpreted Programs
verifying uninterpreted programsprograms that work over arbitrary da...
read it

What Happens  After the First Race? Enhancing the Predictive Power of Happens  Before Based Dynamic Race Detection
Dynamic race detection is the problem of determining if an observed prog...
read it

Data Race Detection on Compressed Traces
We consider the problem of detecting data races in program traces that h...
read it

A Decidable Fragment of Second Order Logic With Applications to Synthesis
We propose a fragment of manysorted second order logic ESMT and show th...
read it
Mahesh Viswanathan
is this you? claim profile