Contact Phone: +1 765 496 9419 E-Mail: [ PGP ] Address

Research interests

After my dissertation I joined Purdue University as Post Doctoral Research Associate working with Jan Vitek.

Development of a program slicer for the Java programming language
After designing an algorithm for object-oriented languages, I am currently working on more precise extensions for multi-threaded programs.

Static and Dynamic Information Flow Control with Dependence Graphs
With the theoretical foundations laid, I am currently focusing extensions to object-oriented features like dynamic dispatch and also for intransitive noninterference.

Concurrency problems
Based on a set of problematic interleaving patterns, I designed a dynamic serializability violation detector during an internship with IBM Research.

Publications

Projects

• VALSOFT/Joana

Advised thesis subjects

• HiWi-Job: JOANA-Plugin for Eclipse (assigned)

Presentations

• Dynamic Detection of Atomic-Set-Serializability Violations. Dagstuhl Seminar Design and Validation of Concurrent Systems, September 2009.
• Information flow analysis for Java. 26. Workshop of GI section "Programming Languages and Programming Concepts", May 2009.
• Practical information flow control for Java with JOANA. GI FOMSESS Meeting 2009, March 2009.
• Precise Information Flow Control in Dependence Graphs with Declassifications. Technische Universität Darmstadt, June 2008.
• Making Information Flow Control Practical with Program Slicing. PLID'07, August 2007.
• Information Flow Control Based on Path Conditions in Dependence Graphs. GI FOMSESS Meeting 2006, June 2006.
• Precise Slicing of Java Programs. Dagstuhl Seminar Beyond Program Slicing, November 2005.

Professional Activties

• Invited reviewer for Information Processing Letters, Software: Practice and Experience, Computer Languages, Systems & Structures, The Journal of Logic and Algebraic Programming, and ACM TOPLAS

Former Teaching

• Graduate seminar Software Technology 2005/06, Software Security 2006 and Software Technology 2006/07
• Tutorial of Software Quality Assurance in 2004, 2006, 2007
• Tutoring SEP (Software Engineering Practicum) in term 2005, 2005/06, 2006, 2006/07, 2007/08
• Correction of PdP (undergraduate programming practicum) since winter term 2002/ 2003
• Summercamp 2003 - Group Tetris

Supervised Student Projects

• Masters Projects
• Slicing and Path Conditions with CodeSurfer (Bernd Nürnberger)
• Static path conditions for Java (Rüdiger Schaade)
• Visualization Techniques for Dependence Graphs (Siegfried Weber)
• Dynamic path conditions in Dependence Graphs (Martin Grimme) [IHK award]
• Eclipse plugin for program slicing (Kai Brückner)
• Information Flow Control in PDG's (Frank Nodes)
• Graduate Projects
• Integrating Efficient IFC Algorithms into Eclipse (Alexander Stockinger)
• A Layout-Algorithm for PDG's (Marieke Westerheide)
• Mapping bytecode to source code in Eclipse 3 (Thomas Unfried)
• Pruning PDG's (Tobias Eichinger)
• Hierarchical security attributes in PDG's (Frank Nodes)
• Regression tests for PDG's (Andreas Busler)
• Source code mapping of nodes in PDG's with an Eclipse plugin (Josef Heiduczek)

Background

• Introduction of generics (Java 1.5) to JGraphT, a graph library
• Participation in Summer School Marktoberdorf 2004 and FOSAD 2004
• Participation in first Summercamp (1996) at Passau University: My group was Computer Graphics