Josef Svenningsson

22 papers A 3B 2C 3Journal 4Unranked 9
YearRankTypeTitle / Venue / Authors
2017 — conf
Bridging Static and Dynamic Program Analysis using Fuzzy Logic.
QAPL
Jacob Lidman, Josef Svenningsson
2017 — conf
Fuzzy Set Abstraction.
NSAD@SAS
Jacob Lidman, Josef Svenningsson
2016 J jnl
Embedding by Normalisation.
CoRR
Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler
2016 C conf
Everything old is new again: quoted domain-specific languages.
PEPM
Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler
2015 J jnl
Combining deep and shallow embedding of domain-specific languages.
Comput. Lang. Syst. Struct.
Josef Svenningsson, Emil Axelsson
2015 J jnl
Everything old is new again: Quoted Domain Specific Languages.
CoRR
Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler
2014 B conf
An Expressive Semantics of Mocking.
FASE
Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes
2014 — conf
Defunctionalizing push arrays.
FHPC@ICFP
Bo Joel Svensson, Josef Svenningsson
2013 C conf
An EDSL approach to high performance Haskell programming.
Haskell
Johan Ankner, Josef Svenningsson
2013 A conf
Simple and compositional reification of monadic embedded languages.
ICFP
Josef Svenningsson, Bo Joel Svensson
2012 — conf
Combining Deep and Shallow Embedding for EDSL.
Trends in Functional Programming
Josef Svenningsson, Emil Axelsson
2011 — conf
Generic Monadic Constructs for Embedded Languages.
IFL
Anders Persson, Emil Axelsson, Josef Svenningsson
2010 C conf
Feldspar: A domain specific language for digital signal processing algorithms.
MEMOCODE
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
2010 — conf
The Design and Implementation of Feldspar - An Embedded Language for Digital Signal Processing.
IFL
Emil Axelsson, Koen Claessen, Mary Sheeran, Josef Svenningsson, David Engdal, Anders Persson
2009 J jnl
Specification and Verification of Side Channel Declassification
CoRR
Josef Svenningsson, David Sands
2009 — conf
Specification and Verification of Side Channel Declassification.
Formal Aspects in Security and Trust
Josef Svenningsson, David Sands
2007 — —
Scalable Program Analysis and topics in Programming Language Design and Transformation.
Josef Svenningsson
2006 B conf
Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis.
APLAS
Tobias Gedell, Jörgen Gustavsson, Josef Svenningsson
2004 A conf
Regular expression patterns.
ICFP
Niklas Broberg, Andreas Farre, Josef Svenningsson
2002 A conf
Shortcut fusion for accumulating parameters & zip-like functions.
ICFP
Josef Svenningsson
2001 — conf
Constraint Abstractions.
PADO
Jörgen Gustavsson, Josef Svenningsson
2000 — conf
A Usage Analysis with Bounded Usage Polymorphism and Subtyping.
IFL
Jörgen Gustavsson, Josef Svenningsson