• Sign in
  • Sign up
conf.researchr.org / Margus Veanes
  • APLAS 2019 profile
  • ETAPS 2019 profile
  • PLDI 2020 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2017 profile
  • POPL 2020 profile
  • SPLASH 2020 profile
Margus Veanes

Registered user since Wed 4 Jan 2017

Name: Margus Veanes

Affiliation: Microsoft

Contributions

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

Share
xMon 8 Mar 20:50
using conf.researchr.org (v1.43.2)
Support page
Sign Up