Also see the student projects sorted by date.


Projects at the University of Waterloo

Complexity Analysis of Tunable Static Inference For Generic Universe Types (2015)
Pluggable Type Systems (2015)
Pluggable Type Systems (2015)
Pluggable Type Systems (2015)

Projects at the University of Washington

Dataflow support for the Checker Framework (2010)
Evaluating Practical Non-Null Type Systems for Java (2011)
Fake enumerations and nullness type checker case study on the OpenJDK javac (2012)
Verification games: website integration (2013)
Fake enumerations and regular expression type checker case studies and extensions; verification games: annotation and cast handling (2013)
Interning type checker case studies; verification games: KeyFor integration; testing framework (2013)
Improved dataflow analysis for the Checker Framework (2013)
Qualifier polymorphic type systems (2013)
String format type system (2013)
Units-of-Measurement type system (2013)
SPARTA: case studies and extensions (2013)
Verification games: extended type systems; game generation (2013)
Verification games: graph description and layout; game generation (2013)

Master's Projects at ETH Zurich

Applying the Universe Type System to an Industrial Application (2005)
Runtime Universe Type Inference (2005)
Static Universe Type Inference (2005)
Ownership in Design Patterns (2006)
Practical Runtime Universe Type Inference (2006)
Static Universe Type Inference using a SAT-Solver (2006)
Combining Runtime and Static Universe Type Inference (2007)
An Isabelle Formalization of the Universe Type System (2007)
Universe Type System for Scala (2007)
Generic Universe Types in JML (2007)
Runtime Support for Generics and Transfer in Universe Types (2007)
Implementing a Universe Type Checker in Scala (2008)

Semester Projects at ETH Zurich

Static Fields in the Universe Type System (2004)
Testcases for the Universe type system compiler (2004)
Dynamic Typechecking in the Universe Type System (2004)
Bytecode support for the Universe type system and compiler (2005)
Implementation of a Universe type checker in ESC/Java2 (2005)
Implementing Purity and Side Effect Analysis for Java Programs (2006)
Interaction with Ownership Graphs (2006)
Integration of Universe Type System Tools into Eclipse (2006)
MultiJava, JML, and Generics (2006)
Universe Type System for Eiffel (2006)
Testing Tool for Compilers (2007)
Visualizer for Universe Type Inference Information (2007)
A Universe Type Checker using JSR308 (2008)


(This webpage was created with bibtex2web.)