“Improved dataflow analysis for the Checker Framework” by Stefan Heule. July 2013. Undergraduate and Master's research (started September 2011). Now at Google, California, USA.

BibTeX entry:

@unpublished{SHeule11,
   author = {Stefan Heule},
   title = {{Improved dataflow analysis for the Checker Framework}},
   month = jul,
   note = {Undergraduate and Master's research (started September 2011).
        Now at Google, California, USA}
}

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


(This webpage was created with bibtex2web.)