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

BibTeX entry:

@unpublished{SDietzel11,
   author = {Stephanie Dietzel},
   title = {{Interning type checker case studies; verification games:
        KeyFor integration; testing framework}},
   month = apr,
   note = {Undergraduate and Master's research (started July 2011). Now at
        Tableau Software}
}

Back to the student projects sorted by date or by category.


(This webpage was created with bibtex2web.)