Volker Stolz

RWTH Aachen
Lehrstuhl für Informatik II
D-52056 Aachen Germany
    

Phone:    +49 241 8021212
Fax:      +49 241 8888217
Email:    stolz@i2.informatik.rwth-aachen.de

[The picture shows two LISP-machines in a museum in Boston.]
    

Research

My main interest lies in functional programming, especially in Haskell.

I wrote my diploma thesis about Erlang-style Distributed Haskell (German): "Robuste Verteilte Programmierung in Haskell" ("Robust distributed programming in Haskell").

Together with Frank Huch I did work on an extension to Port-based Distributed Haskell using streams.

A current field of interest is the combination of specification and programming languages, e.g. generating Haskell or Java code from message sequence charts (MSCs). We are compiling a list of applications involving MSCs.

A combination of the efforts to provide a formal framework for concurrent programming and a powerful set of libraries is currently investigated in Runtime Verification of Concurrent Haskell Programs using LTL model checking techniques. Based on the Concurrent Haskell Debugger, I also developed an interactive visual pthread-debugger (by means of LD_PRELOADing a debugging library. The runtime-verifier can thus be applied online or on the trace recorded by the debugged application and has been used to discover potential lock order reversals in e.g. licq. A similar technique is used in Valgrind by J.Seward. We developed an AspectJ-based version for Java with the nom de guerre J-LO (Java Logical Observer).

For use in the above project we developed a Java binding for LTL2BA called ltl2ba4j.

More Haskell-related notes can be found here.

Teaching

• Praktikum Compilerbau im WS 05/06
• Betreuung des Seminars "Programmanalyse und Compileroptimierung" im SS 05
• Übungen zur Vorlesung "Programmanalyse und Compileroptimierung" im WS 04/05
• Übungen zur Vorlesung "Logikprogrammierung" im WS 03/04
• Betreuung des Seminars Compilerbau im SS 03
• Übungen zur Vorlesung Compilerbau im WS 02/03
• Betreuung des Seminars Deklarative Programmiersprachen im SS 02
• Übungen zur Vorlesung "Logikprogrammierung" im WS 01/02
• Praktikum Funktionale Programmierung in Haskell

Talks and Slides

• Temporal Assertions for Sequential and Concurrent Programs, PAM Seminar, CWI, NL
• Temporal Assertions using AspectJ, RV'05
• Runtime Verification of Concurrent Haskell Programs, RV'04
• Runtime Verification of Concurrent Haskell Programs, TCS Seminar Univ. of Kent at Canterbury, UK
• Synthesis of Concurrent Haskell programs from Message Sequence Charts, IFL 2003, Edinburgh
• Runtime Verification of Concurrent Haskell, WFLP 2003, Valencia
• Generierung getypter Prozeßgerüste, 20. Tagung der GI-Fachgruppe 2.1.4, Mai 2003
• Concurrency Abstractions for Concurrent Haskell, IFL 2002, Madrid
• Java Bytecode-Generierung im Rahmen eines Softwarepraktikums in Haskell, 19. Tagung der GI-Fachgruppe 2.1.4, Mai 2002
• Implementation of Port-based Distributed Haskell, IFL 2001, Stockholm
• Distributed Programming in Haskell: From Ports to Streams, 18. Tagung der GI-Fachgruppe 2.1.4, Mai 2001

Publications

E.Bodden, V.Stolz

Tracechecks: Defining semantic interfaces with temporal logic, Software Composition'06, to appear in vol. 4089 of LNCS, Springer

B.Bollig, C.Kern, M.Schlütter, V.Stolz

MSCan, a tool for analyzing MSC specifications, TACAS'06 tool-paper, LNCS Vol. 3920, Springer

E.Bodden, V.Stolz

Efficient temporal pointcuts through dynamic adivce deployment, Open and Dynamic Aspects Workshop 2006

V.Stolz, E.Bodden

Temporal Assertions using AspectJ (PDF), RV'05 - Fifth Workshop on Runtime Verification, ENTCS Vol.144(4), Elsevier, 2006

V.Stolz, F.Huch

Runtime Verification of Concurrent Haskell Programs (local PDF), RV'04 (might be dead), - Fourth Workshop on Runtime Verification, ENTCS Vol.113, Elsevier, 2005

V.Stolz

Synthesis of Concurrent Haskell programs from Message Sequence Charts, Draft. Proc. of IFL 2003, Edinburgh.

V.Stolz, F.Huch

Runtime Verification of Concurrent Haskell, Draft. Proc. of WFLP 2003, Valencia.

V.Stolz, F.Huch

Concurrency Abstractions for Concurrent Haskell, Draft. Proc. of IFL 2002, Madrid.

V.Stolz, F.Huch

Implementation of Port-based Distributed Haskell, Draft. Proc. of IFL 2001, Stockholm. GZipped PostScript, 16 pp.

V.Stolz

Implementierung von Port-basiertem Distributed Haskell, extended abstract, German, Proc. of the Colloquium on Programmiersprachen und Grundlagen der Programmierung, Aachener Informatik Berichte 2001-11. GZipped PostScript, 5 pp.

Miscellaneous

• Aus gegebenem Anlass: Anmerkungen zum Rundschreiben Meldepflich zur Arbeitssuche
• I maintained the Aachener Informatik-Berichte (technical reports) until the end of 2005.
• mutt_ldap_query.pl queries the RWTH LDAP-server Abook.rwth-aachen.de, for use with mutt.
• Some patches and links on FreeBSD. Together with Alexander Langer I'm mirroring FreeBSD on the SunSITE CEUR.
• My PGP/GPG key
• λ: a different state of mind
• Den Mensaplan des Studentenwerks Aachen stelle ich in einer aufbereiteten Form zur Verfügung.