Also see the student projects sorted by category.


2015

“Pluggable Type Systems”
by Jianchu Li.
Sep. 2015. MASc student (ongoing, started January 2015).
Details.

“Pluggable Type Systems”
by Jeff Luo.
Sep. 2015. PhD student (ongoing, started July 2014).
Details.

“Pluggable Type Systems”
by Dan Brotherston.
Sep. 2015. MMath student (ongoing, started May 2014); co-supervised with Ondrej Lhotak.
Details.

“Complexity Analysis of Tunable Static Inference For Generic Universe Types”
by Nahid Juma.
Aug. 2015. MASc student (started July 2014); co-supervised with Mahesh V. Tripunitara.
Details.

2013

“Verification games: graph description and layout; game generation”
by Nathaniel Mote.
Oct. 2013. Undergraduate research (started January 2011).
Details.

“Verification games: extended type systems; game generation”
by Tyler Rigsby.
Oct. 2013. Undergraduate research (started March 2012).
Details.

“SPARTA: case studies and extensions”
by Philip Lai.
Oct. 2013. Undergraduate research (started June 2012).
Details.

“Units-of-Measurement type system”
by Eric Reed.
Oct. 2013. PhD student (started September 2012).
Details.

“String format type system”
by Konstantin Weitz.
Oct. 2013. PhD student (started February 2013).
Details.

“Qualifier polymorphic type systems”
by Stuart A. Pernsteiner.
Oct. 2013. PhD student (started September 2012).
Details.

“Improved dataflow analysis for the Checker Framework”
by Stefan Heule.
July 2013. Undergraduate and Master's research (started September 2011).
Details.

“Interning type checker case studies; verification games: KeyFor integration; testing framework”
by Stephanie Dietzel.
Apr. 2013. Undergraduate and Master's research (started July 2011).
Details.

“Fake enumerations and regular expression type checker case studies and extensions; verification games: annotation and cast handling”
by Eric Spishak.
Apr. 2013. Undergraduate and Master's research (started April 2011).
Details.

“Verification games: website integration”
by Brian Walker.
Jan. 2013. Undergraduate research (started January 2012).
Details.

2012

“Fake enumerations and nullness type checker case study on the OpenJDK javac”
by Mark Davis.
July 2012. Undergraduate research (started July 2011).
Details.

2011

“Evaluating Practical Non-Null Type Systems for Java”
by Dimitrios C. Gklezakos, Stefan Heule, and Brandon Holt.
Dec. 2011. CSE 503 course project.
Details.

2010

“Dataflow support for the Checker Framework”
by Andreas Abel, Kivanc Muslu, and Brandon Myers.
Dec. 2010. CSE 501 course project.
Details.

2008

“A Universe Type Checker using JSR308”
by Phokham Nonava.
Sep. 2008. Semester project.
Details.

“Implementing a Universe Type Checker in Scala”
by Manfred Stock.
Jan. 2008. Master's thesis.
Details. Download: PDF.

2007

“Visualizer for Universe Type Inference Information”
by Timur Erdag.
Sep. 2007. Semester project.
Details.

“Runtime Support for Generics and Transfer in Universe Types”
by Mathias Ottiger.
Aug. 2007. Master's thesis, co-supervised with A. Rudich.
Details. Download: PDF.

“Generic Universe Types in JML”
by Robin Züger.
July 2007. Master's thesis.
Details. Download: PDF.

“Universe Type System for Scala”
by Daniel Schregenberger.
June 2007. Master's thesis.
Details. Download: PDF.

“An Isabelle Formalization of the Universe Type System”
by Martin Klebermaß.
Apr. 2007. Master's thesis, co-supervised with Prof. T. Nipkow, T. U. München.
Details. Download: PDF.

“Testing Tool for Compilers”
by Dominique Schneider.
Mar. 2007. Semester project.
Details. Download: PDF.

“Combining Runtime and Static Universe Type Inference”
by Andreas Fürer.
Mar. 2007. Master's thesis.
Details. Download: PDF.

2006

“Universe Type System for Eiffel”
by Annetta Schaad.
Oct. 2006. Semester project.
Details. Download: PDF.

“MultiJava, JML, and Generics”
by Ovidio Mallo.
Oct. 2006. Semester project.
Details. Download: PDF.

“Integration of Universe Type System Tools into Eclipse”
by Paolo Bazzi.
Oct. 2006. Semester project.
Details. Download: PDF.

“Static Universe Type Inference using a SAT-Solver”
by Matthias Niklaus.
June 2006. Master's thesis.
Details. Download: PDF.

“Practical Runtime Universe Type Inference”
by Marco Bär.
May 2006. Master's thesis.
Details. Download: PDF.

“Ownership in Design Patterns”
by Stefan Nägeli.
Mar. 2006. Master's thesis.
Details. Download: PDF.

“Interaction with Ownership Graphs”
by Marco Meyer.
Mar. 2006. Semester project.
Details. Download: PDF.

“Implementing Purity and Side Effect Analysis for Java Programs”
by David Graf.
Mar. 2006. Semester project.
Details. Download: PDF.

2005

“Static Universe Type Inference”
by Nathalie Kellenberger.
Oct. 2005. Master's thesis.
Details. Download: PDF.

“Implementation of a Universe type checker in ESC/Java2”
by Dirk Wellenzohn.
Oct. 2005. Semester project.
Details. Download: PDF.

“Runtime Universe Type Inference”
by Frank Lyner.
July 2005. Master's thesis.
Details. Download: PDF.

“Bytecode support for the Universe type system and compiler”
by Alex Suzuki.
Mar. 2005. Semester project.
Details. Download: PDF.

“Applying the Universe Type System to an Industrial Application”
by Thomas Hächler.
Mar. 2005. Master's thesis.
Details. Download: PDF.

2004

“Dynamic Typechecking in the Universe Type System”
by Daniel Schregenberger.
Oct. 2004. Semester project.
Details. Download: PDF.

“Testcases for the Universe type system compiler”
by Yann Müller.
Sep. 2004. Project assistant.
Details.

“Static Fields in the Universe Type System”
by Thomas Hächler.
July 2004. Semester project.
Details. Download: PDF.



(This webpage was created with bibtex2web.)