publications

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

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 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 2021
    Code
  2. TACAS
    Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring
    Mamouras, Konstantinos, Chattopadhyay, Agnishom, and Wang, Zhifu
    In TACAS 2021 2021

2020

  1. RV
    A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics
    Chattopadhyay, Agnishom, and Mamouras, Konstantinos
    In RV 2020 2020
  2. Pumping lemmas for weighted automata
    Chattopadhyay, Agnishom, Mazowiecki, Filip, Muscholl, Anca, and Riveros, Cristian
    CoRR 2020

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) 2019