Josef Svenningsson

According to our database1, Josef Svenningsson authored at least 21 papers between 2000 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Fuzzy Set Abstraction.
Electron. Notes Theor. Comput. Sci., 2018

2017
Bridging Static and Dynamic Program Analysis using Fuzzy Logic.
Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017

2016
Embedding by Normalisation.
CoRR, 2016

Everything old is new again: quoted domain-specific languages.
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016

2015
Combining deep and shallow embedding of domain-specific languages.
Comput. Lang. Syst. Struct., 2015

2014
Defunctionalizing push arrays.
Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014

An Expressive Semantics of Mocking.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013
Counting and occurrence sort for GPUs using an embedded language.
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013

Simple and compositional reification of monadic embedded languages.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

An EDSL approach to high performance Haskell programming.
Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013

2012
Combining Deep and Shallow Embedding for EDSL.
Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

2011
Generic Monadic Constructs for Embedded Languages.
Proceedings of the Implementation and Application of Functional Languages, 2011

2010
Feldspar: A domain specific language for digital signal processing algorithms.
Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

The Design and Implementation of Feldspar - An Embedded Language for Digital Signal Processing.
Proceedings of the Implementation and Application of Functional Languages, 2010

2009
Specification and Verification of Side Channel Declassification.
Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009

2007
Scalable Program Analysis and topics in Programming Language Design and Transformation.
PhD thesis, 2007

2006
Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2004
Regular expression patterns.
Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

2002
Shortcut fusion for accumulating parameters & zip-like functions.
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

2001
Constraint Abstractions.
Proceedings of the Programs as Data Objects, Second Symposium, 2001

2000
A Usage Analysis with Bounded Usage Polymorphism and Subtyping.
Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000


  Loading...