Umang Mathur - RankMe

78 papers A* 5B 4Journal 55Unranked 14

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Anvil: A General-Purpose Timing-Safe Hardware Description Language. ASPLOS (2) Jason Zhijingcheng Yu, Aditya Ranjan Jha, Umang Mathur, Trevor E. Carlson, Prateek Saxena
2026	J	`jnl`	Counting and Sampling Traces in Regular Languages. Proc. ACM Program. Lang. Alexis de Colnet, Kuldeep S. Meel, Umang Mathur
2026	J	`jnl`	The Complexity of Testing Message-Passing Concurrency. Proc. ACM Program. Lang. Zheng Shi, Lasse Møldrup, Umang Mathur, Andreas Pavlogiannis
2025	J	`jnl`	Adversarial Agent Collaboration for C to Rust Translation. CoRR Tianyu Li, Ruishi Li, Bo Wang, Brandon Paulsen, Umang Mathur, Prateek Saxena
2025	J	`jnl`	Anvil: A General-Purpose Timing-Safe Hardware Description Language. CoRR Jason Zhijingcheng Yu, Aditya Ranjan Jha, Umang Mathur, Trevor E. Carlson, Prateek Saxena
2025	J	`jnl`	Compiling Away the Overhead of Race Detection. CoRR Alexey Paznikov, Andrey Kogutenko, Yaroslav Osipov, Michael Schwarz, Umang Mathur
2025	J	`jnl`	Counting and Sampling Traces in Regular Languages. CoRR Alexis de Colnet, Kuldeep S. Meel, Umang Mathur
2025	J	`jnl`	Dynamic Race Detection With O(1) Samples. CoRR Mosaad Al Thokair, Minjian Zhang, Umang Mathur, Mahesh Viswanathan
2025	J	`jnl`	Efficient Decrease-and-Conquer Linearizability Monitoring. Proc. ACM Program. Lang. Lee Zheng Han, Umang Mathur
2025	J	`jnl`	Efficient Timestamping for Sampling-Based Race Detection. Proc. ACM Program. Lang. Minjian Zhang, Daniel Wee Soong Lim, Mosaad Al Thokair, Umang Mathur, Mahesh Viswanathan
2025	J	`jnl`	Efficient Timestamping for Sampling-based Race Detection. CoRR Minjian Zhang, Daniel Wee Soong Lim, Mosaad Al Thokair, Umang Mathur, Mahesh Viswanathan
2025	J	`jnl`	Enhanced Data Race Prediction Through Modular Reasoning. CoRR Zhendong Ang, Azadeh Farzan, Umang Mathur
2025	J	`jnl`	Fixed Parameter Tractable Linearizability Monitoring for Stack, Queue and Anagram Agnostic Data Types. CoRR Lee Zheng Han, Umang Mathur
2025	J	`jnl`	Program Skeletons for Automated Program Translation. CoRR Bo Wang, Tianyu Li, Ruishi Li, Umang Mathur, Prateek Saxena
2025	J	`jnl`	Program Skeletons for Automated Program Translation. Proc. ACM Program. Lang. Bo Wang, Tianyu Li, Ruishi Li, Umang Mathur, Prateek Saxena
2025	—	`conf`	Selectively Uniform Concurrency Testing. ASPLOS (1) Huan Zhao, Dylan Wolff, Umang Mathur, Abhik Roychoudhury
2025	J	`jnl`	State Space Estimation for DPOR-based Model Checkers. CoRR A. R. Balasubramanian, Mohammad Hossein Khoshechin Jorshari, Rupak Majumdar, Umang Mathur, Minjian Zhang
2025	J	`jnl`	Testing Message-Passing Concurrency. CoRR Zheng Shi, Lasse Møldrup, Umang Mathur, Andreas Pavlogiannis
2025	J	`jnl`	The Decision Problem for Regular First Order Theories. Proc. ACM Program. Lang. Umang Mathur, David Mestel, Mahesh Viswanathan
2024	J	`jnl`	A faster FPRAS for #NFA. Proc. ACM Manag. Data Kuldeep S. Meel, Sourav Chakraborty, Umang Mathur
2024	J	`jnl`	Coarser Equivalences for Causal Concurrency. Proc. ACM Program. Lang. Azadeh Farzan, Umang Mathur
2024	J	`jnl`	Efficient Linearizability Monitoring for Sets, Stacks, Queues and Priority Queues. CoRR Lee Zheng Han, Umang Mathur
2024	—	`conf`	Greybox Fuzzing for Concurrency Testing. ASPLOS (2) Dylan Wolff, Zheng Shi, Gregory J. Duck, Umang Mathur, Abhik Roychoudhury
2024	J	`jnl`	How Hard Is Weak-Memory Testing? Proc. ACM Program. Lang. Soham Chakraborty, Shankara Narayanan Krishna, Umang Mathur, Andreas Pavlogiannis
2024	A*	`conf`	Optimistic Prediction of Synchronization-Reversal Data Races. ICSE Zheng Shi, Umang Mathur, Andreas Pavlogiannis
2024	J	`jnl`	Optimistic Prediction of Synchronization-Reversal Data Races. CoRR Zheng Shi, Umang Mathur, Andreas Pavlogiannis
2024	J	`jnl`	Predictive Monitoring against Pattern Regular Languages. Proc. ACM Program. Lang. Zhendong Ang, Umang Mathur
2024	—	`conf`	Predictive Monitoring with Strong Trace Prefixes. CAV (2) Zhendong Ang, Umang Mathur
2024	J	`jnl`	Predictive Monitoring with Strong Trace Prefixes. CoRR Zhendong Ang, Umang Mathur
2024	B	`conf`	Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic. CPP Qiyuan Zhao, George Pîrlea, Zhendong Ang, Umang Mathur, Ilya Sergey
2024	J	`jnl`	The Decision Problem for Regular First-Order Theories. CoRR Umang Mathur, David Mestel, Mahesh Viswanathan
2023	J	`jnl`	A faster FPRAS for #NFA. CoRR Kuldeep S. Meel, Sourav Chakraborty, Umang Mathur
2023	J	`jnl`	Dynamic Race Detection with O(1) Samples. Proc. ACM Program. Lang. Mosaad Al Thokair, Minjian Zhang, Umang Mathur, Mahesh Viswanathan
2023	J	`jnl`	How Hard is Weak-Memory Testing? CoRR Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
2023	J	`jnl`	Optimal Reads-From Consistency Checking for C11-Style Memory Models. CoRR Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç
2023	J	`jnl`	Optimal Reads-From Consistency Checking for C11-Style Memory Models. Proc. ACM Program. Lang. Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
2023	J	`jnl`	Predictive Monitoring against Pattern Regular Languages. CoRR Zhendong Ang, Umang Mathur
2023	J	`jnl`	Sound Dynamic Deadlock Prediction in Linear Time. CoRR Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
2023	J	`jnl`	Sound Dynamic Deadlock Prediction in Linear Time. Proc. ACM Program. Lang. Hünkar Can Tunç, Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
2022	J	`jnl`	A Tree Clock Data Structure for Causal Orderings in Concurrent Executions. CoRR Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
2022	A*	`conf`	A tree clock data structure for causal orderings in concurrent executions. ASPLOS Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
2022	J	`jnl`	Coarser Equivalences for Concurrent Program Runs. CoRR Azadeh Farzan, Umang Mathur
2022	J	`jnl`	Controller Synthesis for Linear System With Reach-Avoid Specifications. IEEE Trans. Autom. Control. Chuchu Fan, Zengyi Qin, Umang Mathur, Qiang Ning, Sayan Mitra, Mahesh Viswanathan
2022	—	`conf`	Dynamic data race prediction: fundamentals, theory, and practice (tutorial). ESEC/SIGSOFT FSE Umang Mathur, Andreas Pavlogiannis
2021	—	`conf`	Checking LTL[F, G, X] on compressed traces in polynomial time. ESEC/SIGSOFT FSE Minjian Zhang, Umang Mathur, Mahesh Viswanathan
2021	B	`conf`	Dynamic Data-Race Detection Through the Fine-Grained Lens. CONCUR Rucha Kulkarni, Umang Mathur, Andreas Pavlogiannis
2021	J	`jnl`	Dynamic Data-Race Detection through the Fine-Grained Lens. CoRR Rucha Kulkarni, Umang Mathur, Andreas Pavlogiannis
2021	J	`jnl`	Optimal prediction of synchronization-preserving races. Proc. ACM Program. Lang. Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
2021	—	`conf`	Scalable Statistical Root Cause Analysis on App Telemetry. ICSE (SEIP) Vijayaraghavan Murali, Edward Yao, Umang Mathur, Satish Chandra
2020	A*	`conf`	Atomicity Checking in Linear Time using Vector Clocks. ASPLOS Umang Mathur, Mahesh Viswanathan
2020	J	`jnl`	Atomicity Checking in Linear Time using Vector Clocks. CoRR Umang Mathur, Mahesh Viswanathan
2020	—	`conf`	Decidable Synthesis of Programs with Uninterpreted Functions. CAV (2) Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan
2020	J	`jnl`	Deciding memory safety for single-pass heap-manipulating programs. Proc. ACM Program. Lang. Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan
2020	J	`jnl`	Exact quantitative probabilistic model checking through rational search. Formal Methods Syst. Des. Umang Mathur, Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2020	J	`jnl`	Optimal Prediction of Synchronization-Preserving Races. CoRR Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
2020	J	`jnl`	Scalable Statistical Root Cause Analysis on App Telemetry. CoRR Vijayaraghavan Murali, Edward Yao, Umang Mathur, Satish Chandra
2020	A*	`conf`	The Complexity of Dynamic Data Race Prediction. LICS Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
2020	J	`jnl`	The Complexity of Dynamic Data Race Prediction. CoRR Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
2020	—	`conf`	What's Decidable About Program Verification Modulo Axioms? TACAS (2) Umang Mathur, P. Madhusudan, Mahesh Viswanathan
2019	J	`jnl`	Decidable Synthesis of Programs with Uninterpreted Functions. CoRR Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan
2019	J	`jnl`	Decidable verification of uninterpreted programs. Proc. ACM Program. Lang. Umang Mathur, P. Madhusudan, Mahesh Viswanathan
2019	J	`jnl`	Deciding Memory Safety for Forest Datastructures. CoRR Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan
2019	J	`jnl`	What's Decidable About Program Verification Modulo Axioms? CoRR Umang Mathur, P. Madhusudan, Mahesh Viswanathan
2018	B	`conf`	A Decidable Fragment of Second Order Logic With Applications to Synthesis. CSL P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan
2018	—	`conf`	Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. CAV (1) Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan
2018	J	`jnl`	Data Race Detection on Compressed Traces. CoRR Dileep Kini, Umang Mathur, Mahesh Viswanathan
2018	—	`conf`	Data race detection on compressed traces. ESEC/SIGSOFT FSE Dileep Kini, Umang Mathur, Mahesh Viswanathan
2018	J	`jnl`	Decidable Verification of Uninterpreted Programs. CoRR Umang Mathur, P. Madhusudan, Mahesh Viswanathan
2018	J	`jnl`	What Happens - After the First Race? Enhancing the Predictive Power of Happens - Before Based Dynamic Race Detection. CoRR Umang Mathur, Dileep Kini, Mahesh Viswanathan
2018	J	`jnl`	What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection. Proc. ACM Program. Lang. Umang Mathur, Dileep Kini, Mahesh Viswanathan
2017	J	`jnl`	A Decidable Fragment of Second Order Logic With Applications to Synthesis. CoRR P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan
2017	J	`jnl`	Dynamic Race Prediction in Linear Time. CoRR Dileep Kini, Umang Mathur, Mahesh Viswanathan
2017	A*	`conf`	Dynamic race prediction in linear time. PLDI Dileep Kini, Umang Mathur, Mahesh Viswanathan
2017	B	`conf`	Exact quantitative probabilistic model checking through rational search. FMCAD Matthew S. Bauer, Umang Mathur, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2017	—	`conf`	Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis. CAV (2) Adrià Gascón, Ashish Tiwari, Brent Carmer, Umang Mathur
2014	—	`conf`	Computing Information Flow Using Symbolic Model-Checking. FSTTCS Rohit Chadha, Umang Mathur, Stefan Schwoon
2014	—	`conf`	Weak Singular Hybrid Automata. FORMATS Shankara Narayanan Krishna, Umang Mathur, Ashutosh Trivedi
2013	J	`jnl`	Weak Singular Hybrid Automata. CoRR Shankara Narayanan Krishna, Umang Mathur, Ashutosh Trivedi