A Usage Analysis with Bounded Usage Polymorphism and Subtyping. - Jörgen Gustavsson; Josef Svenningsson (IFL, 2000)

Constraint Abstractions. - Jörgen Gustavsson; Josef Svenningsson (PADO, 2001)

Shortcut fusion for accumulating parameters & zip-like functions. - Josef Svenningsson (ICFP, 2002)

Regular expression patterns. - Niklas Broberg; Andreas Farre; Josef Svenningsson (ICFP, 2004)

Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis. - Tobias Gedell; Jörgen Gustavsson; Josef Svenningsson (APLAS, 2006)

Scalable Program Analysis and topics in Programming Language Design and Transformation. - Josef Svenningsson (2007)

Specification and Verification of Side Channel Declassification. - Josef Svenningsson; David Sands 001 (Formal Aspects in Security and Trust, 2009)

The Design and Implementation of Feldspar - An Embedded Language for Digital Signal Processing. - Emil Axelsson; Koen Claessen; Mary Sheeran; Josef Svenningsson; David Engdal; Anders Persson (IFL, 2010)

Feldspar: A domain specific language for digital signal processing algorithms. - Emil Axelsson; Koen Claessen; Gergely Dévai; Zoltán Horváth; Karin Keijzer; Bo Lyckegård; Anders Persson; Mary Sheeran; Josef Svenningsson; András Vajda (MEMOCODE, 2010)

Generic Monadic Constructs for Embedded Languages. - Anders Persson; Emil Axelsson; Josef Svenningsson (IFL, 2011)

Combining Deep and Shallow Embedding for EDSL. - Josef Svenningsson; Emil Axelsson (Trends in Functional Programming, 2012)

An EDSL approach to high performance Haskell programming. - Johan Ankner; Josef Svenningsson (Haskell, 2013)

Simple and compositional reification of monadic embedded languages. - Josef Svenningsson; Bo Joel Svensson (ICFP, 2013)

Counting and occurrence sort for GPUs using an embedded language. - Josef David Svenningsson; Bo Joel Svensson; Mary Sheeran (FHPC@ICFP, 2013)

An Expressive Semantics of Mocking. - Josef Svenningsson; Hans Svensson; Nicholas Smallbone; Thomas Arts; Ulf Norell; John Hughes 001 (FASE, 2014)

Defunctionalizing push arrays. - Bo Joel Svensson; Josef Svenningsson (FHPC@ICFP, 2014)

Combining deep and shallow embedding of domain-specific languages. - Josef Svenningsson; Emil Axelsson (Comput. Lang. Syst. Struct., 2015)

Everything old is new again: quoted domain-specific languages. - Shayan Najd; Sam Lindley; Josef Svenningsson; Philip Wadler (PEPM, 2016)

Embedding by Normalisation. - Shayan Najd; Sam Lindley; Josef Svenningsson; Philip Wadler (CoRR, 2016)

Bridging Static and Dynamic Program Analysis using Fuzzy Logic. - Jacob Lidman; Josef Svenningsson (QAPL@ETAPS, 2017)

Fuzzy Set Abstraction. - Jacob Lidman; Josef Svenningsson (NSAD@SAS, 2017)