Sven Keidel

Portrait Hello, my name is Sven Keidel. I’m a researcher, mathematician, and musician. I work as a PhD student in the Programming Languages Research Group at TU Delft (Netherlands) since 2016 under supervision of Dr. Sebastian Erdweg. I received my Master’s degree in computer science at TU Darmstadt (Germany) in 2015.

I work as a researcher in the area of programming languages. In particular, I research techniques how static analyses can be proven sound. Static analyses are tools that calculate information about programs. Soundness means that these information are correct and users can trust the results. However, proving that a static analysis is sound is rather difficult. In my research, I develop techniques for structuring a static analyses such that the soundness proof becomes simpler.

Besides my main area of research static analysis and abstract interpretation, my research interests are proof techinques, category theory, type and effect systems.

In my spare time I explore the Netherlands by bike and enjoy the nature. When I am at home, I like to play the piano and the guitar.

Publications

Compositional Soundness Proofs of Abstract Interpreters
Sven Keidel, Casper Bach Poulsen and Sebastian Erdweg.
International Conference on Functional Programming (ICFP). ACM, 2018 [pdf] [Talk]

Toward Abstract Interpretation of Program Transformations
Sven Keidel and Sebastian Erdweg.
International Workshop on Meta-Programming Techniques and Reflection. ACM, 2017 [pdf]

The IDE Portability Problem and its Solution in Monto
Sven Keidel, Wulf Pfeiffer, and Sebastian Erdweg.
Proceedings of Software Language Engineering (SLE). ACM, 2016 [pdf]

Activities

Research Projects

Sturdy

Sturdy a Haskell library to create sound static analyses. Static analyses are tools that calculate information about programs. Soundness means that these information are correct and users can trust the results. However, proving that a static analysis is sound is rather difficult. Sturdy uses techniques for structuring static analyses such that their soundness proof becomes simpler.

Monto

As my master thesis project, I worked on Monto. Modern IDEs support multiple programming languages via plug-ins, but developing a high-quality language plug-in is a huge development effort and individual plug-ins are not reusable in other IDEs. This problem is called the IDE portability problem. Monto provides a solution to the IDE portability problem based on a language-independent and IDE-independent intermediate representation (IR) for editor-services such as syntax highlighting, error messages, and code completion. This IR enables language services that support multiple IDEs with one plug-in.

Teaching

Courses and Seminars

Supervised Theses

Contact

Sven Keidel
Office: HB 8.260
Email: svenkeidel@gmail.com Phone: +31 15 27 81935

Address:
Mekelweg 4
2628 CD Delft
The Netherlands