BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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 DBLP: Mathur:Umang

Contributed to:

ESEC/FSE 20182018
CAV (2) 20172017
CAV (1) 20182018
CSL 20182018
OOPSLA 20182018
PLDI 20172017
POPL 20192019
POPL 20202020
ASPLOS 20202020

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.