Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Exact matches
- Umang Mathur 0001
National University of Singapore - Umang Mathur 0002
San Francisco State University, San Francisco, CA, USA
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 59 matches
- 2024
- Kuldeep S. Meel, Sourav Chakraborty, Umang Mathur:
A faster FPRAS for #NFA. Proc. ACM Manag. Data 2(2): 112 (2024) - Zhendong Ang, Umang Mathur:
Predictive Monitoring against Pattern Regular Languages. Proc. ACM Program. Lang. 8(POPL): 2191-2225 (2024) - Soham Chakraborty, Shankara Narayanan Krishna, Umang Mathur, Andreas Pavlogiannis:
How Hard Is Weak-Memory Testing? Proc. ACM Program. Lang. 8(POPL): 1978-2009 (2024) - Azadeh Farzan, Umang Mathur:
Coarser Equivalences for Causal Concurrency. Proc. ACM Program. Lang. 8(POPL): 911-941 (2024) - Dylan Wolff, Zheng Shi, Gregory J. Duck, Umang Mathur, Abhik Roychoudhury:
Greybox Fuzzing for Concurrency Testing. ASPLOS (2) 2024: 482-498 - Qiyuan Zhao, George Pîrlea, Zhendong Ang, Umang Mathur, Ilya Sergey:
Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic. CPP 2024: 45-59 - Zheng Shi, Umang Mathur, Andreas Pavlogiannis:
Optimistic Prediction of Synchronization-Reversal Data Races. ICSE 2024: 134:1-134:13 - Zheng Shi, Umang Mathur, Andreas Pavlogiannis:
Optimistic Prediction of Synchronization-Reversal Data Races. CoRR abs/2401.05642 (2024) - Zhendong Ang, Umang Mathur:
Predictive Monitoring with Strong Trace Prefixes. CoRR abs/2405.10499 (2024) - 2023
- Mosaad Al Thokair, Minjian Zhang, Umang Mathur, Mahesh Viswanathan:
Dynamic Race Detection with O(1) Samples. Proc. ACM Program. Lang. 7(POPL): 1308-1337 (2023) - Hünkar Can Tunç, Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan:
Sound Dynamic Deadlock Prediction in Linear Time. Proc. ACM Program. Lang. 7(PLDI): 1733-1758 (2023) - Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis:
Optimal Reads-From Consistency Checking for C11-Style Memory Models. Proc. ACM Program. Lang. 7(PLDI): 761-785 (2023) - Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan:
Sound Dynamic Deadlock Prediction in Linear Time. CoRR abs/2304.03692 (2023) - Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç:
Optimal Reads-From Consistency Checking for C11-Style Memory Models. CoRR abs/2304.03714 (2023) - Zhendong Ang, Umang Mathur:
Predictive Monitoring against Pattern Regular Languages. CoRR abs/2310.14611 (2023) - Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis:
How Hard is Weak-Memory Testing? CoRR abs/2311.04302 (2023) - Kuldeep S. Meel, Sourav Chakraborty, Umang Mathur:
A faster FPRAS for #NFA. CoRR abs/2312.13320 (2023) - 2022
- Chuchu Fan, Zengyi Qin, Umang Mathur, Qiang Ning, Sayan Mitra, Mahesh Viswanathan:
Controller Synthesis for Linear System With Reach-Avoid Specifications. IEEE Trans. Autom. Control. 67(4): 1713-1727 (2022) - Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan:
A tree clock data structure for causal orderings in concurrent executions. ASPLOS 2022: 710-725 - Umang Mathur, Andreas Pavlogiannis:
Dynamic data race prediction: fundamentals, theory, and practice (tutorial). ESEC/SIGSOFT FSE 2022: 1820 - Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan:
A Tree Clock Data Structure for Causal Orderings in Concurrent Executions. CoRR abs/2201.06325 (2022) - Azadeh Farzan, Umang Mathur:
Coarser Equivalences for Concurrent Program Runs. CoRR abs/2208.12117 (2022) - 2021
- Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan:
Optimal prediction of synchronization-preserving races. Proc. ACM Program. Lang. 5(POPL): 1-29 (2021) - Rucha Kulkarni, Umang Mathur, Andreas Pavlogiannis:
Dynamic Data-Race Detection Through the Fine-Grained Lens. CONCUR 2021: 16:1-16:23 - Vijayaraghavan Murali, Edward Yao, Umang Mathur, Satish Chandra:
Scalable Statistical Root Cause Analysis on App Telemetry. ICSE (SEIP) 2021: 288-297 - Minjian Zhang, Umang Mathur, Mahesh Viswanathan:
Checking LTL[F, G, X] on compressed traces in polynomial time. ESEC/SIGSOFT FSE 2021: 131-143 - Rucha Kulkarni, Umang Mathur, Andreas Pavlogiannis:
Dynamic Data-Race Detection through the Fine-Grained Lens. CoRR abs/2107.03569 (2021) - 2020
- Umang Mathur, Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Exact quantitative probabilistic model checking through rational search. Formal Methods Syst. Des. 56(1): 90-126 (2020) - Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan:
Deciding memory safety for single-pass heap-manipulating programs. Proc. ACM Program. Lang. 4(POPL): 35:1-35:29 (2020) - Beste F. Yuksel, Pooyan Fazli, Umang Mathur, Vaishali Bisht, Soo Jung Kim, Joshua Junhee Lee, Seung Jung Jin, Yue-Ting Siu, Joshua A. Miele, Ilmi Yoon:
Human-in-the-Loop Machine Learning to Increase Video Accessibility for Visually Impaired and Blind Users. Conference on Designing Interactive Systems 2020: 47-60
skipping 29 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-07-10 20:50 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint