Josef Svenningsson

Publications (26)
Projects (0)

Showing 26 publications

2018

Fuzzy Set Abstraction

Jacob Lidman, Josef Svenningsson

Electronic Notes in Theoretical Computer Science. Vol. 334, p. 17-29

Journal article

2017

Bridging Static and Dynamic Program Analysis using Fuzzy Logic

Jacob Lidman, Josef Svenningsson

Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol. 250 (250), p. 111-126

Paper in proceeding

2016

Everything old is new again: Quoted Domain Specific Languages

Shayan Najd Javadipour, Sam Lindley, Josef Svenningsson et al

PEPM 2016 Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, p. 25-36

Paper in proceeding

2015

Combining deep and shallow embedding of domain-specific languages

Josef Svenningsson, Emil Axelsson

Computer Languages, Systems and Structures. Vol. 44, p. 143-165

Journal article

2015

Efficient Monadic Streams

Josef Svenningsson, Emil Axelsson, Anders Persson et al

Trends in Functional Programming

Other conference contribution

2014

An EDSL approach to high performance Haskell programming

Josef Svenningsson, Johan Ankner

ACM SIGPLAN Notices. Vol. 12, p. 1-11

Journal article

2014

Defunctionalizing Push arrays

Joel Bo Svensson, Josef Svenningsson

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP. 3rd ACM SIGPLAN Workshop on Functional High-Performance Computing, FHPC 2014; Gothenburg; Sweden; 4 September 2014 through 4 September 2014, p. 43-52

Paper in proceeding

2014

An expressive semantics of mocking

Josef Svenningsson, Hans Svensson, Nicholas Smallbone et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8411 LNCS, p. 385-399

Paper in proceeding

2013

Simple and compositional reification of monadic embedded languages

Josef Svenningsson, Joel Bo Svensson

ACM SIGPLAN Notices. Vol. 48 (9), p. 299-304

Journal article

2013

Combining Deep and Shallow Embedding for EDSL

Josef Svenningsson, Emil Axelsson

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7829 LNCS, p. 21-36

Paper in proceeding

2013

Simple and Compositional Reification of Monadic Embedded Languages: Functional pearl

Josef Svenningsson, Joel Bo Svensson

The 18th ACM SIGPLAN International Conference on Functional Programming, ICFP'13, p. 299-304

Paper in proceeding

2013

Counting and Occurrence Sort for GPUs using an Embedded Language

Josef Svenningsson, Joel Bo Svensson, Mary Sheeran

The 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing, FHPC'13. Vol. 48 (12), p. 37-45

Paper in proceeding

2013

An EDSL approach to high performance haskell programming

Johan Ankner, Josef Svenningsson

SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 48 (12), p. 1-11

Journal article

2012

Generic Monadic Constructs for Embedded Languages

Anders Persson, Emil Axelsson, Josef Svenningsson

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7257 LNCS

Paper in proceeding

2011

The Design and Implementation of Feldspar: An Embedded Language for Digital Signal Processing

Emil Axelsson, Koen Lindström Claessen, Mary Sheeran et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6647, p. 121-136

Paper in proceeding

2011

Generic monadic constructs for embedded languages

Anders Persson, Emil Axelsson, Josef Svenningsson

IFL 2011, the 23rd Symposium on Implementation and Application of Functional Languages

Other conference contribution

2010

Specification and Verification of Side Channel Declassification

Josef Svenningsson, David Sands

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5983, p. 111-125

Paper in proceeding

2010

Feldspar: A Domain Specific Language for Digital Signal Processing algorithms

Emil Axelsson, Koen Lindström Claessen, Gergely Dévai et al

Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign, p. 169-178

Paper in proceeding

2010

The Design and Implementation of Feldspar: an Embedded Language for Digital Signal Processing

Emil Axelsson, Koen Lindström Claessen, Mary Sheeran et al

IFL 2010, the 22nd Symposium on Implementation and Application of Functional Languages

Other conference contribution

2009

Specification and Verification of Side Channel Declassification

Josef Svenningsson, David Sands

Report

2007

Scalable Program Analysis and topics in Programming Language Design and Transformation

Josef Svenningsson

Doctoral thesis

2006

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

Tobias Gedell, Jörgen Gustavsson, Josef Svenningsson

The Fourth ASIAN Symposium on Programming Languages and Systems. Vol. LNCS (4279), p. 200-216

Paper in proceeding

2004

Regular Expression Patterns

Niklas Broberg, Andreas Farre, Josef Svenningsson

Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, p. 67 - 78

Paper in proceeding

2002

Shortcut fusion for accumulating parameters & zip-like functions

Josef Svenningsson

SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 37 (9), p. 124-132

Paper in proceeding

2001

Constraint Abstractions

Jörgen Gustavsson, Josef Svenningsson

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. LNCS (2053), p. 63-83

Paper in proceeding

2000

A usage analysis with bounded usage polymorphism and subtyping

Jörgen Gustavsson, Josef Svenningsson

Implementation of Functional Languages 2000

Paper in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

There are no projects.

There might be more projects where Josef Svenningsson participates, but you have to be logged in as a Chalmers employee to see them.