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
1252010
Combining deep and shallow embedding for EDSL
J Svenningsson, E Axelsson
International symposium on trends in functional programming, 21-36, 2012
862012
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
742011
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
482016
Generic monadic constructs for embedded languages
A Persson, E Axelsson, J Svenningsson
Implementation and Application of Functional Languages: 23rd International …, 2012
332012
Regular expression patterns
N Broberg, A Farre, J Svenningsson
Proceedings of the ninth ACM SIGPLAN international conference on Functional …, 2004
312004
Simple and compositional reification of monadic embedded languages
JD Svenningsson, BJ Svensson
ACM SIGPLAN Notices 48 (9), 299-304, 2013
282013
Defunctionalizing push arrays
BJ Svensson, J Svenningsson
Proceedings of the 3rd ACM SIGPLAN Workshop on Functional High-performance …, 2014
272014
A usage analysis with bounded usage polymorphism and subtyping
J Gustavsson, J Svenningsson
Implementation of Functional Languages, 140-157, 2001
272001
Combining deep and shallow embedding of domain-specific languages
J Svenningsson, E Axelsson
Computer Languages, Systems & Structures 44, 143-165, 2015
252015
An EDSL approach to high performance Haskell programming
J Ankner, JD Svenningsson
ACM SIGPLAN Notices 48 (12), 1-12, 2013
232013
Specification and verification of side channel declassification
J Svenningsson, D Sands
International Workshop on Formal Aspects in Security and Trust, 111-125, 2009
162009
An expressive semantics of mocking
J Svenningsson, H Svensson, N Smallbone, T Arts, U Norell, J Hughes
Fundamental Approaches to Software Engineering: 17th International …, 2014
122014
Polymorphism, subtyping, whole program analysis and accurate data types in usage analysis
T Gedell, J Gustavsson, J Svenningsson
Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney …, 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
72013
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