Thomas Ströder

Thomas Ströder

Lehr- und Forschungsgebiet Informatik 2
RWTH Aachen
52056 Aachen
Germany
E-Mail: stroeder@informatik.rwth-aachen.de
Phone: +49-241/80-21241
Fax: +49-241/80-22217
Room: 4209, Ahornstr. 55

Research

I have been a research assistant and PhD student at Lehr- und Forschungsgebiet Informatik 2 since March 2010. Moreover, I am one of the main developers of the Automated Program Verification Environment (AProVE) tool. My fields of interest include (but are not limited to):

Automated Termination Analysis of Imperative Programs based on the Low-Level Virtual Machine (LLVM) Framework
Automated Termination, Complexity, and Determinacy Analysis of Logic Programs
Abstract Interpretation and Symbolic Evaluation
Program Verification
Algorithmic Synthesis
Artificial Intelligence and Knowledge Representation

Teaching Activities (Lehr- und Forschungsgebiet Informatik 2)

Vorlesung Programmierung (WS 12/13)
Seminar Verifikationsverfahren (WS 12/13)
Vorlesung Datenstrukturen und Algorithmen (SS 12)
Seminar Satisfiability Checking (SS 12)
Proseminar Fortgeschrittene Programmierkonzepte in Java, Haskell und Prolog (SS 12)
Vorlesung Programmierung (WS 11/12)
Seminar Automatische Terminierungsanalyse (WS 11/12)
Seminar Satisfiability Checking (WS 11/12)
Vorlesung Term Rewriting Systems (SS 11)
Seminar Termersetzungssysteme - Aktuelle Themen und Erweiterungen (SS 11)
Proseminar Fortgeschrittene Programmierkonzepte in Java, Haskell und Prolog (SS 11)
Vorlesung Logic Programming (WS 10/11)
Seminar Verifikationsverfahren (WS 10/11)
Seminar Satisfiability Checking (WS 10/11)
Vorlesung Formale Systeme, Automaten, Prozesse (SS 10)
Seminar Automatische Terminierungsanalyse (SS 10)
Proseminar Fortgeschrittene Programmierkonzepte in Java, Haskell und Prolog (SS 10)

Publications

Journals

P. Schneider-Kamp, J. Giesl, T. Ströder, A. Serebrenik, and R. Thiemann
Automated Termination Analysis for Logic Programs with Cut
In Proceedings of the 26th International Conference on Logic Programming (ICLP '10), Edinburgh, UK, Theory and Practice of Logic Programming, 10(4-6):365-381, 2010. ©Cambridge University Press.
Extended version appeared as Technical Report AIB-2010-10, RWTH Aachen, Germany.

Conferences

J. Giesl, T. Ströder, P. Schneider-Kamp, F. Emmes, and C. Fuhs
Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs
In Proceedings of the 14th International Symposium on Principles and Practice of Declarative Programming (PPDP '12), Leuven, Belgium, pages 1-12, 2012. ©ACM Press.
Extended version appeared as Technical Report AIB-2012-12, RWTH Aachen, Germany.
Slides of a related talk by J. Giesl.
M. Brockschmidt, T. Ströder, C. Otto, and J. Giesl
Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode
In Proceedings of the 2nd International Conference on Formal Verification of Object-Oriented Software (FoVeOOS '11), Turin, Italy, Lecture Notes in Computer Science 7421, pages 123-141, 2012. ©Springer-Verlag
Extended version appeared as Technical Report AIB-2011-19, RWTH Aachen, Germany.
An experimental evaluation of the presented techniques is available.
Slides for the presentation by M. Brockschmidt at FoVeOOS '11 (won best paper and presentation award)
T. Ströder, F. Emmes, P. Schneider-Kamp, J. Giesl, and C. Fuhs
A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog
In Proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR '11), Odense, Denmark, 2011, Lecture Notes in Computer Science 7225, pages 237-252, 2012. ©Springer-Verlag
Extended version appeared as Technical Report AIB-2011-08, RWTH Aachen, Germany.
T. Ströder, P. Schneider-Kamp, and J. Giesl
Dependency Triples for Improving Termination Analysis of Logic Programs with Cut
In Proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR '10), Hagenberg, Austria, Lecture Notes in Computer Science 6564, pages 184-199, 2011. ©Springer-Verlag
Extended version appeared as Technical Report AIB-2010-12, RWTH Aachen, Germany.
T. Ströder, M. Pagnucco
Realising Deterministic Behavior from Multiple Non-Deterministic Behaviors
In Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI '09), Pasadena, California, USA, pages 936-941, 2009. ©Morgan Kaufmann Publishers Inc.

Thomas Ströder