Emil Axelsson

Showing 35 publications

2017

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
2016

Lightweight Higher-Order Rewriting in Haskell

Emil Axelsson, Andrea Vezzosi
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9547, p. 1-21
Paper in proceeding
2016

Programmable Signatures

Anders Persson, Emil Axelsson
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9547, p. 124-135
Paper in proceeding
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 proceeding
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
Other conference contribution
2015

Efficient Monadic Streams

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

Programmable Signatures

Anders Persson, Emil Axelsson
Trends in Functional Programming
Other conference contribution
2014

Efficient and Compositional Evaluation of Untyped Expressions

Emil Axelsson
Trends in Functional Programming
Other conference contribution
2014

Stream Processing for Embedded Domain Specific Languages

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

Combining Deep and Shallow Embedding for EDSL

Josef Svenningsson, Emil Axelsson
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7829, p. 21-36
Paper in proceeding
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 proceeding
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 proceeding
2012

Feldspar: Application and Implementation

Emil Axelsson, Mary Sheeran
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 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 proceeding
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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6647, p. 121-136
Paper in proceeding
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
Other conference contribution
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 proceeding
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 proceeding
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
Other 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)
Other 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 proceeding
2008

Flexible Hardware Design at Low Levels of Abstraction

Emil Axelsson
Proceedings of Designing Correct Circuits
Other 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
Other 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 proceeding
2006

Using Lava and Wired for Design Exploration

Emil Axelsson, Koen Lindström Claessen, Mary Sheeran
Proceedings of the sixth international workshop on designing correct circuits, March, Vienna, Mary Sheeran and Tom Melham (editors)
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 proceeding
2005

Wired: Wire-aware Circuit Description

Emil Axelsson
Proceedings of TECHCON, Semiconductor Research Corporation. Portland, Oregon, Oct 2005
Other 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 proceeding
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
Other conference contribution

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

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.