Agnishom Chattopadhyay
where else to find them
mastodon:@agnishom@mas.to
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 4 in the filters
who talks about the same things
- Konstantinos Mamouras11 talks
- Alexis Le Glaunec4 talks
- Lingkun Kong3 talks
- Margus Veanes6 talks
- Aurèle Barrière7 talks
- Chandrakana Nandi9 talks
| title | conference | date |
|---|---|---|
| Verified and Efficient Matching of Regular Expressions with Lookaround | CPP 2025 | 2025-01-20 |
Presents a Coq formalization and a verified matcher that handles lookahead and lookbehind, including negative lookarounds via two complementary predicates, and… | ||
| Static Analysis for Checking the Disambiguation Robustness of Regular Expressions | PLDI 2024 | 2024-06-24 |
Defines robustness as agreement between POSIX vs greedy match extraction and proves the decision problem PSPACE-complete. Builds a greedy NFA model and reduces… | ||
| Efficient Matching of Regular Expressions with Lookaround Assertions | POPL 2024 | 2024-01-14 |
States a formal semantics for lookaround, gives an algorithm that matches regexes with lookaround in O(m·n) time by evaluating assertions bottom-up, and… | ||
| nothing matches | ||