Phillip Heidegger

I'm a Ph.D. student at the University of Freiburg, Institute for Computer Science, working in the group Progλang under the supervision of Prof. Dr. Peter Thiemann. My research interest includes programming languages and static program analysis.

I work on a DFG project "Typbasierte Programmanalyse für Skriptsprachen" (typbased program analysis of scripting languages). The main goal of the project is to develop a typesystem for JavaScript that helps finding common errors in JavaScript source code. One major aspect of JavaScript is the flexible realization of its objects. It is possible to modify the objects' set of properties at runtime and use arbritary expressions to compute property labels. These labels can then be used to read properties or modify the associated values. Since this behavior of objects raises many unsolved questions, I focus my work on dealing with JavaScript objects in a static typesytem.

A second important part of my work is based on the dynamic program analysis tool JSConTest. Since some properties of dynamic languages are really hard to analyse in a static manner, JSConTest focuses on dynamic monitoring facilities to increase the quality of JavaScript software. With access contracts a JavaScript programmer can neatly express what kind of side effects a function is allowed to perform on the heap. Access contracts are also useful e.g. to establish security protocols in web pages.

Some other aspects of JavaScript that are of interest: exceptions, labeled statements, first class functions, etc.

Contact

Address Dipl. Inf. Phillip Heidegger
Universität Freiburg
Institut für Informatik
Georges-Köhler-Allee 079
79110 Freiburg i. Br.
Germany
Room00-017, building 079
Phone+49 761 203 8059
Fax+49 761 203 8052
Email
PGP My public key (expires 26.03.2017), old public key (expires 05.04.2012), old public key (expired).

Publications

Talks

Teaching

courses I co-organized

other teaching activities

  • Informatik I, WS 2008/2009
  • Seminar: Type Systems, WS 2008/2009
  • Softwaretechnik , SS 2008
  • assist supervising bachelor thesis of Malte Ahl, SS 2009, in German
  • assist supervising diploma thesis (comparable to a master thesis) of Stefan Teichtweier, WS 2007/2008, in German,
    Title: Modellgetriebene Softwareentwicklung formularbasierter Anwendungen
  • assist supervising bachelor thesis of Matthias Sauer, SS 2007, in German,
    Title: "Template-Genie" - Eine Java-Template-Engine zur generischen Erzeugung sprachunabhängiger Websites
  • assist supervising thesis of Stefan Teichtweier, SS 2007, in German,
    Title: Metamodellierung bei der formbasierten Analyse
    Subtitle: Modelgetriebene Softwareentwicklung mit OpenArchitectureWare und dem Eclipse Graphical Modelling Framework

Other Activities

Conferences

I was one of the local organizers of

OCaml

You can download a small OCaml package called proglangUtils: download, or you can look at the documentation: Docu. Please notice, that this package is an alpha release.