Agnishom Chattopadhyay

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 14

Top Topics

Pattern Matching

Finite Automata

Metric Temporal Logic

Top Venues

Proc. ACM Program. Lang.

Publications

Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. SAC (2024)
Konstantinos Mamouras, Agnishom Chattopadhyay
Efficient Matching of Regular Expressions with Lookaround Assertions. Proc. ACM Program. Lang. 8 (POPL) (2024)
Konstantinos Mamouras, Alexis Le Glaunec, Wu Angela Li, Agnishom Chattopadhyay
Static Analysis for Checking the Disambiguation Robustness of Regular Expressions. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. CoRR (2024)
Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang
A compositional framework for algebraic quantitative online monitoring over continuous-time signals. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, Kaiyuan Yang
Software-hardware codesign for efficient in-memory regular pattern matching. PLDI (2022)
Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, Kaiyuan Yang
Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching. CoRR (2022)
Agnishom Chattopadhyay, Filip Mazowiecki, Anca Muscholl, Cristian Riveros
Pumping lemmas for weighted automata. Log. Methods Comput. Sci. 17 (3) (2021)
Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang
Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring. TACAS (1) (2021)
Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang
A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals. RV (2021)
Agnishom Chattopadhyay, Konstantinos Mamouras
A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics. RV (2020)
Agnishom Chattopadhyay, Filip Mazowiecki, Anca Muscholl, Cristian Riveros
Pumping lemmas for weighted automata. CoRR (2020)
Agnishom Chattopadhyay, M. Praveen
Query Preserving Watermarking Schemes for Locally Treelike Databases. FSTTCS (2019)
Agnishom Chattopadhyay, M. Praveen
Query Preserving Watermarking Schemes for Locally Treelike Databases. CoRR (2019)