Emil Axelsson

Visar 36 publikationer

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
Artikel i vetenskaplig tidskrift
2015

Lightweight Higher-Order Rewriting in Haskell

Emil Axelsson, Andrea Vezzosi
Lecture Notes in Computer Science. Vol. 9547, p. 1-21
Paper i 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 i proceeding
2015

Programmable Signatures

Anders Persson, Emil Axelsson
Lecture Notes in Computer Science. 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

Lightweight Higher-Order Rewriting in Haskell

Emil Axelsson, Andrea Vezzosi
Trends in Functional Programming
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2015

Efficient Monadic Streams

Josef Svenningsson, Emil Axelsson, Anders Persson et al
Trends in Functional Programming
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2015

Programmable Signatures

Anders Persson, Emil Axelsson
Trends in Functional Programming
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2014

Efficient and Compositional Evaluation of Untyped Expressions

Emil Axelsson
Trends in Functional Programming
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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 i proceeding
2013

Combining Deep and Shallow Embedding for EDSL

Josef Svenningsson, Emil Axelsson
Lecture Notes in Computer Science. Vol. 7829, 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

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

Feldspar: Application and Implementation

Emil Axelsson, Mary Sheeran
Lecture Notes in Computer Science. Vol. 7241, p. 402-439
Artikel i vetenskaplig tidskrift
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
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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 i 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 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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2009

Fast Layout Exploration Using the Wired System

Emil Axelsson, KASYAB PARMESH SUBRAMANIYAN, Mary Sheeran et al
Swedish System-on-Chip Conference (SSoCC)
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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
2006

Using Lava and Wired for Design Exploration

Emil Axelsson, Koen Lindström Claessen, Mary Sheeran
Artikel i övriga tidskrifter
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 Description

Emil Axelsson
Proceedings of TECHCON, Semiconductor Research Corporation. Portland, Oregon, Oct 2005
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

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.