 | 2010 |
|---|
| 9 |       | Emil Axelsson,
Koen Claessen,
Mary Sheeran,
Josef Svenningsson,
David Engdal,
Anders Persson:
The Design and Implementation of Feldspar - An Embedded Language for Digital Signal Processing.
IFL 2010: 121-136 |
| 8 | | Emil Axelsson,
Koen Claessen,
Gergely Dévai,
Zoltán Horváth,
Karin Keijzer,
Bo Lyckegård,
Anders Persson,
Mary Sheeran,
Josef Svenningsson,
András Vajda:
Feldspar: A domain specific language for digital signal processing algorithms.
MEMOCODE 2010: 169-178 |
| 2009 |
|---|
| 7 | | Josef Svenningsson,
David Sands:
Specification and Verification of Side Channel Declassification.
Formal Aspects in Security and Trust 2009: 111-125 |
| 6 | | Josef Svenningsson,
David Sands:
Specification and Verification of Side Channel Declassification
CoRR abs/0912.2952: (2009) |
| 2006 |
|---|
| 5 | | Tobias Gedell,
Jörgen Gustavsson,
Josef Svenningsson:
Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis.
APLAS 2006: 200-216 |
| 2004 |
|---|
| 4 | | Niklas Broberg,
Andreas Farre,
Josef Svenningsson:
Regular expression patterns.
ICFP 2004: 67-78 |
| 2002 |
|---|
| 3 | | Josef Svenningsson:
Shortcut fusion for accumulating parameters & zip-like functions.
ICFP 2002: 124-132 |
| 2001 |
|---|
| 2 | | Jörgen Gustavsson,
Josef Svenningsson:
Constraint Abstractions.
PADO 2001: 63-83 |
| 2000 |
|---|
| 1 | | Jörgen Gustavsson,
Josef Svenningsson:
A Usage Analysis with Bounded Usage Polymorphism and Subtyping.
IFL 2000: 140-157 |
Data released under the ODC-BY 1.0 license — See also our legal information page