https://www.comp.nus.edu.sg/~umathur/ Recent content on Umang Mathur Hugo -- 0.148.2 en-us Sat, 04 Apr 2026 00:00:00 +0000 https://www.comp.nus.edu.sg/~umathur/research-directions/concurrency/ Mon, 01 Jan 0001 00:00:00 +0000 https://www.comp.nus.edu.sg/~umathur/research-directions/concurrency/ <p>This project area includes our work on concurrency testing and verification. This includes our work on runtime predictive analysis such as prediction of data races, deadlocks, atomicity violations and other classes of properties, as well as linearizability monitoring, model checking, and related verification questions for concurrent systems.</p> https://www.comp.nus.edu.sg/~umathur/research-directions/hardware/ Mon, 01 Jan 0001 00:00:00 +0000 https://www.comp.nus.edu.sg/~umathur/research-directions/hardware/ <p>This project area includes my work on hardware description languages, timing-safe hardware, secure hardware design, and related verification and synthesis questions. See <a href="https://anvil.kisp-lab.org/">Anvil playground</a>.</p> https://www.comp.nus.edu.sg/~umathur/research-directions/translation/ Mon, 01 Jan 0001 00:00:00 +0000 https://www.comp.nus.edu.sg/~umathur/research-directions/translation/ <p>This project area includes our work on automated translation of software across programming languages. Also see <a href="https://kisp.comp.nus.edu.sg/projects/apt/">related page on KISP lab&rsquo;s website</a>.</p> https://www.comp.nus.edu.sg/~umathur/research-directions/theory/ Mon, 01 Jan 0001 00:00:00 +0000 https://www.comp.nus.edu.sg/~umathur/research-directions/theory/ <p>This project area includes our work on decidability, complexity, automata, regular theories, synthesis, and foundational questions in logic and verification.</p> https://www.comp.nus.edu.sg/~umathur/publications/2026-pldi-lee-fpt-linearizability-monitoring/ Sat, 04 Apr 2026 00:00:00 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2026-pldi-lee-fpt-linearizability-monitoring/ https://www.comp.nus.edu.sg/~umathur/publications/2026-pldi-balasubramanian-dpor-estimation/ Sat, 04 Apr 2026 00:00:00 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2026-pldi-balasubramanian-dpor-estimation/ https://www.comp.nus.edu.sg/~umathur/publications/2026-asplos-yu-anvil-hdl/ Sun, 22 Mar 2026 00:00:00 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2026-asplos-yu-anvil-hdl/ https://www.comp.nus.edu.sg/~umathur/publications/2026-popl-decolnet-counting-sampling-traces/ Thu, 08 Jan 2026 00:00:00 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2026-popl-decolnet-counting-sampling-traces/ https://www.comp.nus.edu.sg/~umathur/publications/2026-popl-shi-message-passing-consistency/ Thu, 08 Jan 2026 00:00:00 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2026-popl-shi-message-passing-consistency/ https://www.comp.nus.edu.sg/~umathur/publications/2025-oopsla-lee-decrease-and-conquer-linearizability-monitoring/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2025-oopsla-lee-decrease-and-conquer-linearizability-monitoring/ https://www.comp.nus.edu.sg/~umathur/publications/2025-pldi-zhang-sampling-timestamping/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2025-pldi-zhang-sampling-timestamping/ https://www.comp.nus.edu.sg/~umathur/publications/2025-pldi-wang-skel-program-translation/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2025-pldi-wang-skel-program-translation/ https://www.comp.nus.edu.sg/~umathur/publications/2025-asplos-zhao-surw-concurrency-testing/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2025-asplos-zhao-surw-concurrency-testing/ https://www.comp.nus.edu.sg/~umathur/publications/2025-popl-mathur-regular-theories/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2025-popl-mathur-regular-theories/ https://www.comp.nus.edu.sg/~umathur/publications/2024-cav-ang-strong-trace-prefixes/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2024-cav-ang-strong-trace-prefixes/ https://www.comp.nus.edu.sg/~umathur/publications/2024-popl-ang-pattern-languages/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2024-popl-ang-pattern-languages/ <p>Note: The ArXiv version of the paper corrects an error in the published version.</p> https://www.comp.nus.edu.sg/~umathur/publications/2024-popl-farzan-grain-equivalence/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2024-popl-farzan-grain-equivalence/ https://www.comp.nus.edu.sg/~umathur/publications/2024-popl-chakraborty-hardness-weak-memory/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2024-popl-chakraborty-hardness-weak-memory/ https://www.comp.nus.edu.sg/~umathur/publications/2024-pods-meel-fpras-sharpe-nfa/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2024-pods-meel-fpras-sharpe-nfa/ https://www.comp.nus.edu.sg/~umathur/publications/2024-asplos-wolff-rff-greybox-concurrency-fuzzing/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2024-asplos-wolff-rff-greybox-concurrency-fuzzing/ https://www.comp.nus.edu.sg/~umathur/publications/2024-icse-shi-osr-race-prediction/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2024-icse-shi-osr-race-prediction/ https://www.comp.nus.edu.sg/~umathur/publications/2024-cpp-zhao-arboreta/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2024-cpp-zhao-arboreta/ https://www.comp.nus.edu.sg/~umathur/publications/2023-popl-thokair-rpt-sampling-race-detection/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2023-popl-thokair-rpt-sampling-race-detection/ https://www.comp.nus.edu.sg/~umathur/publications/2023-pldi-tunc-ra-reads-from/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2023-pldi-tunc-ra-reads-from/ https://www.comp.nus.edu.sg/~umathur/publications/2023-pldi-tunc-syncp-deadlock-prediction/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2023-pldi-tunc-syncp-deadlock-prediction/ https://www.comp.nus.edu.sg/~umathur/publications/2022-asplos-mathur-tree-clocks/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2022-asplos-mathur-tree-clocks/ https://www.comp.nus.edu.sg/~umathur/publications/2022-tac-fan-controller-synthesis/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2022-tac-fan-controller-synthesis/ https://www.comp.nus.edu.sg/~umathur/publications/2021-concur-kulkarni-fine-grained-complexity-race-detection/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2021-concur-kulkarni-fine-grained-complexity-race-detection/ https://www.comp.nus.edu.sg/~umathur/publications/2021-fse-zhang-compressed-ltl/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2021-fse-zhang-compressed-ltl/ https://www.comp.nus.edu.sg/~umathur/publications/2021-popl-mathur-syncp-race-prediction/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2021-popl-mathur-syncp-race-prediction/ https://www.comp.nus.edu.sg/~umathur/publications/2021-icse-murali-root-cause-analysis/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2021-icse-murali-root-cause-analysis/ https://www.comp.nus.edu.sg/~umathur/publications/2020-cav-krogmeier-synthesis-of-coherent-programs/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2020-cav-krogmeier-synthesis-of-coherent-programs/ https://www.comp.nus.edu.sg/~umathur/publications/2020-asplos-mathur-aerodrome-atomicity-checking/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2020-asplos-mathur-aerodrome-atomicity-checking/ https://www.comp.nus.edu.sg/~umathur/publications/2020-popl-mathur-decidable-memory-safety/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2020-popl-mathur-decidable-memory-safety/ https://www.comp.nus.edu.sg/~umathur/publications/2020-fmsd-mathur-rationalsearch/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2020-fmsd-mathur-rationalsearch/ https://www.comp.nus.edu.sg/~umathur/publications/2020-lics-mathur-complexity-race-prediction/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2020-lics-mathur-complexity-race-prediction/ https://www.comp.nus.edu.sg/~umathur/publications/2020-tacas-mathur-decidable-verification-modulo-axioms/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2020-tacas-mathur-decidable-verification-modulo-axioms/ https://www.comp.nus.edu.sg/~umathur/publications/2019-popl-mathur-verification-of-coherent-programs/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2019-popl-mathur-verification-of-coherent-programs/ https://www.comp.nus.edu.sg/~umathur/publications/2018-fse-kini-compressed-race-detection/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2018-fse-kini-compressed-race-detection/ https://www.comp.nus.edu.sg/~umathur/publications/2018-cav-fan-controller-synthesis/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2018-cav-fan-controller-synthesis/ https://www.comp.nus.edu.sg/~umathur/publications/2018-csl-madhusudan-eqsmt/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2018-csl-madhusudan-eqsmt/ https://www.comp.nus.edu.sg/~umathur/publications/2018-oopsla-mathur-shb-race-detection/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2018-oopsla-mathur-shb-race-detection/ https://www.comp.nus.edu.sg/~umathur/publications/2017-fmcad-bauer-rationalsearch/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2017-fmcad-bauer-rationalsearch/ https://www.comp.nus.edu.sg/~umathur/publications/2017-cav-gascon-proof-search/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2017-cav-gascon-proof-search/ https://www.comp.nus.edu.sg/~umathur/publications/2017-pldi-kini-wcp-race-prediction/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2017-pldi-kini-wcp-race-prediction/ https://www.comp.nus.edu.sg/~umathur/publications/2014-fsttcs-chadha-information-flow/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2014-fsttcs-chadha-information-flow/ https://www.comp.nus.edu.sg/~umathur/publications/2014-formats-krishna-weak-singular-hybrid-automata/ Sat, 23 Aug 2025 16:46:18 +0000 https://www.comp.nus.edu.sg/~umathur/publications/2014-formats-krishna-weak-singular-hybrid-automata/ https://www.comp.nus.edu.sg/~umathur/team/ Mon, 01 Jan 0001 00:00:00 +0000 https://www.comp.nus.edu.sg/~umathur/team/ <h2 id="research-fellows">Research Fellows</h2> <ul> <li><a href="https://apaznikov.github.io/">Alexey Paznikov</a></li> <li><a href="https://michael-schwarz.github.io/">Michael Schwarz</a></li> </ul> <h2 id="phd-students">PhD Students</h2> <ul> <li><a href="https://ang9876.github.io/">Zhendong Ang</a></li> <li><a href="https://www.comp.nus.edu.sg/~zs357/">Zheng Shi</a></li> <li><a href="https://tianyuli12.github.io/">Tianyu Li</a>, co-advised with <a href="https://www.comp.nus.edu.sg/~prateeks/">Prateek Saxena</a></li> <li><a href="https://zhaohuanqdcn.github.io/">Huan Zhao</a>, co-advised with <a href="https://abhikrc.com/">Abhik Roychoudhury</a></li> <li><a href="https://jsyczzh.github.io/">Zihan Zhou</a></li> <li><a href="https://arj4web.github.io/">Aditya Ranjan Jha</a>, co-advised with <a href="https://www.comp.nus.edu.sg/~prateeks/">Prateek Saxena</a></li> </ul> <h2 id="research-assistants">Research Assistants</h2> <ul> <li><a href="https://www.richwill.dev/">Richard Willie</a></li> </ul> <h2 id="masters-students">Masters Students</h2> <ul> <li>Hien Huynh</li> </ul> <h2 id="undergraduate-students">Undergraduate Students</h2> <ul> <li>Guk Yi Siong (BComp, 2026)</li> <li>Wern Lim (BComp, 2026)</li> <li>Hua Jun Teow (BComp, 2026)</li> <li>Jeffrey Lee (BComp, 2026)</li> <li>Dick Ong (BComp, 2026)</li> <li>Ivan Tan (BComp, 2026)</li> <li>Hong Jung Woo (BComp, 2026)</li> </ul> <h2 id="alumni">Alumni</h2> <ul> <li>Hongyi Huang (BComp, 2025)</li> <li>Zengyan Hao (MComp, 2025)</li> <li><a href="https://gracetan.neocities.org/">Grace Tan</a> †</li> <li>Bryan Lim (BComp, 2025)</li> <li>Arsyad Kamili (BComp, 2025)</li> <li>Jed Koh Jin Keat (BComp, 2025)</li> <li>Ramanathan Kumarappan (BComp, 2025)</li> <li>David Zhu (BComp, 2025)</li> <li><a href="https://daniao.ws/">Daniel Lim</a> (Research Assistant, 2024-25)</li> <li>Dasco Gabriel (BComp, 2024)</li> <li>Zheng Han Lee (BComp, 2024)</li> <li>Richard Willie (BComp, 2024)</li> <li><a href="https://www.linkedin.com/in/ho-wei-haw-635389168/">Ho Wei Haw</a> (BComp, 2023)</li> <li><a href="https://www.comp.nus.edu.sg/~zs357/">Zheng Shi</a> (MComp, 2023)</li> <li><a href="https://www.linkedin.com/in/illio-suardi-537b56210/">Illio Suardi</a> (BComp, 2023)</li> </ul> <h2 id="interns">Interns</h2> <ul> <li>Thomas Cheeramvelil, IIT Bombay (2024)</li> <li>Anish Kulkarni, IIT Bombay (2024)</li> <li>Pratik Sahoo, IIT Bombay (2024)</li> <li>Arhaan Ahmad, IIT Bombay (2023)</li> <li>Arnav Singh, IIT Bombay (2023)</li> <li>Aryan Soltani, University of Tehran (2023)</li> <li>Abhinav Barnawal, IIT Delhi (2022)</li> </ul> <p><em>† Grace Tan passed away in 2025. Remembered for her passion for education and enthusiasm for research.</em></p> https://www.comp.nus.edu.sg/~umathur/service/ Mon, 01 Jan 0001 00:00:00 +0000 https://www.comp.nus.edu.sg/~umathur/service/ <h2 id="program-committees">Program Committees</h2> <ul> <li><a href="https://www.setta2026.sg/">SETTA 2026</a></li> <li><a href="https://popl26.sigplan.org/track/POPL-2026-student-research-competition">POPL 2026 (SRC)</a></li> <li><a href="https://conf.researchr.org/track/splash-issta-2026/splash-issta-2026-doctoral-symposium">SPLASH/ISSTA Doctoral symposium</a></li> <li><a href="https://pldi25.sigplan.org/">PLDI 2025</a></li> <li><a href="https://2025.splashcon.org/track/OOPSLA">OOPSLA 2025</a></li> <li><a href="https://conf.researchr.org/home/atva-2025">ATVA 2025</a></li> <li><a href="https://rv25.conf.tuwien.ac.at/">RV 2025</a></li> <li><a href="https://www.setta2025.uk/">SETTA 2025</a></li> <li><a href="https://conf.researchr.org/home/aplas-2025">APLAS 2025</a></li> <li><a href="https://etaps.org/2025/conferences/tacas/">TACAS 2025</a></li> <li><a href="https://etaps.org/2025/conferences/esop/">ESOP 2025</a></li> <li><a href="https://www.soundandcomplete.org/vstte2024.html">VSTTE 2024</a></li> <li><a href="https://confest2024.github.io/CONCUR_call_for_papers.html">CONCUR 2024</a></li> <li><a href="http://i-cav.org/2024/call-for-papers/">CAV 2024</a></li> <li><a href="https://conf.researchr.org/home/icse-2024">ICSE 2024</a></li> <li><a href="https://conf.researchr.org/home/POPL-2023">POPL 2023</a></li> <li><a href="https://pldi23.sigplan.org/track/pldi-2023-src">PLDI 2023 (SRC)</a></li> <li><a href="https://2022.splashcon.org/home/aplas-2022">APLAS 2022</a></li> <li><a href="https://ppopp20.sigplan.org/track/PPoPP-2020-BriefAnnouncement">PPoPP 2020 (Brief Announcements)</a></li> <li><a href="https://2020.splashcon.org/track/splash-2020-oopsla">OOPSLA 2020 Artifact Evaluation</a></li> <li><a href="https://conf.researchr.org/home/pldi-2020">PLDI 2020 Artifact Evaluation</a></li> <li><a href="http://i-cav.org/2020/">CAV 2020 Artifact Evaluation</a></li> <li><a href="https://popl20.sigplan.org/">POPL 2020 Artifact Evaluation</a></li> <li><a href="https://hscc2017.ece.illinois.edu/">HSCC 2017 Artifact Evaluation</a></li> </ul> <h2 id="organizing-committees">Organizing Committees</h2> <ul> <li><a href="https://pldi25.sigplan.org/track/PLMW-PLDI-2024">PLMW@PLDI</a> Senior Chair 2025</li> <li><a href="https://pldi24.sigplan.org/track/PLMW-PLDI-2024">PLMW@PLDI</a> Junior Chair 2024</li> <li><a href="https://i-cav.org/2024/workshops/mentoring/">VMW@CAV</a> 2024</li> <li><a href="https://www.sigplan.org/LongTermMentoring/">SIGPLAN Long Term Mentorship Program</a> 2020–2022</li> </ul> https://www.comp.nus.edu.sg/~umathur/teaching/ Mon, 01 Jan 0001 00:00:00 +0000 https://www.comp.nus.edu.sg/~umathur/teaching/ <ul> <li> <p><strong>CS4269/CS5469 Foundations of Logic in Computer Science</strong><br> Semester II, 2021–22<br> Semester II, 2022–23<br> Semester II, 2023–24<br> Semester I, 2024–25<br> Semester II, 2025–26</p> </li> <li> <p><strong>CS4211 Formal Methods for Software Engineering</strong><br> Semester I, 2024–25</p> </li> <li> <p><strong>CS2040 Data Structures and Algorithms</strong><br> Semester I, 2023–24</p> </li> <li> <p><strong><a href="https://www.comp.nus.edu.sg/~umathur/teaching/CS6217/">CS6217 Topics in Programming Languages &amp; Software Engineering</a></strong><br> Semester I, 2022–23 (Theme: Automata and Decidability)<br> Semester I, 2024–25 (Theme: PL for ML and ML for PL)</p> </li> </ul>