conf.researchr.org / Margus Veanes
Margus Veanes

Registered user since Wed 4 Jan 2017

Name: Margus Veanes

Affiliation: Microsoft Research

Contributions

PLDI 2020Presenter of Symbolic Extended Regular Expressions Matching and Analysis within the Sponsors-track
POPL 2020Committee Member in Program Committee within the Research Papers-track
APLAS 2019Author of Succinct Determinisation of Counting Automata via Sphere Construction within the Research Papers-track
PERR 2019Author of Invited talk by Margus Veanes within the PERR-track
TACAS 2019Author of Symbolic Regex Matcher within the TACAS 2019-track
ETAPS 2019Author of Credential Scanning powered by Symbolic Regex Matching within the Posters-track
POPL 2017Author of Monadic second-order logic on finite sequences within the POPL-track
PLDI 2017Author of Fusing Effectful Comprehensions within the PLDI Research Papers-track