Phillip Heidegger

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 1

Top Topics

Authorship Attribution

Symbolic Execution

Mining Software Repositories

Top Venues

University of Freiburg, Germany (PHD)

Education History

University of Freiburg, Germany

PHD

Publications

Daniel Haak, Raphael Mayr, Jan-Philipp Steghöfer, Alexandra Teynor, Phillip Heidegger
Tracking assets in source code with Security Annotations. ICSE Companion (2024)
Phillip Heidegger, Peter Thiemann
JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript. J. Object Technol. 11 (1) (2012)
Phillip Heidegger, Annette Bieniusa, Peter Thiemann
Access permission contracts for scripting languages. POPL (2012)
Phillip Heidegger, Peter Thiemann
A Heuristic Approach for Computing Effects. TOOLS (49) (2011)
Phillip Heidegger, Annette Bieniusa, Peter Thiemann
DOM Transactions for Testing JavaScript. TAIC PART (2010)
Phillip Heidegger, Peter Thiemann
Contract-Driven Testing of JavaScript Code. TOOLS (48) (2010)
Phillip Heidegger, Peter Thiemann
Recency Types for Analyzing Scripting Languages. ECOOP (2010)
Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Michael Sperber, Marcus Crestani, Herbert Klaeren, Eric Knauel
Htdp and dmda in the battlefield: a case study in first-year programming instruction. FDPE@ICFP (2008)