Agnishom Chattopadhyay

According to our database, Agnishom Chattopadhyay authored at least 10 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Efficient Matching of Regular Expressions with Lookaround Assertions.

Konstantinos Mamouras, Agnishom Chattopadhyay

Proc. ACM Program. Lang., January, 2024

Static Analysis for Checking the Disambiguation Robustness of Regular Expressions.

Konstantinos Mamouras, Alexis Le Glaunec, Wu Angela Li, Agnishom Chattopadhyay

Proc. ACM Program. Lang., 2024

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance.

Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

2023

A compositional framework for algebraic quantitative online monitoring over continuous-time signals.

Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang

Int. J. Softw. Tools Technol. Transf., August, 2023

2022

Software-hardware codesign for efficient in-memory regular pattern matching.

Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, Kaiyuan Yang

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Pumping lemmas for weighted automata.

Agnishom Chattopadhyay, Filip Mazowiecki, Anca Muscholl, Cristian Riveros

Log. Methods Comput. Sci., 2021

Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring.

Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals.

Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang

Proceedings of the Runtime Verification - 21st International Conference, 2021

2020

A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics.

Agnishom Chattopadhyay, Konstantinos Mamouras

Proceedings of the Runtime Verification - 20th International Conference, 2020

2019

Query Preserving Watermarking Schemes for Locally Treelike Databases.

Agnishom Chattopadhyay, M. Praveen

Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019