Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Margus Veanes
conf.researchr.org general profile
APLAS 2019 profile
ETAPS 2019 profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2023 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2017 profile
POPL 2020 profile
POPL 2024 profile
POPL 2025 profile
SPLASH 2020 profile
SPLASH 2021 profile
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
Author of RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement and Restricted Lookarounds within the POPL-track
Author of Symbolic Automata: omega-Regularity Modulo Theories 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
Author of Regex Matching with Counting-Set Automata within the OOPSLA-track
Author of Regex Matching with Counting-Set Automata within the OOPSLA Artifacts-track
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
Share
x
Thu 21 Nov 16:46
