Josef Svenningsson

Visar 26 publikationer

2018
Open Access icon

Fuzzy Set Abstraction

Jacob Lidman, Josef Svenningsson
Electronic Notes in Theoretical Computer Science. Vol. 334, p. 17-29
Artikel i vetenskaplig tidskrift
2017
Open Access icon

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 i 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 i 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
Artikel i vetenskaplig tidskrift
2015

Efficient Monadic Streams

Josef Svenningsson, Emil Axelsson, Anders Persson et al
Trends in Functional Programming
Övrigt konferensbidrag
2014

An EDSL approach to high performance Haskell programming

Josef Svenningsson, Johan Ankner
ACM SIGPLAN Notices. Vol. 12, p. 1-11
Artikel i vetenskaplig tidskrift
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 i proceeding
2014
Open Access icon

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 i proceeding
2013

Simple and compositional reification of monadic embedded languages

Josef Svenningsson, Joel Bo Svensson
ACM SIGPLAN Notices. Vol. 48 (9), p. 299-304
Artikel i vetenskaplig tidskrift
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 i 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 i 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 i 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
Artikel i vetenskaplig tidskrift
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 i 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 i 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
Övrigt konferensbidrag
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 i 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 i 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
Övrigt konferensbidrag
2009

Specification and Verification of Side Channel Declassification

Josef Svenningsson, David Sands
Rapport
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 i proceeding
2004
Open Access icon

Regular Expression Patterns

Niklas Broberg, Andreas Farre, Josef Svenningsson
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, p. 67 - 78
Paper i 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 i 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 i proceeding
2000

A usage analysis with bounded usage polymorphism and subtyping

Jörgen Gustavsson, Josef Svenningsson
Implementation of Functional Languages 2000
Paper i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.
Det kan finnas fler projekt där Josef Svenningsson medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.

Feedback och support

Om du har frågor, behöver hjälp, hittar en bugg eller vill ge feedback kan du göra det här nedan. Du når oss också direkt per e-post research.lib@chalmers.se.

Om tjänsten

Research.chalmers.se innehåller information om forskning på Chalmers, publikationer och projekt inklusive information om finansiärer och samarbetspartners.

Läs mer om tjänsten, täckningsgrad och vilka som kan se informationen

Personuppgifter och cookies

Tillgänglighet

Citation Style Language
citeproc-js (Frank Bennett)

Länkar

Chalmers bibliotek
Chalmers forskning
Chalmers examensarbeten

Chalmers tekniska högskola

412 96 GÖTEBORG
TELEFON: 031-772 10 00
WWW.CHALMERS.SE