Contact

Tel_+49 681 302-5583
Mail_
Room_429
Address_Saarland Informatics Campus
Building E1 3
66123 Saarbrücken
Germany

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

Summer Term 2012

Winter Term 2011

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]

MSc Thesis

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

BSc Thesis

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