Thomas Würthinger

Institut für Systemsoftware

Johannes Kepler Universität Linz
Fachbereich Informatik

Christian Doppler Labor

Home

General
Staff
Contact
Partners
Alumni

Research
Areas
Projects
Papers
Books
Reports

Teaching
Lectures
Exams
B.Projects
M.Theses
PhD Theses
Go Abroad

Misc
Library
Seminars
Gallery
Links
Search

Webmaster

Dipl.-Ing. Thomas Würthinger

Address: Altenberger Straße 69, 4040 Linz, Austria
Room: HF 305
Consultations: arranged by phone or e-mail or Wed 13-14 or Wed 15-17 or Mon 17-18:30
Phone: + 43-732-2468-7137
Fax: + 43-732-2468-7138
Email:

Research

PhD work on dynamic code evolution. For the current status go to the Sun Wiki.
Main interests: Virtual machines, modular programming, and visualization tools.
Join the Ideal Graph Visualizer project on kenai.com! The Ideal Graph Visualizer is part of the OpenJDK. Current development version available as Java Webstart.
Summer 2008 and Summer 2009: Internship at Sun Microsystems as a member of the Maxine project.

A designer knows he has achieved perfection not when there is nothing left to add, but when there is nothing left to take away. (Saint-Exupery)

If I had more time, I would have written you a shorter letter. (Pascal)

Premature optimization is the root of all evil in programming. (Donald Knuth)

Publications

Ben L. Titzer, Thomas Würthinger, Doug Simon, and Marcelo Cintra:
Improving Compiler-Runtime Separation with XIR
Conference on Virtual Execution Environments (VEE'10), accepted for publication.
Lukas Stadler, Christian Wimmer, Thomas Würthinger, Hanspeter Mössenböck, John Rose
Lazy Continuations for Java Virtual Machines
In Proceedings of the International Conference on Principles and Practice of Programming in Java, pages 143–152. ACM Press, August 2009.
Thomas Würthinger, Michael Van De Vanter, Doug Simon
Multi-Level Virtual Machine Debugging using the Java Platform Debugger Architecture
Conference on Perspectives of System Informatics (PSI'09), Novosibirsk, Russia, June 2009.
Thomas Würthinger, Christian Wimmer, Hanspeter Mössenböck
Array Bounds Check Elimination in the Context of Deoptimization
Special Issue on Principles and Practices of Programming in Java (PPPJ 2007), February 2009.
Thomas Würthinger, Christian Wimmer, Hanspeter Mössenböck
Visualization of Program Dependence Graphs
Conference on Compiler Construction (CC'08), Budapest, Hungary, April 2008.
Thomas Würthinger, Christian Wimmer, Hanspeter Mössenböck:
Array Bounds Check Elimination for the Java HotSpot™ Client Compiler
Conference on Principles and Practice of Programming in Java (PPPJ'07), Lisbon, Portugal, September 2007.
Thomas Würthinger Visualization of Program Dependence Graphs
Master's thesis, Johannes Kepler University Linz, August 2007.
Thomas Würthinger Visualization of Java Control Flow Graphs
Bachelor thesis, Johannes Kepler University Linz, October 2006.
Thomas Würthinger Formal Compiler Verification with ACL2
Bachelor thesis, Johannes Kepler University Linz, July 2006.

Current Supervised Master Theses

Current Supervised Bachelor Theses

Competitions

Catalysts Programming Contest June 2009, 1st place
ACM Contest World Finals 2007 in Tokyo, 26th place
ACM Contest, South-Western-Europe Regional 2006 in Lisbon, 2nd place
6th Challenge 24 in Budapest, 11th place
ACM Contest, South-Western-Europe Regional 2005 in Paris, 4th place
5th Challenge 24 in Budapest, 16th place (together with Lukas Stadler instead of Roland Schatz)

Team members at ACM Contest and Challenge 24: Roland Schatz and Christian Wirth
Coach at ACM Contest World Finals 2007 in Tokyo: Dominik Hurnaus

Favorite Development Environment

Ideal Graph Visualizer

Start the Ideal Graph Visualizer (current development version) via Java WebStart!
Download HotSpot test file
Download Maxine test file

Term papers

Incremental Garbage Collection: The Train Algorithm, paper