Margus Veanes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
51
Venues
25
Active years
1998–2025
Best venue rank
A*
Where they publish
- BLPAR7 papers
- A*CAV6 papers
- A*POPL5 papers
- CFORTE4 papers
- A*PLDI3 papers
- ATACAS3 papers
- A*LICS3 papers
- BVMCAI2 papers
- AISSTA2 papers
- BITP1 paper
- BCPP1 paper
- BAPLAS1 paper
- A*SOSP1 paper
- BATVA1 paper
- BSOFSEM1 paper
- BCSL1 paper
- A*SP1 paper
- AHotOS1 paper
- ACADE1 paper
- AICST1 paper
- CICFEM1 paper
- CICTAC1 paper
- ARTSS1 paper
- BFM1 paper
- A*ICALP1 paper
Papers
51 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | Regex Decision Procedures in Extended RE#. | Ian Erik Varatalu, Margus Veanes, Ekaterina Zhuchko, Juhan P. Ernits |
| 2025 | ITP | Finiteness of Symbolic Derivatives in Lean. | Ekaterina Zhuchko, Hendrik Maarand, Margus Veanes, Gabriel Ebner |
| 2024 | CPP | Lean Formalization of Extended Regular Expression Matching with Lookarounds. | Ekaterina Zhuchko, Margus Veanes, Gabriel Ebner |
| 2024 | LPAR | On Symbolic Derivatives and Transition Regexes. | Margus Veanes |
| 2023 | CAV | Incremental Dead State Detection in Logarithmic Time. | Caleb Stanford, Margus Veanes |
| 2021 | PLDI | Symbolic Boolean derivatives for efficiently solving extended regular expression constraints. | Caleb Stanford, Margus Veanes, Nikolaj S. Bjrner |
| 2019 | APLAS | Succinct Determinisation of Counting Automata via Sphere Construction. | Luks Holk, Ondrej Lengl, Olli Saarikivi, Lenka Turonov, Margus Veanes, Toms Vojnar |
| 2019 | SOSP | Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines. | Guoqing Harry Xu, Margus Veanes, Michael Barnett, Madan Musuvathi, Todd Mytkowicz, Ben Zorn, Huan He, Haibo Lin |
| 2019 | TACAS | Symbolic Regex Matcher. | Olli Saarikivi, Margus Veanes, Tiki Wan, Eric Xu |
| 2018 | ATVA | Simulation Algorithms for Symbolic Automata. | Luks Holk, Ondrej Lengl, Juraj Sc, Margus Veanes, Toms Vojnar |
| 2018 | SOFSEM | Theoretical Aspects of Symbolic Automata. | Hellis Tamm, Margus Veanes |
| 2017 | CAV | The Power of Symbolic Automata and Transducers. | Loris D'Antoni, Margus Veanes |
| 2017 | CAV | Minimization of Symbolic Transducers. | Olli Saarikivi, Margus Veanes |
| 2017 | CSL | Symbolic Automata Theory with Applications (Invited Talk). | Margus Veanes |
| 2017 | LPAR | Translating C# to Branching Symbolic Transducers. | Olli Saarikivi, Margus Veanes |
| 2017 | PLDI | Fusing effectful comprehensions. | Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi |
| 2017 | POPL | Monadic second-order logic on finite sequences. | Loris D'Antoni, Margus Veanes |
| 2017 | TACAS | Forward Bisimulations for Nondeterministic Symbolic Finite Automata. | Loris D'Antoni, Margus Veanes |
| 2016 | LICS | Minimization of Symbolic Tree Automata. | Loris D'Antoni, Margus Veanes |
| 2016 | SP | Prepose: Privacy, Security, and Reliability for Gesture-Based Programming. | Lucas Silva Figueiredo, Benjamin Livshits, David Molnar, Margus Veanes |
| 2015 | LPAR | Symbolic WS1S. | Loris D'Antoni, Margus Veanes |
| 2015 | POPL | Program Boosting: Program Synthesis via Crowd-Sourcing. | Robert A. Cochran, Loris D'Antoni, Benjamin Livshits, David Molnar, Margus Veanes |
| 2015 | POPL | Data-Parallel String-Manipulating Programs. | Margus Veanes, Todd Mytkowicz, David Molnar, Benjamin Livshits |
| 2014 | CAV | Monadic Decomposition. | Margus Veanes, Nikolaj S. Bjrner, Lev Nachmanson, Sergey Bereg |
| 2014 | PLDI | Fast: a transducer-based language for tree manipulation. | Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar |
| 2014 | POPL | Minimization of symbolic automata. | Loris D'Antoni, Margus Veanes |
| 2013 | CAV | Equivalence of Extended Symbolic Finite Transducers. | Loris D'Antoni, Margus Veanes |
| 2013 | HotOS | Operating System Support for Augmented Reality Applications. | Loris D'Antoni, Alan M. Dunn, Suman Jana, Tadayoshi Kohno, Benjamin Livshits, David Molnar, Alexander Moshchuk, Eyal Ofek, Franziska Roesner, T. Scott Saponas, Margus Veanes, Helen J. Wang |
| 2013 | LPAR | Effectively Monadic Predicates. | Margus Veanes, Nikolaj S. Bjrner, Lev Nachmanson, Sergey Bereg |
| 2013 | VMCAI | Static Analysis of String Encoders and Decoders. | Loris D'Antoni, Margus Veanes |
| 2012 | CADE | SMT-LIB Sequences and Regular Expressions. | Nikolaj S. Bjrner, Vijay Ganesh, Raphal Michel, Margus Veanes |
| 2012 | POPL | Symbolic finite state transducers: algorithms and applications. | Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, Nikolaj S. Bjrner |
| 2012 | TACAS | Symbolic Automata: The Toolkit. | Margus Veanes, Nikolaj S. Bjrner |
| 2011 | VMCAI | An Evaluation of Automata Algorithms for String Analysis. | Pieter Hooimeijer, Margus Veanes |
| 2010 | ICST | Rex: Symbolic Regular Expression Explorer. | Margus Veanes, Peli de Halleux, Nikolai Tillmann |
| 2010 | LPAR | Symbolic Automata Constraint Solving. | Margus Veanes, Nikolaj S. Bjrner, Leonardo Mendona de Moura |
| 2010 | LPAR | Qex: Symbolic SQL Query Explorer. | Margus Veanes, Nikolai Tillmann, Jonathan de Halleux |
| 2009 | ICFEM | Symbolic Query Exploration. | Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann |
| 2009 | ICTAC | Input-Output Model Programs. | Margus Veanes, Nikolaj S. Bjrner |
| 2008 | FORTE | An SMT Approach to Bounded Reachability Analysis of Model Programs. | Margus Veanes, Nikolaj S. Bjrner, Alexander Raschke |
| 2008 | FORTE | Protocol Modeling with Model Program Composition. | Margus Veanes, Wolfram Schulte |
| 2008 | LPAR | On Bounded Reachability of Programs with Set Comprehensions. | Margus Veanes, Ando Saabas |
| 2007 | FORTE | Composition of Model Programs. | Margus Veanes, Colin Campbell, Wolfram Schulte |
| 2007 | FORTE | State Isomorphism in Model Programs with Abstract Data Structures. | Margus Veanes, Juhan P. Ernits, Colin Campbell |
| 2007 | RTSS | Adapting Futures: Scalability for Real-World Computing. | Johannes Helander, Risto Serg, Margus Veanes, Pritam Roy |
| 2005 | FM | Testing Concurrent Object-Oriented Systems with Spec Explorer. | Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes |
| 2004 | ISSTA | Optimal strategies for testing nondeterministic systems. | Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp |
| 2002 | ISSTA | Generating finite state machines from abstract state machines. | Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes |
| 1999 | ICALP | Decidable Fragments of Simultaneous Rigid Reachability. | Vronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes |
| 1999 | LICS | The Two-Variable Guarded Fragment with Transitive Relations. | Harald Ganzinger, Christoph Meyer, Margus Veanes |
| 1998 | LICS | The Relation Between Second-Order Unification and Simultaneous Rigid | Margus Veanes |