Margus Veanes -

Registered user since Wed 4 Jan 2017

Name:Margus Veanes

Affiliation:Microsoft Research

Contributions

2025

POPL

Committee Member in Program Committee within the POPL-track

2024

CPP

Author of Lean Formalization of Extended Regular Expression Matching with Lookarounds within the CPP 2024-track

2023

PLDI

Author of Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics within the PLDI Research Papers-track

2021

SPLASH

Author of Regex Matching with Counting-Set Automata within the SIGPLAN Papers-track
Author of Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints within the SIGPLAN Papers-track

PLDI

Author of Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints within the PLDI-track

2020

SPLASH

PLDI

Presenter of Symbolic Extended Regular Expressions Matching and Analysis within the Sponsors-track

POPL

Committee Member in Program Committee within the Research Papers-track

2019

APLAS

Author of Succinct Determinisation of Counting Automata via Sphere Construction within the Research Papers-track

ETAPS

Author of Credential Scanning powered by Symbolic Regex Matching within the Posters-track

PERR

Author of Invited talk by Margus Veanes within the PERR-track

TACAS

Author of Symbolic Regex Matcher within the TACAS 2019-track

2017

PLDI

Author of Fusing Effectful Comprehensions within the PLDI Research Papers-track

POPL

Author of Monadic second-order logic on finite sequences within the POPL-track