Resultados de búsqueda - Mathur, Umang

  • Mostrando 1 - 19 Resultados de 19
Limitar resultados
  1. 1
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  2. 2
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  3. 3
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  4. 4
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  5. 5
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  6. 6
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  7. 7
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  8. 8
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  9. 9
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  10. 10
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  11. 11
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  12. 12
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  13. 13
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  14. 14
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  15. 15
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  16. 16
    Imagen de Portada

    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

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

    Agregar a favoritos
    Guardado en:
  17. 17
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  18. 18
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  19. 19
    Imagen de Portada

    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

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

    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: