Phillip Heidegger

Contact

Address
Dipl. Inf. Phillip Heidegger
Universität Freiburg
Institut für Informatik
Georges-Köhler-Allee 079
79110 Freiburg i. Br.
Germany
Room
00-014, building 079
Phone
+49 761 203 8050
Fax
+49 761 203 8052
Email
PGP
My public key.

Research

I'm a Ph.D. student at the Institute for Computer Science at the University of Freiburg, Germany. 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.

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

Publications

Teaching

courses I co-organized

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.