Klaas Boesche

BSc

Contact

Tel		+49 681 302-N/A
Fax		+49 681 302-3065
Mail
Room		429
Address		FR 6.2 Informatik Campus E1 3 66123 Saarbrücken Germany

Research Interests

Program Analyses for Verification, in particular Typestate Verification and Specification Inference

Teaching

Summer Term 2012

Lecture: Programmierung 2

Winter Term 2011

Reading Group: Recent Advances in Programming Languages and Compilers

Publications

BSc Thesis

Demand-driven Pointer Analysis on Explicit Dependence Graphs
Boesche, K.
B.Sc. Thesis, Saarland University, 2009. [pdf] [bib]

@BACHELORSTHESIS{Boesche:2009:BSc,
     author = { Klaas Boesche },
     title = { {D}emand-driven {P}ointer {A}nalysis on {E}xplicit {D}ependence {G}raphs},
     school = {Saarland University},
     year = { 2009 },
     month = { October },
     webpdf  = {http://www.cdl.uni-saarland.de/publications/theses/boesche_bsc.pdf},
         abstract = { },
 }