Collaborated with:M.V.0001 D.Kini P.Madhusudan A.Gascón A.T.0001 B.Carmer C.Fan S.Mitra S.Saha Adithya Murali Paul Krogmeier
Talks about:program (4) race (4) synthesi (3) linear (3) dynam (3) decid (3) predict (2) happen (2) detect (2) time (2)
Person: Umang Mathur
DBLP: Mathur:Umang
Contributed to:
2018
20172018
2018
2018
2017
20192020
2020Wrote 9 papers:
- ESEC-FSE-2018-KiniM0 #concurrent #detection
- Data race detection on compressed traces (DK, UM, MV0), pp. 26–37.
- CAV-2017-GasconTCM #component #proving #synthesis
- Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis (AG, AT0, BC, UM), pp. 86–103.
- CAV-2018-FanMM0 #linear #specification #synthesis
- Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics (CF, UM, SM, MV0), pp. 347–366.
- CSL-2018-MadhusudanMS0 #decidability #higher-order #logic #synthesis
- A Decidable Fragment of Second Order Logic With Applications to Synthesis (PM, UM, SS, MV0), p. 19.
- OOPSLA-2018-MathurK0 #concurrent #detection #power of #predict #what
- What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection (UM, DK, MV0), p. 29.
- PLDI-2017-KiniM0 #linear #predict
- Dynamic race prediction in linear time (DK, UM, MV0), pp. 157–170.
- POPL-2019-MathurMV #decidability #source code #verification
- Decidable verification of uninterpreted programs (UM, PM, MV0), p. 29.
- POPL-2020-MathurMKMV #memory management #safety #source code
- Deciding memory safety for single-pass heap-manipulating programs (UM, AM, PK, PM, MV0), p. 29.
- ASPLOS-2020-Mathur0 #linear #using
- Atomicity Checking in Linear Time using Vector Clocks (UM, MV0), pp. 183–199.