Ulrik Pagh Schultz

Soon (1st of September 2005) associate professor (lektor) at Maersk McKinney Moeller Institute of Production Technology (MIP) at University of Southern Denmark, in Odense, Denmark.

Currently (2000-2005) research associate professor (forskningslektor) at DAIMI (the department of computer science at Aarhus University), in Aarhus, Denmark. I'm working in the object-oriented group, and I currently take part in the activities at the Alexandra Institute.

Formerly (1997-2000) PhD student in the Compose Group of IRISA , at the University of Rennes, Bretagne, France. My Thesis advisor was Charles Consel.

Formerly (1991-1997) Masters student at DAIMI, University of Aarhus, Denmark

For an overview of my current research interests and publications, please take a look below.

Teaching

Courses at DAIMI:

• AOOP - Aspects of Object-Oriented Programming, 2nd quarter fall 2004.
• Affiliated with, not teaching: DIAS - Design and Implementation of Application Servers
• SP - Software Patterns, 1st quarter fall 2004. CANCELLED fall 2005!
• PEIOOL - Partial Evaluation for Imperative and Object-Oriented Languages, 4th quarter spring 2004.
• PvC - Pervasive Computing (with Jakob Bardram), fall 2003.
• PASA - Patterns and Software Architecture (with Henrik Bærbak), spring 2003.
• DOPC - Distributed Objects and Pervasive Computing (with Karsten Schulz Terp-Nielsen from Oracle), fall 2002.
• OOVM - Design and Implementation of Object-Oriented Virtual Machines (with Lars Bak, now at OOVM), spring 2002.

Other teaching activities:

• 2 or 3 day intensive course on patterns, with focus on design patterns.

Research Interests

• Partial evaluation and object-oriented programming. Specifically, the former applied to the latter, which is the subject of my PhD thesis. I focus on the Java language, and on consolidating partial evaluation with object-oriented concepts. A first prototype of my partial evaluator for Java, JSpec, is accessible from the JSpec home page. There are some papers describing some of the work that I've done in this area, accessible below. Specifically, I work with partial evaluation of imperative languages, object-oriented programming, design patterns and object component architectures.
• Java in embedded systems.
  • Object-oriented programming for low-end embedded systems. I've worked on the JEPES project (see LCTES'03 paper below).
  • JavaCard. SmartCards are becoming more and more popular, and Java is one option for programming these devices. However, resources (processor power and memory) are very limited. I've investigated code compression for such devices (see TOPLAS'00 paper below).
• The Harissa environment, for efficiently executing optimized Java programs in an environment of mixed binary, pre-compiled code, and dynamically loaded, interpreted code (see IEEE Software paper below for details). I currently use Harissa for experiments with partial evaluation of Java programs, also explained in below. I'm the maintainer of Harissa.
• Block structure. Block structure stands at the base of most modern programming languages. Lambda-lifting is a well-known transformation that removes block-structure, making programs flat. The inverse transformation, dubbed lambda-dropping, restores program nesting and makes use of the lexical scope thus created. For more information, see TCS'00 paper below.

Publications

• Partial evaluation and object-oriented languages:
  • U.P. Schultz. A Unification of Inheritanc and Automatic Program Specialization. Presented at GPCE'04.
  • H. Markmann Andersen and U.P. Schultz. Declarative Specialization for Object-Oriented-Program Specialization. Appeared at PEPM'04, Aug 2004. Final version [PDF].
  • U.P. Schultz, Julia L. Lawall and Charles Consel. Automatic Program Specialization for Java. Appeared in July 2003 issue 25 of TOPLAS. Preprint of final version [PDF] (©ACM) (Preliminary version available as DAIMI PB-551 (Abstract) [PDF] [PS].)
  • U. P. Schultz. Partial Evaluation for Class-Based Object-Oriented Languages. Appeared at PADO-II, May 2000 (slides). Final version, PS or PDF (© Springer-Verlag). (Preliminary version available as DAIMI PB-552 (Abstract) [PDF] [PS].)
  • U.P. Schultz. Object-Oriented Software Engineering using Partial Evaluation. PhD thesis, University of Rennes, December 2000. English version available as IRISA PI 1395 (publication interne/tech report) in PS or PDF.
  • U. P. Schultz, Julia L. Lawall, Charles Consel. Specialization patterns. Appeared at ASE'00 (slides). Final version, PS or PDF (© IEEE). (Preliminary version available as a technical report.)
  • U. P. Schultz, J. L. Lawall, C. Consel and G. Muller. Towards Automatic Specialization of Java Programs. Appeared at ECOOP'99 (slides). Final version, PS or PDF (© Springer-Verlag). (Preliminary version also available as a technical report.)
• Java in embedded systems:
  • U.P. Schultz, K. Burgaard, F.G. Christensen, J.L. Kristensen. Compiling Java for Low-End Embedded Systems. Appeared at LCTES'03. Preprint of final version [PDF] (©ACM)
  • L.R. Clausen, U.P. Schultz, C. Consel, G. Muller. Java Bytecode Compression for Low-End Embedded Systems. Published in TOPLAS volume 22(3), May 2000. Preprint of final version, PS or PDF (© ACM).
• Pervasive computing:
  • K.H. Mortensen, K.R. Schougaard, U.P. Schultz. Distance-Based Access Modifiers Applied to Safety in Home Networks. Presented at EUSAI'2004.
• Partial evaluation and component-oriented programming:
  • U. P. Schultz. Black-box program specialization. Presented at WCOP'99 (slides). Final version, PS or PDF.
• Block structure:
  • O. Danvy and U.P. Schultz. Lambda-Lifting in Quadratic Time. Published in Journal of Functional and Logic Programming, 2004. An ealier version appeared at FLOPS'02.
  • O. Danvy and U. P. Schultz. Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. Appeared in TCS Volume 248/1-2. Preprint of final version, PS or PDF (© Elsevier Publishing). Also available as a technical report. (An earlier version was presented at PEPM'97, and is available as a technical report.)
• Java optimization:
  • G. Muller and U. P. Schultz. Harissa: Efficient Java Execution by Global Program Optimizations. Appeared in the March 1999 issue of IEEE Software Magazine. Preliminary version available, PS or PDF.

Technical Reports and other unpublished material

• U.P. Schultz. Object-Oriented Program Specialization: Aspects Into Aspects - Or Maybe Not? Position paper at WGP'01 (an ECOOP'01 workshop), 2001. [PS] or [PDF]

Other On-line Material

• U. P. Schultz. Explicit and Implicit Aspects of Scope and Block Structure. Master's thesis, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, June 1997. This work was awarded "Best Danish master's thesis in computer science in the year of 1997" by The Danish Computer Science Society (Dansk Datalogi Selskab). (Abstract) (Postscript) (DVI)

• Ulrik Pagh Schultz's timetable
• Ulrik Pagh Schultz's personal homepage