Josef Svenningsson

According to our database, Josef Svenningsson authored at least 21 papers between 2000 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Fuzzy Set Abstraction.

Jacob Lidman, Josef Svenningsson

Proceedings of the Seventh Workshop on Numericaland Symbolic Abstract Domains, 2017

Bridging Static and Dynamic Program Analysis using Fuzzy Logic.

Jacob Lidman, Josef Svenningsson

Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017

2016

Embedding by Normalisation.

Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler

CoRR, 2016

Everything old is new again: quoted domain-specific languages.

Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler

Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016

2015

Combining deep and shallow embedding of domain-specific languages.

Josef Svenningsson, Emil Axelsson

Comput. Lang. Syst. Struct., 2015

2014

Defunctionalizing push arrays.

Bo Joel Svensson, Josef Svenningsson

Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014

An Expressive Semantics of Mocking.

Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

Counting and occurrence sort for GPUs using an embedded language.

Josef David Svenningsson, Bo Joel Svensson, Mary Sheeran

Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013

Simple and compositional reification of monadic embedded languages.

Josef Svenningsson, Bo Joel Svensson

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

An EDSL approach to high performance Haskell programming.

Johan Ankner, Josef Svenningsson

Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013

2012

Combining Deep and Shallow Embedding for EDSL.

Josef Svenningsson, Emil Axelsson

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

2011

Generic Monadic Constructs for Embedded Languages.

Anders Persson, Emil Axelsson, Josef Svenningsson

Proceedings of the Implementation and Application of Functional Languages, 2011

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

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

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

Proceedings of the Implementation and Application of Functional Languages, 2010

2009

Specification and Verification of Side Channel Declassification.

Josef Svenningsson, David Sands

Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009

2007

Scalable Program Analysis and topics in Programming Language Design and Transformation.

Josef Svenningsson

PhD thesis, 2007

2006

Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis.

Tobias Gedell, Jörgen Gustavsson, Josef Svenningsson

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2004

Regular expression patterns.

Niklas Broberg, Andreas Farre, Josef Svenningsson

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

2002

Shortcut fusion for accumulating parameters & zip-like functions.

Josef Svenningsson

Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

2001

Constraint Abstractions.

Jörgen Gustavsson, Josef Svenningsson

Proceedings of the Programs as Data Objects, Second Symposium, 2001

2000

A Usage Analysis with Bounded Usage Polymorphism and Subtyping.

Jörgen Gustavsson, Josef Svenningsson

Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000