Emil Axelsson

Publications (35)
Projects (0)

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

Compilation as a Typed EDSL-to-EDSL Transformation

Emil Axelsson

Report

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

Programmable Signatures

Anders Persson, Emil Axelsson

Trends in Functional Programming

Other conference contribution

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

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

2014

Efficient Evaluation for Untyped and Compositional Representations of Expressions

Emil Axelsson

Report

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

2014

Efficient and Compositional Evaluation of Untyped Expressions

Emil Axelsson

Trends in Functional Programming

Other conference contribution

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

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

Paper in proceeding

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

2012

Generic Monadic Constructs for Embedded Languages

Anders Persson, Emil Axelsson, Josef Svenningsson

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7257

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

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

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

2008

Functional Programming Enabling Flexible Hardware Design at Low Levels of Abstraction

Emil Axelsson

Doctoral thesis

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

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

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

2006

A Functional Language-Based Approach to Low-Level Hardware Design

Emil Axelsson

Licentiate thesis

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 Design

Emil Axelsson, Koen Lindström Claessen, Mary Sheeran

Correct Hardware Design and Verification Methods. Vol. 3725, p. 5-19

Paper in proceeding

2005

Wired: Wire-aware Circuit Description

Emil Axelsson

Proceedings of TECHCON, Semiconductor Research Corporation. Portland, Oregon, Oct 2005

Other conference contribution

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

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.