Aarhus University Seal / Aarhus Universitets segl

Automatic program analysis for assisting the development of TypeScript declaration files

PhD defence, Thursday 31 October 2019. Erik Krogh Kristensen.

2019.10.31 | Sunitha Satkunam

Erik Krogh Kristensen

During his studies, Erik researched automated program analysis techniques and how they can be applied to assist the development of applications. The researched techniques include type inference, data-flow analysis, dynamic analysis, and automated testing. In particular, the research focused on how the development of TypeScript declaration files can be assisted. TypeScript declaration files are descriptions of the types in an otherwise untyped JavaScript library. Erik created analysis techniques that can automatically create new, assist in updating existing, find errors in, and verify the absence of certain errors in TypeScript declaration files.

This research contributes both insights into program analysis of JavaScript and TypeScript, and insights into how automated program analysis can be utilized to assist developers.

The PhD degree was completed at the Department of Computer Science, Science and Technology, Aarhus University.

This résumé was prepared by the PhD student.

Time: Thursday 31 October 2019 at 13:00
Place: Building 5342, room 333, ADA-333, Department of Computer Science, Aarhus University, Åbogade 34 8200 Aarhus N  
Title of PhD thesis: Automated Techniques for Creation and Maintenance of TypeScript Declaration Files  
Contact information: Erik Krogh Kristensen, e-mail: erik@webbies.dk, tel.: +45 61 36 12 86
Members of the assessment committee:
Professor Johannes Kinder, Faculty of Computer Science, Universität der Bundeswehr München, Germany
Senior Lecturer Earl T. Barr, Department of Computer Science, University College London, United Kingdom
Professor Ira Assent, Department of Computer Science, Aarhus University (chair)
Main supervisor:
Professor Anders Møller, Department of Computer Science, Aarhus University
Language: The PhD dissertation will be defended in English

The defence is public.
The PhD thesis is available for reading at the Graduate School of Science and Technology/GSST, Ny Munkegade 120, building 1521, 8000 Aarhus     

PhD defence
12183 / i43