Search Results - Mathur, Umang

  • Showing 1 - 19 results of 19
Refine Results
  1. 1
    Cover Image

    Predictive Monitoring against Pattern Regular Languages Autoría: Ang, Zhendong, Mathur, Umang

    Published 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  2. 2
    Cover Image

    Predictive Monitoring with Strong Trace Prefixes Autoría: Ang, Zhendong, Mathur, Umang

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  3. 3
    Cover Image

    Parametrizing Reads-From Equivalence for Predictive Monitoring Autoría: Farzan, Azadeh, Mathur, Umang

    Published 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  4. 4
    Cover Image

    Efficient Decrease-and-Conquer Linearizability Monitoring Autoría: Han, Lee Zheng, Mathur, Umang

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  5. 5
    Cover Image

    Fixed Parameter Tractable Linearizability Monitoring Autoría: Han, Lee Zheng, Mathur, Umang

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  6. 6
    Cover Image

    A faster FPRAS for #NFA Autoría: Meel, Kuldeep S., Chakraborty, Sourav, Mathur, Umang

    Published 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  7. 7
    Cover Image

    Optimistic Prediction of Synchronization-Reversal Data Races Autoría: Shi, Zheng, Mathur, Umang, Pavlogiannis, Andreas

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  8. 8
    Cover Image

    The Decision Problem for Regular First-Order Theories Autoría: Mathur, Umang, Mestel, David, Viswanathan, Mahesh

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  9. 9
    Cover Image

    Enhanced Data Race Prediction Through Modular Reasoning Autoría: Ang, Zhendong, Farzan, Azadeh, Mathur, Umang

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  10. 10
    Cover Image

    Counting and Sampling Traces in Regular Languages Autoría: de Colnet, Alexis, Meel, Kuldeep S., Mathur, Umang

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  11. 11
    Cover Image

    The Complexity of Testing Message-Passing Concurrency Autoría: Shi, Zheng, Møldrup, Lasse, Mathur, Umang, Pavlogiannis, Andreas

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  12. 12
    Cover Image

    A Tree Clock Data Structure for Causal Orderings in Concurrent Executions Autoría: Mathur, Umang, Pavlogiannis, Andreas, Tunç, Hünkar Can, Viswanathan, Mahesh

    Published 2022
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  13. 13
    Cover Image

    Dynamic Race Detection With O(1) Samples Autoría: Thokair, Mosaad Al, Zhang, Minjian, Mathur, Umang, Viswanathan, Mahesh

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  14. 14
    Cover Image

    Program Skeletons for Automated Program Translation Autoría: Wang, Bo, Li, Tianyu, Li, Ruishi, Mathur, Umang, Saxena, Prateek

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  15. 15
    Cover Image

    Compiling Away the Overhead of Race Detection Autoría: Paznikov, Alexey, Kogutenko, Andrey, Osipov, Yaroslav, Schwarz, Michael, Mathur, Umang

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  16. 16
    Cover Image

    Adversarial Agent Collaboration for Correctness Improvements of C to Safe Rust Translation Autoría: Li, Tianyu, Li, Ruishi, Wang, Bo, Paulsen, Brandon, Mathur, Umang, Saxena, Prateek

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  17. 17
    Cover Image

    Anvil: A General-Purpose Timing-Safe Hardware Description Language Autoría: Yu, Jason Zhijingcheng, Jha, Aditya Ranjan, Mathur, Umang, Carlson, Trevor E., Saxena, Prateek

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  18. 18
    Cover Image

    Efficient Timestamping for Sampling-based Race Detection Autoría: Zhang, Minjian, Lim, Daniel Wee Soong, Thokair, Mosaad Al, Mathur, Umang, Viswanathan, Mahesh

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  19. 19
    Cover Image

    State Space Estimation for DPOR-based Model Checkers(Extended Version) Autoría: Balasubramanian, A. R., Jorshari, Mohammad Hossein Khoshechin, Majumdar, Rupak, Mathur, Umang, Zhang, Minjian

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:

Search Tools: