Also see the student projects sorted by category.


2018

“Pluggable Type Systems”
by Baorui Zhou.
Jan. 2018. Winter 2018 URI student (ongoing).
Details.

2017

“Checker Framework IDE Integration”
by Haaris Ahmed.
Dec. 2017. Fall 2017 URA student (started September 2017).
Details.

“Pluggable Type Systems”
by Sadaf Tajik.
Sep. 2017. MASc student (ongoing).
Details.

“Control Flow Graph Enhancements”
by Shinya Yoshida.
Aug. 2017. Spring 2017 GSoC student (started April 2017). Google Summer of Code (GSoC) is a competitive intern funding program from Google. Dr. Dietl is one of the GSoC organizers for the Checker Framework project and was the GSoC advisor for Mr. Yoshida.
Details.

“Checker Framework Live Demo Improvements”
by Boying (Ashley) Liu.
Aug. 2017. Spring 2017 URA student (started May 2017).
Details.

“Benchmark infrastructure and Web Interface”
by Vic Hao-Chien Lin.
Aug. 2017. Spring 2017 USRA student (started May 2017).
Details.

“A General Pluggable Type Inference Framework and its use for Data-flow Analysis”
by Jason Jianchu Li.
Apr. 2017. MASc student (started May 2015).
Details.

2016

“Investigate a new Pluggable Type System”
by Andy Chang Ho Lee.
Dec. 2016. Fall 2016 URA student (started September 2016).
Details.

“Checker Framework Rise4Fun Integration”
by Fernando Peña.
Dec. 2016. Fall 2016 URA student (started September 2016).
Details.

“Checker Framework Performance Improvements”
by Thomas Feng.
Dec. 2016. Fall 2016 student volunteer (started September 2016).
Details.

“Checker Framework NetBeans Integration”
by Tony Rong Tan Wang.
Dec. 2016. Fall 2016 URA student (started September 2016).
Details.

“Checker Framework Java~9 Update”
by Matthew D'Souza.
Dec. 2016. Fall 2016 URA student (started September 2016).
Details.

“Checker Framework IntelliJ Integration”
by Steven Jia.
Dec. 2016. Fall 2016 URA student (started September 2016).
Details.

“Checker Framework Inference Improvements”
by Luqman Aden.
Dec. 2016. Fall 2016 USRA student (started September 2016).
Details.

“Type Systems for Low-Level Languages”
by Daniel Gerald Caccamo.
Sep. 2016. MASc student (ongoing).
Details.

“Pluggable Type Systems”
by Yameng Li.
June 2016. MEng student volunteer (started May 2016).
Details.

“Checker Framework Performance Profiling”
by Shruti Dembla.
May 2016. Winter 2016 URA student (started January 2016).
Details.

“Gradual Pluggable Typing in Java”
by Dan Brotherston.
Apr. 2016. MMath student (started May 2014); co-supervised with Ondrej Lhoták.
Details.

“Pluggable Type Systems”
by Mier Ta.
Jan. 2016. MASc student (ongoing).
Details.

“Pluggable Type Systems”
by Charles Zhuo Chen.
Jan. 2016. MASc student (ongoing).
Details.

2015

“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.

2014

“Pluggable Type Systems”
by Jeff Luo.
July 2014. PhD student (ongoing).
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.)