Umang Mathur

Image not available 

Umang Mathur

Dept of Computer Science
University of Illinois at Urbana Champaign
Office: 3301 Siebel Center,
201 N Goodwin Ave, Urbana, IL 61801

email: umathur3@illinois.edu
CV | DBLP | Google Scholar | GitHub | LinkedIn

Brief Biography

I am a fourth year Ph.D. student in the CS Dept. of UIUC.
I am very fortunate for being advised by Prof. Mahesh Viswanathan .

Prior to joining UIUC, I worked for a year at WorldQuant Research (India) at Mumbai.
I graduated from IIT Bombay with a B.Tech in Computer Science and Engineering in 2014.

Research Interests

I am broadly interested in Formal Methods, Logic and Programming Languages and their applications in Modeling, Verification and Synthesis of Software and Hybrid Systems.
My research currently focuses on developing dynamic analysis techniques to detect bugs in concurrent programs.

Publications

  • Data Race Detection on Compressed Traces
    Dileep Kini, Umang Mathur, Mahesh Viswanathan
    Proceedings of the the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ESEC/FSE 2018, to appear. Distinguished Paper Award

  • Dynamic Race Prediction in Linear Time
    Dileep Kini, Umang Mathur, Mahesh Viswanathan
    Proceedings of 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017

  • Weak Singular Hybrid Automata
    Ashutosh Trivedi, Umang Mathur, Krishna S.
    Proceedings of 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014