The homepage of

Josef Svenningsson

Reaching me

Research

I have a broad interest in Computer Science. Any kind of result which in some way affect the programs I write I find interesting. This includes language design for making it easier to program, language semantics for making my programs easy to understand and optimize, compiler optimizations for making my programs run faster, algorithmics for making my programs run asymptotically faster. Since I mostly program in functional languages they are the ones I mostly care about.

My Ph.D. thesis focus on techniques for speeding up (both asymptotically and in the best case) and improving the accuracy of type based program analysis.

Publications

• A usage analysis with bounded usage polymorphism and subtyping, with Jörgen Gustavsson . IFL'00. [A4ps, pdf]
• Constraint Abstractions, with Jörgen Gustavsson . PADO II'01. [A4ps, pdf]
• Shortcut fusion for accumulating parameters & zip-like functions. ICFP 2002 [A4ps, pdf]
• Regular Expression Patterns, with Niklas Broberg and Andreas Farre. ICFP 2004 [pdf]
• Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis, with Jörgen Gustavsson and Tobias Gedell. APLAS 2006 [pdf]

Teaching

• D1 Helhetsbild av datatekniken
• D1 datorintroduktion
• Programmeringsteknik D, del C
• Kompilatorkonstruktion
• Maskinnära Programmering
• Datastrukturer för D2
• Projektkurs IT1
• Projektkurs IT2
• D3-project: Haskell Wars
• Avancerad Funktionell Programmering

Other stuff

• I maintain two blogs. The first one, Josef's blog is just for random thoughts and is written in english. The second one, I Begynnelsen Var Ordet, is about christianity and is in swedish.
• I've written some greasemonkey scripts which you might be interested in.
• You may also want to look at a sausage.