Peter A. Jonsson Graduate student, working on program transformations for Timber in the Timber project. Note: this page design is stolen from Xavier Leroy

Interests:

The goal of my research is to allow programmers to write robust programs that can be compiled into efficient executables.

My current research is on making supercompilation feasible for real world programs.

Publications:

• [Mar 2009] Supercompiling Overloaded Functions, Peter A. Jonsson and Johan Nordlander; submitted to ICFP 2009. We show how the dictionary allocations mentioned by Wadler & Blott can be automatically eliminated with an ordinary supercompiler. We also show how a small extension to the folding mechanism of our supercompiler can give results similar to those by the static argument transformation (SAT).
• [Dec 2008] (Revised) A Declarative Service Modeling Language with Efficient Caching, Viktor Leijon, Peter A. Jonsson and Stefan Wallin; submitted to DSL WC 2009. We present a semantics together with a caching scheme for efficient implementation of the service modeling language
• [Nov 2008] Positive Supercompilation for a Higher Order Call-By-Value Language: Extended Proofs, Peter A. Jonsson and Johan Nordlander; Research report 2008:17. This is the companion technical report of the paper with the same title.
• [Jul 2008] Positive Supercompilation for a higher order call-by-value language, Peter A. Jonsson and Johan Nordlander; submitted to POPL 2009. This is a revised algorithm of the one presented in my licentiate thesis. We develop a sound program transformation that removes intermediate structures and performs program specialization for a strict functional language.
• [May 2008] Positive Supercompilation for a higher order call-by-value language, Peter A. Jonsson; Licentiate thesis. This is an extended version of our presentation at IFL, including proofs. We develop a sound program transformation that removes intermediate structures and performs program specialization for a strict functional language.

Teaching:

Previously

• D0004E, Computer System Security and Management (2007, 2008, 2009)
• SMD139, Computer System Security and Management (2005, 2006)
• SMD163, Compiler Construction (2006)

How to contact me:

Fun stuff