Umang Mathur

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Dynamic Data-Race Detection Through the Fine-Grained Lens (available as arXiv preprint)	2023-08-21	Paper
Controller synthesis made real: reach-avoid specifications and linear dynamics Computer Aided Verification	2023-05-26	Paper
Look for the proof to find the program: decorated-component-based program synthesis	2022-08-12	Paper
Controller Synthesis for Linear System With Reach-Avoid Specifications IEEE Transactions on Automatic Control	2022-07-28	Paper
A decidable fragment of second order logic with applications to synthesis (available as arXiv preprint)	2022-05-28	Paper
What's decidable about program verification modulo axioms? Tools and Algorithms for the Construction and Analysis of Systems	2021-11-10	Paper
Decidable synthesis of programs with uninterpreted functions (available as arXiv preprint)	2021-02-09	Paper
The Complexity of Dynamic Data Race Prediction Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-21	Paper
Computing Information Flow Using Symbolic Model-Checking	2017-04-25	Paper
Weak singular hybrid automata Lecture Notes in Computer Science	2015-08-06	Paper

Research outcomes over time

This page was built for person: Umang Mathur