Travelled to:1 × Canada
1 × France
1 × Greece
1 × The Netherlands
Collaborated with:T.Szabó S.Erdweg ∅ S.Lisson F.Steimann M.Frenkel G.Bergmann S.Alperovich K.Birken A.Rimer B.Kolb T.Berger
Talks about:increment (3) analys (3) project (2) program (2) extens (2) use (2) mps (2) transform (1) framework (1) function (1)
Person: Markus Voelter
DBLP: Voelter:Markus
Contributed to:
2018
2018
2016
201620172019Wrote 7 papers:
- ICMT-2018-Voelter #design #evolution #functional #kernel #using
- The Design, Evolution, and Use of KernelF — An Extensible and Embeddable Functional Language (MV), pp. 3–55.
- OOPSLA-2018-SzaboBEV #analysis #datalog
- Incrementalizing lattice-based program analyses in Datalog (TS, GB, SE, MV), p. 29.
- ASE-2016-SzaboAVE #analysis #data flow #framework
- An extensible framework for variable-precision data-flow analyses in MPS (TS, SA, MV, SE), pp. 870–875.
- ASE-2016-SzaboEV #analysis #domain-specific language #incremental #named
- IncA: a DSL for the definition of incremental program analyses (TS, SE, MV), pp. 320–331.
- SLE-2016-VoelterSLKEB #consistency #development #editing #performance #projectional #using
- Efficient development of consistent projectional editors using grammar cells (MV, TS, SL, BK, SE, TB), pp. 28–40.
- SLE-2017-SteimannFV #editing #projectional #robust
- Robust projectional editing (FS, MF, MV), pp. 79–90.
- SLE-2019-VoelterBLR #incremental #modelling
- Shadow models: incremental transformations for MPS (MV, KB, SL, AR), pp. 61–65.