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
1232002
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
The design and implementation of Feldspar
E Axelsson, K Claessen, M Sheeran, J Svenningsson, D Engdal, ...
Symposium on Implementation and Application of Functional Languages, 121-136, 2010
722010
Combining deep and shallow embedding for EDSL
J Svenningsson, E Axelsson
International symposium on trends in functional programming, 21-36, 2012
702012
Constraint abstractions
J Gustavsson, J Svenningsson
Programs as Data Objects, 63-83, 2001
492001
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
402016
Generic monadic constructs for embedded languages
A Persson, E Axelsson, J Svenningsson
International Symposium on Implementation and Application of Functional …, 2011
292011
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
262013
A usage analysis with bounded usage polymorphism and subtyping
J Gustavsson, J Svenningsson
Implementation of Functional Languages, 140-157, 2001
242001
Defunctionalizing push arrays
BJ Svensson, J Svenningsson
Proceedings of the 3rd ACM SIGPLAN Workshop on Functional High-performance …, 2014
212014
An EDSL approach to high performance Haskell programming
J Ankner, JD Svenningsson
ACM SIGPLAN Notices 48 (12), 1-12, 2013
192013
Combining deep and shallow embedding of domain-specific languages
J Svenningsson, E Axelsson
Computer Languages, Systems & Structures 44, 143-165, 2015
162015
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
International Conference on Fundamental Approaches to Software Engineering …, 2014
122014
Polymorphism, subtyping, whole program analysis and accurate data types in usage analysis
T Gedell, J Gustavsson, J Svenningsson
Asian Symposium on Programming Languages and Systems, 200-216, 2006
82006
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
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
42013
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