Publications (BibTeX)

@inproceedings{Heidegger:2012:APC:2103656.2103671,
  author = {Heidegger, Phillip and Bieniusa, Annette and Thiemann, Peter},
  title = {Access Permission Contracts for Scripting Languages},
  booktitle = {Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  series = {POPL '12},
  year = {2012},
  isbn = {978-1-4503-1083-3},
  location = {Philadelphia, PA, USA},
  pages = {111--122},
  numpages = {12},
  url = {http://doi.acm.org/10.1145/2103656.2103671},
  doi = {10.1145/2103656.2103671},
  acmid = {2103671},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {contracts, javascript, scripting languages},
}

@inproceedings{HeideggerThiemann2011:Inference,
  author     = { Phillip Heidegger and Peter Thiemann },
  title      = { A Heuristic Approach for Computing Effects }
  year       = { 2011 },
  month      = { June },
  booktitle  = { TOOLS 2011 - 49th International Conference on
                 Objects, Models, Components, Patterns
               }
}

@inproceedings{BieniusaHeideggerThiemann2010:JSTrans,
  author     = { Annette Bieniusa and Phillip Heidegger and Peter Thiemann },
  title      = { DOM Transactions for Testing JavaScript }
  year       = { 2010 },
  month      = { September },
  booktitle  = { TAIC PART 2010 - Practice and Research Techniques,
                 5th International Academic and Industrial Conference,
               }
}

@inproceedings{HeideggerThiemann2010:JSContest,
  author     = { Phillip Heidegger and Peter Thiemann },
  title      = { JSConTest - Contract-Driven Testing of JavaScript Code }
  year       = { 2010 },
  month      = { June },
  booktitle  = { TOOLS 2010 - 48th International Conference on
                 Objects, Models, Components, Patterns
               }
}

@inproceedings{HeideggerThiemann2010:Recency,
  author     = { Phillip Heidegger and Peter Thiemann },
  title      = { Recency Types for Analyzing Scripting Languages }
  year       = { 2010 },
  month      = { June },
  booktitle  = { ECOOP 2010 - Object-Oriented Programming, 24rd European Conference }
}

@inproceedings{HeideggerThiemann2009:Recency,
  author     = { Phillip Heidegger and Peter Thiemann },
  title      = { Recency Types for Dynamically-Typed, Object-Based Languages },
  year       = { 2009 },
  month      = { January },
  booktitle  = { International Workshop on Foundations of Object-Oriented Languages (FOOL)},
}

@INPROCEEDINGS{BieniusaEtAl2008b,
  author = {Annette Bieniusa and Markus Degen and Phillip Heidegger and Peter Thiemann and Stefan Wehr and Martin Gasbichler and Marcus Crestani and Herbert Klaeren and Eric Knauel and Michael Sperber},
  title = {{Auf dem Weg zu einer robusten Programmierausbildung}},
  booktitle = {{Tagungsband zur 3. GI-Fachtagung Hochschuldidaktik Informatik}},
  month = {December},
  year = 2008,
  address = {Potsdam, Germany}
}

@INPROCEEDINGS{BieniusaEtAl2008,
  author = {Annette Bieniusa and Marcus Crestani and Markus Degen and Martin Gasbichler and Phillip Heidegger and Herbert Klaeren and Eric Knauel and Michael Sperber and Peter Thiemann and Stefan Wehr},
  title = {{HtDP} and {DMdA} in the Battlefield --- A Case Study in First-year Programming Instruction},
  booktitle = {Proceedings of the 2008 Workshop on Functional and Declarative Programming in Education},
  address = {Victoria, BC, Canada},
  year = 2008
}