publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2024

  1. PLDI
    Static Analysis for Checking the Disambiguation Robustness of Regular Expressions
    Mamouras, Konstantinos, Le Glaunec, Alexis, Li, Wu Angela, and Chattopadhyay, Agnishom
    Proc. ACM Program. Lang. Jun 2024
  2. SAC
    Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
    Reimann, Jesse, Mansion, Nico, Haydon, James, Bray, Benjamin, Chattopadhyay, Agnishom, Sato, Sota, Waga, Masaki, André, Étienne, Hasuo, Ichiro, Ueda, Naoki, and Yokoyama, Yosuke
    In Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing Jun 2024
  3. POPL
    Efficient Matching of Regular Expressions with Lookaround Assertions
    Mamouras, Konstantinos, and Chattopadhyay, Agnishom
    Proc. ACM Program. Lang. Jan 2024

2022

  1. PLDI
    Software-Hardware Codesign for Efficient in-Memory Regular Pattern Matching
    Kong, Lingkun, Yu, Qixuan, Chattopadhyay, Agnishom, Le Glaunec, Alexis, Huang, Yi, Mamouras, Konstantinos, and Yang, Kaiyuan
    In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation Jan 2022

2021

  1. RV
    A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals
    Mamouras, Konstantinos, Chattopadhyay, Agnishom, and Wang, Zhifu
    In Runtime Verification Jan 2021
  2. TACAS
    Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring
    Mamouras, Konstantinos, Chattopadhyay, Agnishom, and Wang, Zhifu
    In TACAS 2021 Jan 2021
  3. LMCS
    Pumping lemmas for weighted automata
    Chattopadhyay, Agnishom, Mazowiecki, Filip, Muscholl, Anca, and Riveros, Cristian
    Logical Methods in Computer Science Jul 2021

2020

  1. RV
    A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics
    Chattopadhyay, Agnishom, and Mamouras, Konstantinos
    In RV 2020 Jul 2020
    Code

2019

  1. FSTTCS
    Query Preserving Watermarking Schemes for Locally Treelike Databases
    Chattopadhyay, Agnishom, and Praveen, M.
    In 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019) Jul 2019