Emil Axelsson

Publikationer (35)
Projekt (0)

Visar 35 publikationer

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

Artikel i vetenskaplig tidskrift

2016

Compilation as a Typed EDSL-to-EDSL Transformation

Emil Axelsson

Rapport

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 i 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 i 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

Artikel i vetenskaplig tidskrift

2015

Programmable Signatures

Anders Persson, Emil Axelsson

Trends in Functional Programming

Övrigt konferensbidrag

2015

Lightweight Higher-Order Rewriting in Haskell

Emil Axelsson, Andrea Vezzosi

Trends in Functional Programming

Övrigt konferensbidrag

2015

Efficient Monadic Streams

Josef Svenningsson, Emil Axelsson, Anders Persson et al

Trends in Functional Programming

Övrigt konferensbidrag

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 i proceeding

2014

Efficient Evaluation for Untyped and Compositional Representations of Expressions

Emil Axelsson

Rapport

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-03-October-2014, p. 1-12

Paper i proceeding

2014

Efficient and Compositional Evaluation of Untyped Expressions

Emil Axelsson

Trends in Functional Programming

Övrigt konferensbidrag

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 LNCS, p. 21-36

Paper i 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

Artikel i vetenskaplig tidskrift

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 i 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 LNCS, p. 402-439

Paper i 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 i 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 LNCS

Paper i 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 i 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

Övrigt konferensbidrag

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 i 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 i 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

Övrigt konferensbidrag

2009

Fast Layout Exploration Using the Wired System

Emil Axelsson, KASYAB PARMESH SUBRAMANIYAN, Mary Sheeran et al

Swedish System-on-Chip Conference (SSoCC)

Övrigt konferensbidrag

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 i proceeding

2008

Flexible Hardware Design at Low Levels of Abstraction

Emil Axelsson

Proceedings of Designing Correct Circuits

Övrigt konferensbidrag

2008

Functional Programming Enabling Flexible Hardware Design at Low Levels of Abstraction

Emil Axelsson

Doktorsavhandling

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 i 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

Övrigt konferensbidrag

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)

Artikel i övrig tidskrift

2006

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

Emil Axelsson

Licentiatavhandling

2005

Teaching Hardware Description and Verification

Emil Axelsson, Magnus Björk, Mary Sheeran

2005 International Conference on Microelectronic Systems Education, p. 119-120

Paper i 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 i proceeding

2005

Wired: Wire-aware Circuit Description

Emil Axelsson

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

Övrigt konferensbidrag

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

Övrigt konferensbidrag

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.

Det kan finnas fler projekt där Emil Axelsson medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.