The homepage of
Josef Svenningsson
I am an assistant professor in the
Functional
Programming Group at the CSE
department
at Chalmers.
I defended my PhD thesis successfully March 23 2007.
Reaching me
My office number is 5451 and my phone number is +46 31 772 1072.
Email : josefs@chalmers.se
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 focuses on techniques for speeding up (both
asymptotically and in the best case) and improving the accuracy of
type based program analysis.
Publications
- Bridging static and dynamic program analysis using fuzzy logic, with Jacob Lidman. QAPL 2017.
[pdf]
- Everything old is new again: Quoted Domain Specific Languages, with Shayan Najd, Sam Lindley and Philip Wadler. PEPM 2016.
[pdf]
- Combining Deep and Shallow Embedding of Domain-Specific Languages, with Emil Axelsson. [pdf]
- Defunctionalizing Push Arrays, with Joel Svensson. FHPC 2014.
[pdf]
- An Expressive Semantics of Mocking, with Hans Svensson,
Nicholas Smallbone, Thomas Arts, Ulf Norell and John Hughes.
FASE 2014.
[pdf]
- Counting and Occurrence Sort for GPUs using an Embedded Language,
with Joel Svensson and Mary Sheeran. FHPC 2013.
[pdf]
- An EDSL Approach to High Performance Haskell Programming,
with Johan Ankner. Haskell Symposium 2013.
[pdf]
- Simple and Compositional Reification of Monadic Embedded Languages,
with Joel Svensson. ICFP 2013. [pdf]
- Combining Deep and Shallow Embedding for EDSL, with Emil
Axelsson. TFP 2012. [pdf]
- Generic monadic constructs for embedded languages, with Anders
Persson and Emil Axelsson. IFL 2011. [pdf]
Winner of the Peter Landin
prize for best paper.
- The Limit of the CPS Hierarchy. Continuation Workshop 2011
- Testing AUTOSAR software components using QuichCheck, with
Richard Svenningsson, Rolf Johansson, Thomas Arts, Ulf Norell and
Hans Svensson.
International Conference on Advanced Mathematical and Computational Tools in Metrology
and
Testing. April 2011
- The Design and Implementation of Feldspar, an Embedded Language for Digital Signal Processing, with Emil Axelsson, Koen Claessen, Mary Sheeran, Anders Persson and David Engdal. IFL 2010 [pdf]
-
Feldspar: A Domain Specific Language for Digital Signal Processing
algorithms, with Emil Axelsson, Koen Claessen, Gergely Dévai,
Zoltán
Horváth, Karin Keijzer, Bo Lyckegård , Anders Persson, Mary
Sheeran, and
András Vajda. MEMOCODE
2010 [pdf]
-
Specification and Verification of Side Channel Declassification, with
David Sands.
FAST 2009
-
Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types
in Usage Analysis, with
Jörgen Gustavsson
and Tobias Gedell.
APLAS 2006
[pdf]
-
Regular Expression Patterns, with
Niklas Broberg
and
Andreas Farre.
ICFP 2004
[pdf]
-
Shortcut fusion for accumulating parameters & zip-like
functions.
ICFP 2002
[A4ps,
pdf]
-
Constraint Abstractions, with
Jörgen
Gustavsson .
PADO II'01.
[A4ps,
pdf]
-
A usage analysis with bounded usage polymorphism
and subtyping, with
Jörgen
Gustavsson .
IFL'00.
[A4ps,
pdf]
In submission
- Composable Efficient Array Computations Using Linear Types, with Jean-Philippe Bernardy and Victor Lopez Juan. [pdf]
- Efficient Monadic Streams, with Emil Axelsson, Anders Persson, and Peter A. Jonsson. [pdf]
Talks
Disclamer