Margus Veanes -

Registered user since Wed 4 Jan 2017

Name:Margus Veanes

Affiliation:Microsoft

Contributions

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
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
ETAPS 2019	Author of Credential Scanning powered by Symbolic Regex Matching within the Posters-track
POPL 2017	Author of Monadic second-order logic on finite sequences within the POPL-track
PLDI 2017	Author of Fusing Effectful Comprehensions within the PLDI Research Papers-track