Minimization of Symbolic Transducers
Olli Saarikivi, Margus Veanes
Computer Aided Verification, 29th International Conference (CAV 2017) | July 2017
Publications
Publications
Publications by Year
-
The power of symbolic automata and transducers
Loris D'Antoni, Margus Veanes
Computer Aided Verification, 29th International Conference (CAV'17) | July 2017
Fusing Effectful Comprehensions
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017) | June 2017
Monadic Decomposition
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
Journal of the ACM | May 2017, Vol 64
Forward Bisimulations for Nondeterministic Symbolic Finite Automata
Loris D'Antoni, Margus Veanes
TACAS | April 2017
Translating C# to Branching Symbolic Transducers
Olli Saarikivi, Margus Veanes
LPAR-21: 21ST INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING (Selected Workshop and Short Presentations) | March 2017
Monadic Second-Order Logic on Finite Sequences
Loris D'Antoni, Margus Veanes
POPL'2017 | January 2017
Publications by Research Area
-
The power of symbolic automata and transducers
Loris D'Antoni, Margus Veanes
Computer Aided Verification, 29th International Conference (CAV'17) | July 2017
Minimization of Symbolic Transducers
Olli Saarikivi, Margus Veanes
Computer Aided Verification, 29th International Conference (CAV 2017) | July 2017
Fusing Effectful Comprehensions
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017) | June 2017
Monadic Decomposition
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
Journal of the ACM | May 2017, Vol 64
Forward Bisimulations for Nondeterministic Symbolic Finite Automata
Loris D'Antoni, Margus Veanes
TACAS | April 2017
Translating C# to Branching Symbolic Transducers
Olli Saarikivi, Margus Veanes
LPAR-21: 21ST INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING (Selected Workshop and Short Presentations) | March 2017
Monadic Second-Order Logic on Finite Sequences
Loris D'Antoni, Margus Veanes
POPL'2017 | January 2017
-
Monadic Second-Order Logic on Finite Sequences
Loris D'Antoni, Margus Veanes
POPL'2017 | January 2017
Publications by Type
-
The power of symbolic automata and transducers
Loris D'Antoni, Margus Veanes
Computer Aided Verification, 29th International Conference (CAV'17) | July 2017
Minimization of Symbolic Transducers
Olli Saarikivi, Margus Veanes
Computer Aided Verification, 29th International Conference (CAV 2017) | July 2017
Fusing Effectful Comprehensions
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017) | June 2017
Forward Bisimulations for Nondeterministic Symbolic Finite Automata
Loris D'Antoni, Margus Veanes
TACAS | April 2017
Translating C# to Branching Symbolic Transducers
Olli Saarikivi, Margus Veanes
LPAR-21: 21ST INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING (Selected Workshop and Short Presentations) | March 2017
Monadic Second-Order Logic on Finite Sequences
Loris D'Antoni, Margus Veanes
POPL'2017 | January 2017
-
Monadic Decomposition
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
Journal of the ACM | May 2017, Vol 64
People
Margus Veanes
Principal Researcher