Emil Axelsson

Showing 36 publications

2016

Generalising tree traversals and tree transformations to DAGs: Exploiting sharing without the pain

Patrick Bahr, Emil Axelsson
Science of Computer Programming. Vol. 137, p. 63-97
Journal article
2015

Lightweight Higher-Order Rewriting in Haskell

Emil Axelsson, Andrea Vezzosi
Lecture Notes in Computer Science. Vol. 9547, p. 1-21
Paper in proceedings
2015

Generalising Tree Traversals to DAGs - Exploiting Sharing Without the Pain

Patrick Bahr, Emil Axelsson
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, p. 27-38
Paper in proceedings
2015

Programmable Signatures

Anders Persson, Emil Axelsson
Lecture Notes in Computer Science. Vol. 9547, p. 124-135
Paper in proceedings
2015

Combining deep and shallow embedding of domain-specific languages

Josef Svenningsson, Emil Axelsson
Computer Languages, Systems and Structures. Vol. 44, p. 143-165
Journal article
2015

Lightweight Higher-Order Rewriting in Haskell

Emil Axelsson, Andrea Vezzosi
Trends in Functional Programming
Conference contribution
2015

Efficient Monadic Streams

Josef Svenningsson, Emil Axelsson, Anders Persson et al
Trends in Functional Programming
Conference contribution
2015

Programmable Signatures

Anders Persson, Emil Axelsson
Trends in Functional Programming
Conference contribution
2014

Efficient and Compositional Evaluation of Untyped Expressions

Emil Axelsson
Trends in Functional Programming
Conference contribution
2014

Stream Processing for Embedded Domain Specific Languages

Markus Aronsson, Emil Axelsson, Mary Sheeran
26th Symposium on Implementation and Application of Functional Languages, IFL 2014, Northeastern University Boston, United States, 1 October 2014 through 3 October 2014
Conference contribution
2014

Stream Processing for Embedded Domain Specific Languages

Markus Aronsson, Emil Axelsson, Mary Sheeran
Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages. Vol. 26th, p. 8:1-8:12
Paper in proceedings
2013

Combining Deep and Shallow Embedding for EDSL

Josef Svenningsson, Emil Axelsson
Lecture Notes in Computer Science. Vol. 7829, p. 21-36
Paper in proceedings
2013

Using Circular Programs for Higher-Order Syntax Functional pearl

Emil Axelsson, Koen Lindström Claessen
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 48 (9), p. 257-262
Journal article
2013

Using circular programs for higher-order syntax: Functional pearl

Emil Axelsson, Koen Lindström Claessen
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, p. 257-262
Paper in proceedings
2012

Generic Monadic Constructs for Embedded Languages

Anders Persson, Emil Axelsson, Josef Svenningsson
Lecture Notes in Computer Science, Implementation and Application of Functional Languages. Vol. 7257
Paper in proceedings
2012

Feldspar: Application and Implementation

Emil Axelsson, Mary Sheeran
Lecture Notes in Computer Science. Vol. 7241, p. 402-439
Journal article
2012

A generic abstract syntax model for embedded languages

Emil Axelsson
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 47 (9), p. 323-334
Paper in proceedings
2011

Generic monadic constructs for embedded languages

Anders Persson, Emil Axelsson, Josef Svenningsson
IFL 2011, the 23rd Symposium on Implementation and Application of Functional Languages
Conference contribution
2011

The Design and Implementation of Feldspar: An Embedded Language for Digital Signal Processing

Emil Axelsson, Koen Lindström Claessen, Mary Sheeran et al
Lecture Notes in Computer Science. Vol. 6647, p. 121-136
Paper in proceedings
2010

Efficient Code Generation from the High-level Domain-specific Language Feldspar for DSPs

Gergely Dévai, Máté Tejfel, Zoltán Gera et al
ODES-8: 8th Workshop on Optimizations for DSP and Embedded Systems, workshop associated with IEEE/ACM International Symposium on Code Generation and Optimization (CGO)
Paper in proceedings
2010

Feldspar: A Domain Specific Language for Digital Signal Processing algorithms

Emil Axelsson, Koen Lindström Claessen, Gergely Dévai et al
Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign, p. 169-178
Paper in proceedings
2010

The Design and Implementation of Feldspar: an Embedded Language for Digital Signal Processing

Emil Axelsson, Koen Lindström Claessen, Mary Sheeran et al
IFL 2010, the 22nd Symposium on Implementation and Application of Functional Languages
Conference contribution
2009

Fast Layout Exploration Using the Wired System

Emil Axelsson, KASYAB PARMESH SUBRAMANIYAN, Mary Sheeran et al
Swedish System-on-Chip Conference (SSoCC)
Conference contribution
2009

Layout Exploration of Geometrically Accurate Arithmetic Circuits

KASYAB PARMESH SUBRAMANIYAN, Emil Axelsson, Mary Sheeran et al
Proceedings of IEEE International Conference of Electronics, Circuits and Systems
Paper in proceedings
2008

Flexible Hardware Design at Low Levels of Abstraction

Emil Axelsson
Proceedings of Designing Correct Circuits
Conference contribution
2007

A Functional-Logic Library for Wired

Matthew Naylor, Emil Axelsson, Colin Runciman
Proceedings of International Workshop on Hardware Design and Functional Languages. Braga, Portugal, March 2007, p. 95-113
Conference contribution
2007

A Functional-Logic Library for Wired

Matthew Naylor, Emil Axelsson, Colin Runciman
Proceedings of the ACM SIGPLAN 2007 Haskell Workshop. Freiburg, Germany, Sept 2007, p. 37-48
Paper in proceedings
2006

Using Lava and Wired for Design Exploration

Emil Axelsson, Koen Lindström Claessen, Mary Sheeran
Magazine article
2005

Teaching Hardware Description and Verification

Emil Axelsson, Magnus Björk, Mary Sheeran
2005 International Conference on Microelectronic Systems Education, p. 119-120
Paper in proceedings
2005

Wired: Wire-aware Circuit Description

Emil Axelsson
Proceedings of TECHCON, Semiconductor Research Corporation. Portland, Oregon, Oct 2005
Conference contribution
2005

Wired: Wire-Aware Circuit Design

Emil Axelsson, Koen Lindström Claessen, Mary Sheeran
Correct Hardware Design and Verification Methods. Vol. 3725, p. 5-19
Paper in proceedings
2004

Wired - a Language for Describing Non-Functional Properties of Digital Circuits

Emil Axelsson, Mary Sheeran, Koen Lindström Claessen
Proceedings of International Workshop on Designing Correct Circuits. Barcelona, Spain, March 2004
Conference contribution

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Emil Axelsson participates, but you have to be logged in as a Chalmers employee to see them.