Agnishom Chattopadhyay

DH 3002

Rice University

Houston, TX 77005

I am currently a PhD student in the Rice University, working with Konstantinos Mamouras. I graduated from Chennai Mathematical Institute with a B.Sc. in Computer Science and Mathematics in 2019.

My research interests are broadly along the lines of formal methods, programming languages and automata theory. As part of my PhD research, I am working on monitoring algorithms for quantitative interpretations of temporal logic, and also on algorithms related to regular expressions with practical extensions such as counting and lookaround assertions.

You can find my CV here.

selected publications

  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
  2. RV
    A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics
    Chattopadhyay, Agnishom, and Mamouras, Konstantinos
    In RV 2020 2020
  3. Pumping lemmas for weighted automata
    Chattopadhyay, Agnishom, Mazowiecki, Filip, Muscholl, Anca, and Riveros, Cristian
    CoRR 2020