Persson, Anders; Axelsson, Emil; Svenningsson, Josef: Generic Monadic Constructs for Embedded Languages. Lecture Notes in Computer Science, Implementation and Application of Functional Languages, 7257

Axelsson, Emil; Claessen, Koen; Sheeran, Mary; Svenningsson, Josef; Engdal, David; Persson, Anders: The Design and Implementation of Feldspar: An Embedded Language for Digital Signal Processing. Lecture Notes in Computer Science, Implementation and Application of Functional Languages, 6647 pp. 121-136. ISBN/ISSN: 978-3-642-24275-5

Persson, Anders; Axelsson, Emil; Svenningsson, Josef: Generic monadic constructs for embedded languages. IFL 2011, the 23rd Symposium on Implementation and Application of Functional Languages,

Axelsson, Emil; Claessen, Koen; Dévai, Gergely; Horváth, Zoltán; Keijzer, Karin; Lyckegård, Bo; Persson, Anders; Sheeran, Mary; Svenningsson, Josef; Vajda, András: Feldspar: A Domain Specific Language for Digital Signal Processing algorithms. Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign, pp. 169-178 . ISBN/ISSN: 978-142447885-9

Axelsson, Emil; Claessen, Koen; Sheeran, Mary; Svenningsson, Josef; Engdal, David; Persson, Anders: The Design and Implementation of Feldspar: an Embedded Language for Digital Signal Processing. IFL 2010, the 22nd Symposium on Implementation and Application of Functional Languages,

Svenningsson, Josef; Sands, David: Specification and Verification of Side Channel Declassification. Lecture Notes in Computer Science. 6th International Workshop on Formal Aspects in Security and Trust, FAST 2009, Eindhoven, 5-6 November 2009, 5983 pp. 111-125. ISBN/ISSN: 978-364212458-7

Svenningsson, Josef; Sands, David: Specification and Verification of Side Channel Declassification. Göteborg : Chalmers University of Technology.

Svenningsson, Josef: Scalable Program Analysis and topics in Programming Language Design and Transformation. Göteborg : Chalmers University of Technology. Diss. ISBN/ISSN: 978-91-7291-899-3

Gedell, Tobias; Gustavsson, Jörgen; Svenningsson, Josef: Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis. The Fourth ASIAN Symposium on Programming Languages and Systems, LNCS (4279) pp. 200-216.

Broberg, Niklas; Farre, Andreas; Svenningsson, Josef: Regular Expression Patterns. Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, pp. 67 - 78. ISBN/ISSN: 1-58113-905-5

Svenningsson, Josef: Shortcut fusion for accumulating parameters & zip-like functions. The 2002 International Conference on Functional Programming, October 4-6 2002, Pittsburg PA, USA, 37 (9) pp. 124-132.

Gustavsson, Jörgen; Svenningsson, Josef: Constraint Abstractions,. Second Symposium on Programs as Data Objects, LNCS (2053) pp. 63-83.

Gustavsson, Jörgen; Svenningsson, Josef: A usage analysis with bounded usage polymorphism and subtyping. Implementation of Functional Languages 2000,