BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Brazil
1 × Czech Republic
1 × Estonia
1 × France
1 × India
1 × Japan
1 × Portugal
1 × Russia
1 × The Netherlands
3 × Canada
3 × Italy
4 × United Kingdom
5 × USA
Collaborated with:
L.D'Antoni N.Bjørner ∅ C.Campbell N.Tillmann B.Livshits D.Molnar L.Nachmanson W.Schulte O.Saarikivi P.Hooimeijer Y.Gurevich W.Grieskamp H.Ganzinger T.Mytkowicz P.d.Halleux P.Roy C.Meyer S.Bereg V.Ganesh R.Michel J.P.Ernits R.Roo J.Jacky A.Blass J.Huo A.Petrenko V.Cortier F.Jacquemard M.Musuvathi R.A.Cochran A.Degtyarev P.Narendran A.Voronkov M.Barnett
Talks about:
symbol (9) automata (6) test (6) transduc (5) finit (5) program (4) applic (4) model (4) simultan (3) string (3)

Person: Margus Veanes

DBLP DBLP: Veanes:Margus

Facilitated 2 volumes:

TAP 2013Ed
TestCom/FATES 2007Ed

Contributed to:

POPL 20152015
CAV 20142014
PLDI 20142014
POPL 20142014
CAV 20132013
CIAA 20132013
VMCAI 20132013
POPL 20122012
SMT 20122012
TACAS 20122012
VMCAI 20112011
ICST 20102010
ICTSS 20102010
TestCom/FATES 20092009
FATES/RV 20062006
ESEC/FSE 20052005
FATES 20052005
FM 20052005
TestCom 20052005
FATES 20032003
ISSTA 20022002
ICALP 19991999
LICS 19991999
LICS 19981998
RTA 19981998
CAV (1) 20172017
CAV (2) 20172017
CSL 20172017
PLDI 20172017
POPL 20172017

Wrote 31 papers:

POPL-2015-CochranDLMV #synthesis
Program Boosting: Program Synthesis via Crowd-Sourcing (RAC, LD, BL, DM, MV), pp. 677–688.
POPL-2015-VeanesMML #source code #string
Data-Parallel String-Manipulating Programs (MV, TM, DM, BL), pp. 139–152.
CAV-2014-VeanesBNB #composition #monad
Monadic Decomposition (MV, NB, LN, SB), pp. 628–645.
PLDI-2014-DAntoniVLM #named #performance #transducer
Fast: a transducer-based language for tree manipulation (LD, MV, BL, DM), p. 40.
POPL-2014-DAntoniV #automaton
Minimization of symbolic automata (LD, MV), pp. 541–554.
CAV-2013-DAntoniV #equivalence #finite #transducer
Equivalence of Extended Symbolic Finite Transducers (LD, MV), pp. 624–639.
CIAA-2013-Veanes #automaton #finite
Applications of Symbolic Finite Automata (MV), pp. 16–23.
VMCAI-2013-DAntoniV #static analysis #string
Static Analysis of String Encoders and Decoders (LD, MV), pp. 209–228.
POPL-2012-VeanesHLMB #algorithm #finite #transducer
Symbolic finite state transducers: algorithms and applications (MV, PH, BL, DM, NB), pp. 137–150.
SMT-2012-BjornerGMV #regular expression #sequence
SMT-LIB Sequences and Regular Expressions (NB, VG, RM, MV), pp. 77–87.
TACAS-2012-VeanesB #automaton #tool support
Symbolic Automata: The Toolkit (MV, NB), pp. 472–477.
VMCAI-2011-HooimeijerV #algorithm #analysis #automaton #evaluation #string
An Evaluation of Automata Algorithms for String Analysis (PH, MV), pp. 248–262.
ICST-2010-VeanesHT #named #regular expression
Rex: Symbolic Regular Expression Explorer (MV, PdH, NT), pp. 498–507.
ICTSS-2010-VeanesB #simulation
Alternating Simulation and IOCO (MV, NB), pp. 47–62.
TestCom-FATES-2009-ErnitsRJV #modelling #testing #using #web
Model-Based Testing of Web Applications Using NModel (JPE, RR, JJ, MV), pp. 211–216.
FATES-RV-2006-VeanesRC #learning #online #testing
Online Testing with Reinforcement Learning (MV, PR, CC), pp. 240–253.
ESEC-FSE-2005-VeanesCST #online #source code #testing
Online testing with model programs (MV, CC, WS, NT), pp. 273–282.
FATES-2005-BlassGNV #game studies
Play to Test (AB, YG, LN, MV), pp. 32–46.
FM-2005-CampbellGNSTV #concurrent #object-oriented #specification #testing
Testing Concurrent Object-Oriented Systems with Spec Explorer (CC, WG, LN, WS, NT, MV), pp. 542–547.
TestCom-2005-CampbellVHP #multi #order
Multiplexing of Partially Ordered Events (CC, MV, JH, AP), pp. 97–110.
FATES-2003-BarnettGNSTV #modelling #testing #towards
Towards a Tool Environment for Model-Based Testing with AsmL (MB, WG, LN, WS, NT, MV), pp. 252–266.
ISSTA-2002-GrieskampGSV #finite #generative #state machine
Generating finite state machines from abstract state machines (WG, YG, WS, MV), pp. 112–122.
ICALP-1999-CortierGJV #decidability #reachability
Decidable Fragments of Simultaneous Rigid Reachability (VC, HG, FJ, MV), pp. 250–260.
LICS-1999-GanzingerMV #transitive
The Two-Variable Guarded Fragment with Transitive Relations (HG, CM, MV), pp. 24–34.
LICS-1998-Veanes #higher-order #unification
The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification (MV), pp. 264–275.
RTA-1998-DegtyarevGNVV #decidability
The Decidability of Simultaneous Rigid E-Unification with One Variable (AD, YG, PN, MV, AV), pp. 181–195.
CAV-2017-DAntoniV #automaton #power of #transducer
The Power of Symbolic Automata and Transducers (LD, MV), pp. 47–67.
CAV-2017-SaarikiviV #transducer
Minimization of Symbolic Transducers (OS, MV), pp. 176–196.
CSL-2017-Veanes #automaton
Symbolic Automata Theory with Applications (Invited Talk) (MV), p. 3.
PLDI-2017-SaarikiviVMM
Fusing effectful comprehensions (OS, MV, TM, MM), pp. 17–32.
POPL-2017-DAntoniV #finite #higher-order #logic #monad #sequence
Monadic second-order logic on finite sequences (LD, MV), pp. 232–245.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.