|
|
|
Contact |
IPD Prof. Snelting , Building 50.34 Am Fasanengarten 5 76131 Karlsruhe Germany |
|
Consultation Hours: nach Vereinbarung |
|
Research interests
Formal semantics, static program analysis
Courses
- Lecture: Software Engineering Practice , Wintersemester 2018/2019
- Laboratory: Theorem prover lab: applications in programming languages , Sommersemester 2018
- Laboratory: Software Engineering Practice - λ-IDE , Wintersemester 2017/2018
- Lecture: Semantics of programming languages , Sommersemester 2017
- Lecture: Software Engineering Practice , Sommersemester 2017
- Common Excercises: Tutorial for Semantics of programming languages , Sommersemester 2017
- Lecture: Software Engineering Practice , Wintersemester 2016/2017
- Laboratory: Theorem prover lab: applications in programming languages , Sommersemester 2016, Bestes Praktikum
- Lecture: Software Engineering Practice , Sommersemester 2015
- Common Excercises: Tutorial for Semantics of programming languages , Sommersemester 2015
- Lecture: Software Engineering Practice , Wintersemester 2014/2015
- Lecture: Software Engineering Practice , Sommersemester 2014
- Lecture: Software Engineering Practice , Wintersemester 2013/2014
- Laboratory: Theorem prover lab: applications in programming languages , Sommersemester 2013, Bestes Praktikum
- Lecture: Programming Paradigms , Wintersemester 2012/2013
- Common Excercises: Programming Paradigms - Exercises , Wintersemester 2012/2013
- Lecture: Software Engineering Practice , Sommersemester 2012
- Lecture: Software Engineering Practice , Wintersemester 2011/2012
- Lecture: Software Engineering Practice - SudoPhone , Wintersemester 2011/2012
- Lecture: Software Engineering Practice - Smartphoneprogramming in Java , Sommersemester 2011
- Laboratory: Theorem prover lab: applications in programming languages , Sommersemester 2011
- Lecture: Software Engineering Practice: DivingComputerApp - Security-sensitive Applications for Android , Wintersemester 2010/2011
- Seminary: Programmkalküle für Parallelität , Sommersemester 2010
- Lecture: Programmieren , Wintersemester 2009/2010
- Tutorial: Tutorien zu Programmieren , Wintersemester 2009/2010
- Übungsschein: Programmieren für Wiederholer , Sommersemester 2009
- Lecture: Programming , Wintersemester 2008/2009
- Tutorial: Tutorial for Programming , Wintersemester 2008/2009
Publications
2018
-
Illi Isabellistes Se Custodes Egregios Praestabant
Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday 2018, pp. 267--282 : S. Bischof, J. Breitner, D. Lohner, G. Snelting
2017
-
Minimal Static Single Assignment Form
Archive of Formal Proofs January 2017 : M. Wagner, D. Lohner
2016
-
The meta theory of the Incredible Proof Machine
Archive of Formal Proofs May 2016 : J. Breitner, D. Lohner -
Verified Construction of Static Single Assignment Form
Archive of Formal Proofs February 2016 : S. Ullrich, D. Lohner -
Verified Construction of Static Single Assignment Form
25th International Conference on Compiler Construction 2016, pp. 67--76 (CC 2016) : S. Buchwald, D. Lohner, S. Ullrich
2010
-
Proving Information Flow Noninterference by Reusing a Machine-Checked
Correctness Proof for Slicing
6th International Verification Workshop - VERIFY-2010 2010 : D. Wasserrab, D. Lohner
2009
-
On PDG-Based Noninterference and its Modular Proof
Proceedings of the 4th Workshop on Programming Languages and Analysis for Security June 2009, pp. 31--44 : D. Wasserrab, D. Lohner, G. Snelting
Projects
Advised thesis projects
assigned
- Programmieren-Tutor, HiWi-Job
- Software security analysis with Isabelle/HOL, HiWi-Job
finished
- Odyssee, HiWi-Job
- Call Arity vs. Demand Analysis, masters thesis
- Formalization of SSA-form, bachelor thesis
- Verified Implementation of Patricia trees, study thesis
- Formalization of SSA-form, masters thesis
- Functional summary edge computation for PDGs, bachelor/study thesis
- Verified implementation for data dependencies, bachelor/study thesis
- Verified implementation for control dependencies, bachelor/study thesis