Jörg Kreiker
(born Jörg Bauer)
About Me
I was born in Dillingen/Saar, Germany, on September 22, 1976.
I received my Abitur from
Albert-Schweitzer-Gymnasium, Dillingen,
and my Diploma in computer science from the
computer science department at
Saarland University,
Saarbrücken, Germany, in 2001.
In 1999 and 2000 I spent a year as an exchange student at
DAIMI,
Aarhus University, Denmark.
From April 2001 till December 2006, I have worked as a research assistant at
the compiler design lab
at Saarland university. In December 2006, I received my Phd from
Saarland University under the supervision of
Reinhard Wilhelm.
In 2007, I worked as
a postdoc at the Informatics and
Mathematic Modelling Group, Technical University of Denmark.
Since January 2008, I work as a postdoc at the Chair for Foundations of Software Reliability
and Theoretical Computer Science at the Technical University of Munich.
Research Interests
- Static Program Analysis
- Shape Analysis
- Network Protocols
- Graph Transformation Systems
- Process Calculi
Teaching
Publications
- BIBTEX with links to all papers.
- Edited
- Program Analysis and Compilation, Theory and Practice:
Essays Dedicated to Reinhard Wilhelm,
T. Reps, M. Sagiv, and J. Bauer (eds.),
Lecture Notes in Computer Science, Vol. 4444, Springer-Verlag, 2007.
[For information, click here;
or access the online version
here.]
- Thomas Reps, Mooly, Sagiv, Jörg Bauer.
An Appreciation of the Work of Reinhard Wilhelm.
In the above Festschrift.
- Conferences
- Jörg Kreiker, Helmut Seidl, Vesal Vojdani.
Shape Analysis of Low-level C with Overlapping Structures.
11th International Conference on Verification, Model Checking,
and Abstract Interpretation. VMCAI 2010
- Jörg Bauer, Iovka Boneva, Arend Rensink, Marcos Kurban.
A Modal-Logic Based Graph Abstraction.
4th International Conference on Graph Transformation 2008.
ICGT2008.
- Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard.
Relational Analysis of Correlation.
15th International Static Analysis Symposium, 2008.
SAS 2008.
Here is the long version containing additional material.
- Jörg Bauer, Werner Damm, Tobe Toben, Bernd Westphal.
Verification and Synthesis of OCL Constraints via Topology Analysis: A Case Study.
Applications of Graph Transformations with Industrial Relevance Third International Symposium, 2007.
AGTIVE 2007.
- Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard.
Relational Analysis for Delivery of Services.
3rd edition of Trustworthy Global Computing 2007, 2007.
TGC'07.
- Jörg Bauer, Tobe Toben, Bernd Westphal.
Mind the Shapes: Abstraction Refinement via Topology Invariants.
5th International Symposium on Automated Technology for Verification and Analysis, 2007.
ATVA 2007.
- Jörg Bauer, Reinhard Wilhelm.
Static Analysis of Dynamic Communication Systems.
14th International Static Analysis Symposium, 2007. SAS 2007.
- Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd Westphal.
Specification and Verification of Dynamic Communication Systems.
Sixth International Conference on Application of Concurrency to System Design, 2006. ACSD 2006.
- Noam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm.
A Semantics for Procedure-Local Heaps and its Abstractions.
32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL'05.
-
- Workshops, TRs
- Jörg Bauer, Reinhard Wilhelm.
Analysis of Dynamic Communicating Systems by Hierarchical Abstraction.
Dagstuhl Seminar Proceedings 06081, 2006.
- Noam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm.
A Semantics for Procedure-Local Heaps and its Abstractions.
AVACS-TR-1, 2005. Available from www.avacs.org.
- Theses
- Analysis of Communication Topologies by Partner Abstraction.
PhD Thesis, Saarland University, 2006.
(pdf)
- A Control-Flow-Analysis for Multi-Threaded Java with Security Applications.
Diploma Thesis, Saarland University, 2001.
(ps.gz)
Awards
- EATCS Award for the best theoretical paper at ICGT 2008 for the paper
A Modal-Logic Based Graph Abstraction.
Projects
- Sensoria:
Software Engineering for Service-Oriented Overlay Computers, where
I was involved in WP3 (2007).
- AVACS: Automatic Verification
and Analysis of Complex Systems, where I was involved (from 2004 to 2006)
in the subproject S2 on Dynamic Communication Systems
Contact
Jörg Kreiker
Institut für Informatik (I7)
Technische Universitä:t München
Room 03.11.040
Boltzmannstr. 3
D-85748 Garching bei München
Germany
phone: +49-89-289-17213
fax: +49-89-289-17207
email: kreiker(at)in.tum.de