Umang Mathur
Titel
Citeras av
Citeras av
År
Dynamic race prediction in linear time
D Kini, U Mathur, M Viswanathan
ACM SIGPLAN Notices 52 (6), 157-170, 2017
382017
Computing Information Flow Using Symbolic Model-Checking
R Chadha, U Mathur, S Schwoon
34th International Conference on Foundation of Software Technology and …, 2014
132014
What Happens-After the First Race? Enhancing the Predictive Power of Happens-Before Based Dynamic Race Detection
U Mathur, D Kini, M Viswanathan
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 145, 2018
112018
Controller synthesis made real: reach-avoid specifications and linear dynamics
C Fan, U Mathur, S Mitra, M Viswanathan
International Conference on Computer Aided Verification, 347-366, 2018
102018
Look for the proof to find the program: Decorated-component-based program synthesis
A Gascón, A Tiwari, B Carmer, U Mathur
International Conference on Computer Aided Verification, 86-103, 2017
92017
Decidable verification of uninterpreted programs
U Mathur, P Madhusudan, M Viswanathan
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
52019
Exact quantitative probabilistic model checking through rational search
U Mathur, MS Bauer, R Chadha, AP Sistla, M Viswanathan
Formal Methods in System Design, 1-37, 2020
42020
Deciding memory safety for single-pass heap-manipulating programs
U Mathur, A Murali, P Krogmeier, P Madhusudan, M Viswanathan
Proceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019
32019
Data race detection on compressed traces
D Kini, U Mathur, M Viswanathan
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
32018
The Complexity of Dynamic Data Race Prediction
U Mathur, A Pavlogiannis, M Viswanathan
arXiv preprint arXiv:2004.14931, 2020
22020
Atomicity Checking in Linear Time using Vector Clocks
U Mathur, M Viswanathan
Proceedings of the Twenty-Fifth International Conference on Architectural …, 2020
22020
What’s Decidable About Program Verification Modulo Axioms?
U Mathur, P Madhusudan, M Viswanathan
International Conference on Tools and Algorithms for the Construction and …, 2020
12020
A Decidable Fragment of Second Order Logic With Applications to Synthesis
P Madhusudan, U Mathur, S Saha, M Viswanathan
arXiv preprint arXiv:1712.05513, 2017
12017
Weak Singular Hybrid Automata
SN Krishna, U Mathur, A Trivedi
Formal Modeling and Analysis of Timed Systems 8711, 161-175, 2014
1*2014
Optimal Prediction of Synchronization-Preserving Races
U Mathur, A Pavlogiannis, M Viswanathan
arXiv preprint arXiv:2010.16385, 2020
2020
Scalable Statistical Root Cause Analysis on App Telemetry
V Murali, E Yao, U Mathur, S Chandra
arXiv preprint arXiv:2010.09974, 2020
2020
Decidable Synthesis of Programs with Uninterpreted Functions
P Krogmeier, U Mathur, A Murali, P Madhusudan, M Viswanathan
International Conference on Computer Aided Verification, 634-657, 2020
2020
Weak Singular Hybrid Automata
S Narayanan Krishna, U Mathur, A Trivedi
arXiv, arXiv: 1311.3826, 2013
2013
Controller synthesis for linear system with reach-avoid specifications
C Fan, U Mathur, Q Ning, S Mitra, M Viswanathan
Sound Dynamic Deadlock Prediction in Linear Time
U Mathur, MS Bauer, M Viswanathan
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20