Travelled to:1 × Austria
1 × Germany
1 × The Netherlands
1 × USA
Collaborated with:M.Voelter S.Erdweg I.Ráth D.Varró G.Bergmann B.Kolb Z.Ujhelyi S.Alperovich M.Völter D.Ratiu B.Schätz P.Torrini S.Lisson T.Berger
Talks about:increment (3) develop (3) analys (3) program (2) extens (2) effici (2) framework (1) variabl (1) transit (1) softwar (1)
Person: Tamás Szabó
DBLP: Szab=oacute=:Tam=aacute=s
Contributed to:
2014
2012
2012
2016
2016
2018Wrote 7 papers:
- HILT-2014-SzaboVKRS #development #embedded #named
- mbeddr: extensible languages for embedded software development (TS, MV, BK, DR, BS), pp. 13–16.
- AMT-2012-UjhelyiSRV #query #visualisation
- Developing and visualizing live model queries (ZU, TS, IR, DV), pp. 35–40.
- ICGT-2012-BergmannRSTV #incremental #pattern matching #performance #transitive
- Incremental Pattern Matching for the Efficient Computation of Transitive Closure (GB, IR, TS, PT, DV), pp. 386–400.
- 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.
- OOPSLA-2018-SzaboBEV #analysis #datalog
- Incrementalizing lattice-based program analyses in Datalog (TS, GB, SE, MV), p. 29.