Follow
Josef
Title
Cited by
Cited by
Year
Shortcut fusion for accumulating parameters & zip-like functions
J Svenningsson
ACM SIGPLAN Notices 37 (9), 124-132, 2002
1292002
Feldspar: A domain specific language for digital signal processing algorithms
E Axelsson, K Claessen, G Dévai, Z Horváth, K Keijzer, B Lyckegård, ...
Eighth ACM/IEEE International Conference on Formal Methods and Models for …, 2010
1222010
Combining deep and shallow embedding for EDSL
J Svenningsson, E Axelsson
Trends in Functional Programming: 13th International Symposium, TFP 2012, St …, 2013
802013
The design and implementation of feldspar: An embedded language for digital signal processing
E Axelsson, K Claessen, M Sheeran, J Svenningsson, D Engdal, ...
Implementation and Application of Functional Languages: 22nd International …, 2011
722011
Constraint abstractions
J Gustavsson, J Svenningsson
Programs as Data Objects, 63-83, 2001
512001
Everything old is new again: quoted domain-specific languages
S Najd, S Lindley, J Svenningsson, P Wadler
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and …, 2016
422016
Generic monadic constructs for embedded languages
A Persson, E Axelsson, J Svenningsson
Implementation and Application of Functional Languages: 23rd International …, 2012
302012
Regular expression patterns
N Broberg, A Farre, J Svenningsson
Proceedings of the ninth ACM SIGPLAN international conference on Functional …, 2004
292004
Simple and compositional reification of monadic embedded languages
JD Svenningsson, BJ Svensson
ACM SIGPLAN Notices 48 (9), 299-304, 2013
272013
A usage analysis with bounded usage polymorphism and subtyping
J Gustavsson, J Svenningsson
Implementation of Functional Languages, 140-157, 2001
262001
Defunctionalizing push arrays
BJ Svensson, J Svenningsson
Proceedings of the 3rd ACM SIGPLAN Workshop on Functional High-performance …, 2014
252014
An EDSL approach to high performance Haskell programming
J Ankner, JD Svenningsson
ACM SIGPLAN Notices 48 (12), 1-12, 2013
222013
Combining deep and shallow embedding of domain-specific languages
J Svenningsson, E Axelsson
Computer Languages, Systems & Structures 44, 143-165, 2015
202015
Specification and verification of side channel declassification
J Svenningsson, D Sands
Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009 …, 2010
162010
An Expressive Semantics of Mocking.
J Svenningsson, H Svensson, N Smallbone, T Arts, U Norell, J Hughes
FASE, 385-399, 2014
122014
Polymorphism, subtyping, whole program analysis and accurate data types in usage analysis
T Gedell, J Gustavsson, J Svenningsson
Lecture notes in computer science 4279, 200, 2006
82006
Counting and occurrence sort for GPUs using an embedded language
JD Svenningsson, BJ Svensson, M Sheeran
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance …, 2013
62013
On the duality of streams. how can linear types help to solve the lazy IO problem
JP Bernardy, J Svenningsson
IFL: Implementation and Application of Functional Languages 208, 95-130, 2015
52015
An efficient algorithm for a sharing analysis with polymorphism and subtyping
J Svenningsson
Masters thesis, June, 2000
52000
Composable efficient array computations using linear types
JP Bernardy, VL Juan, J Svenningsson
Unpublished Draft, 2016
32016
The system can't perform the operation now. Try again later.
Articles 1–20