Travelled to:
1 × The Netherlands
Collaborated with:
S.Erdweg W.Pfeiffer
Talks about:
interpret (1) abstract (1) reusabl (1) problem (1) portabl (1) compon (1) sound (1) solut (1) monto (1) ide (1)
Person: Sven Keidel
DBLP: Keidel:Sven
Contributed to:
Wrote 2 papers:
- SLE-2016-KeidelPE #ide #problem
- The IDE portability problem and its solution in Monto (SK, WP, SE), pp. 152–162.
- OOPSLA-2019-KeidelE #abstract interpretation #component #reuse
- Sound and reusable components for abstract interpretation (SK, SE), p. 28.