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
SPLASH 2020 profile
SPLASH 2021 profile
Registered user since Wed 4 Jan 2017
Name:
Margus Veanes
Affiliation:
Microsoft
Contributions
PLDI 2023
Author of Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics within the PLDI Research Papers-track
SPLASH 2021
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 2021
Author of Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints within the PLDI-track
SPLASH 2020
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 2020
Presenter of Symbolic Extended Regular Expressions Matching and Analysis within the Sponsors-track
POPL 2020
Committee Member in Program Committee within the Research Papers-track
APLAS 2019
Author of Succinct Determinisation of Counting Automata via Sphere Construction within the Research Papers-track
ETAPS 2019
Author of Credential Scanning powered by Symbolic Regex Matching within the Posters-track
PERR 2019
Author of Invited talk by Margus Veanes within the PERR-track
TACAS 2019
Author of Symbolic Regex Matcher within the TACAS 2019-track
PLDI 2017
Author of Fusing Effectful Comprehensions within the PLDI Research Papers-track
POPL 2017
Author of Monadic second-order logic on finite sequences within the POPL-track
Share
x
Fri 9 Jun 17:21