Phillip Heidegger

Htdp and dmda in the battlefield: a case study in first-year programming instruction

Annette Bieniusa, Peter Thiemann, Michael Sperber, 2008, FDPE '08.

DOM Transactions for Testing JavaScript

Annette Bieniusa, Peter Thiemann, Phillip Heidegger, 2010, TAIC PART.

Recency Types for Analyzing Scripting Languages

Peter Thiemann, Phillip Heidegger, 2010, ECOOP.

Contract-Driven Testing of JavaScript Code

Peter Thiemann, Phillip Heidegger, Peter Thiemann, 2010, TOOLS.

JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript

Peter Thiemann, Phillip Heidegger, Peter Thiemann, 2012, J. Object Technol..

A Heuristic Approach for Computing Effects

Peter Thiemann, Phillip Heidegger, 2011, TOOLS.

Increasing software quality of JavaScript programs: an approach based on type systems = Verbesserung der Software Qualität von JavaScript Programmen

Phillip Heidegger, 2013 .

Access permission contracts for scripting languages

Annette Bieniusa, Peter Thiemann, Phillip Heidegger, 2012, POPL '12.