Analysis of JavaScript programs

PhD defence, Wednesday 24. August 2016. Esben Andreasen.

2016.08.24 | Mette Pultz

Esben Andreasen

During his PhD studies, Esben Andreasen researched the use of program analysis for programs written in the JavaScript programming language.
Program analyses, such as dataflow analyses and type systems, can be used to guarantee behaviors of programs. A classic guarantee of interest is that analyzed programs do not crash; more technical guarantees can be used to optimize analyzed programs.
JavaScript is a widely used programming language, famously used for creating interactive web pages. However, programmers code JavaScript programs in so complex ways that program analyses often give up when trying to reason about them. Program analyses for other programming languages, e.g. Java, are often more useful since they are analyzing relatively simpler programs.
In his research, Esben Andreasen shows how various program analyses can be designed and improved to reason more precisely about real-world JavaScript programs.

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: Wednesday 24. August 2016 at 13.00
Place: ADA Building (building 5342, room 333), Department of Computer Science, Aarhus University
Title of dissertation: Designing abstractions for JavaScript program analysis
Contact information: Esben Andreasen esbena@cs.au.dk
Members of the assessment committee:
Professor Antoine Miné, LIP6 Laboratory, Université Pierre et Marie Curie, France
Professor Dr. Welf Löwe, Software Technology Labs, Department of Computer Science, Linnaeus University, Sweden
Assistant Professor Peyman Afshani (chair), Department of Computer Science, Aarhus University
Main supervisor:
Associate Professor Anders Møller, Department of Computer Science, Aarhus University
Language: The PhD dissertation will be defended in English.

The defense is public.
The dissertation is available for reading at the Graduate School of Science and Technology/GSST, Ny Munkegade 120, building 1520, rooms 128-134, 8000 Aarhus C.

 

 

PhD defence
Comments on content: 
Revised 22.06.2017