Computer Science
System Software
Portrait Dipl.-Ing. Dr. Thomas Würthinger
Oracle Labs


Research

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

  • Thomas Würthinger, Andreas Woess, Lukas Stadler, Gilles Duboscq, Christian Wimmer:
    Self-Optimizing AST Interpreters
    To be published in Proceedings of the 7th Symposium on Dynamic Languages (DLS), 2012

  • Lukas Stadler, Gilles Duboscq, Hanspeter Mössenböck, Thomas Würthinger:
    Compilation Queuing and Graph Caching for Dynamic Compilers
    To be published in Proceedings of the 6th workshop on Virtual Machines and Intermediate Languages (VMIL), 2012

  • Thomas Würthinger, Danilo Ansaloni, Walter Binder, Christian Wimmer, Hanspeter Mössenböck:
    Safe and Atomic Run-time Code Evolution and its Application to Dynamic AOP
    Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications 2011 (OOPSLA'11), Portland Oregon, October 22-27, 2011.
  • Thomas Würthinger: Dynamic Code Evolution for Java
    PhD thesis, Johannes Kepler University Linz, April 2011.
  • Thomas Würthinger, Christian Wimmer, Lukas Stadler:
    Dynamic Code Evolution for Java
    8th International Conference on the Principles and Practice of Programming in Java, Vienna, Austria, September 15-17, 2010.
  • Thomas Würthinger, Walter Binder, Danilo Ansaloni, Philippe Moret, and Hanspeter Mössenböck:
    Applications of Enhanced Dynamic Code Evolution for Java in GUI Development and Dynamic Aspect-oriented Programming
    9th International Conference on Generative Programming and Component Engineering (GPCE'10), Eindhoven, The Netherlands, October 10-13, 2010.
  • Lukas Stadler, Thomas Würthinger, Christian Wimmer:
    Efficient Coroutines for the Java Platform
    8th International Conference on the Principles and Practice of Programming in Java, Vienna, Austria, September 15-17, 2010.
  • Thomas Würthinger, Walter Binder, Danilo Ansaloni, Philippe Moret, and Hanspeter Mössenböck:
    Improving Aspect-Oriented Programming with Dynamic Code Evolution in an Enhanced Java Virtual Machine
    7th ECOOP'10 Workshop on Reflection, AOP and Meta-Data for Software Evolution.
  • Ben L. Titzer, Thomas Würthinger, Doug Simon, and Marcelo Cintra:
    Improving Compiler-Runtime Separation with XIR
    Conference on Virtual Execution Environments (VEE'10).
  • 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.
  • Thomas Würthinger: Incremental Garbage Collection: The Train Algorithm
    Term paper, Johannes Kepler University Linz, June 2005

Competitions

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

Portrait

Ideal Graph Visualizer

Alumni Page