Contact

Tel	_	+49 681 302-5583
Mail	_
Address	_	Saarland Informatics Campus Building E1 3 66123 Saarbrücken Germany
Room	_	429
	_

Klaas Boesche

Research Interests

• Programming languages and Type Systems
• Combining static analyses and SMT solving
• Synthesis and Verification in compilers

Projects

• AnyDSL: A Framework for rapid development of domain-specific languages.
• 2012-12 to 2014-10 Mode Analysis within MBAT

Teaching

Winter Term 2012

• Proseminar: Das Erfüllbarkeitsproblem SAT

Summer Term 2012

• Lecture: Programmierung 2

Winter Term 2011

• Reading Group: Recent Advances in Programming Languages and Compilers

Publications

Conferences

• Shallow Embedding of DSLs via Online Partial Evaluation - GPCE 2015
  (Best Paper Award)
  Leißa, R., Boesche, K., Hack, S., Membarth, R. and Slusallek, P.
  Proceedings of the 2015 International Conference on Generative Programming: Concepts and Experiences, 2015. [doi] [pdf] [bib]
  

  @CONFERENCE{LBHMS:2015,
       author          = {Roland Lei{\ss}a and Klaas Boesche and Sebastian Hack and Richard Membarth and Philipp Slusallek},
       title           = {Shallow Embedding of {DSLs} via Online Partial Evaluation},
       booktitle       = {Proceedings of the 2015 International Conference on Generative Programming: Concepts and Experiences},
       doi             = {10.1145/2814204.2814208},
       booktitle_short = {GPCE},
       webpdf          = {http://www.cdl.uni-saarland.de/papers/gpce15.pdf},
       award           = {Best Paper Award},
       year            = {2015},
   }

MSc Thesis

• Typestate Inference with Preconditions
  Boesche, K.
  M.Sc. Thesis, Saarland University, 2012. [pdf] [bib]
  

  @MASTERSTHESIS{Boesche:2012:MSc,
       author = { Klaas Boesche },
       title = { {T}ypestate {I}nference with {P}reconditions },
       school = {Saarland University},
       year = { 2012 },
       month = { February },
       webpdf  = {http://www.cdl.uni-saarland.de/publications/theses/boesche_msc.pdf},
       abstract = { },
   }

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 = { },
   }