Publications
2012Axelsson, Emil: A generic abstract syntax model for embedded languages. 17th ACM SIGPLAN International Conference on Functional Programming, ICFP 2012. Copenhagen, 9 - 15 September 2012, pp. 323-334. ISBN/ISSN: 978-145031054-3
Axelsson, Emil; Sheeran, Mary: Feldspar: Application and Implementation. Lecture Notes in Computer Science , 7241 pp. 402-439.
Persson, Anders; Axelsson, Emil; Svenningsson, Josef: Generic Monadic Constructs for Embedded Languages. Lecture Notes in Computer Science, Implementation and Application of Functional Languages, 7257
2011Axelsson, Emil; Claessen, Koen; Sheeran, Mary; Svenningsson, Josef; Engdal, David; Persson, Anders: The Design and Implementation of Feldspar: An Embedded Language for Digital Signal Processing. Lecture Notes in Computer Science, Implementation and Application of Functional Languages, 6647 pp. 121-136. ISBN/ISSN: 978-3-642-24275-5
Persson, Anders; Axelsson, Emil; Svenningsson, Josef: Generic monadic constructs for embedded languages. IFL 2011, the 23rd Symposium on Implementation and Application of Functional Languages,
2010Axelsson, Emil; Claessen, Koen; Dévai, Gergely; Horváth, Zoltán; Keijzer, Karin; Lyckegĺrd, Bo; Persson, Anders; Sheeran, Mary; Svenningsson, Josef; Vajda, András: Feldspar: A Domain Specific Language for Digital Signal Processing algorithms. Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign, pp. 169-178 . ISBN/ISSN: 978-142447885-9
Axelsson, Emil; Claessen, Koen; Sheeran, Mary; Svenningsson, Josef; Engdal, David; Persson, Anders: The Design and Implementation of Feldspar: an Embedded Language for Digital Signal Processing. IFL 2010, the 22nd Symposium on Implementation and Application of Functional Languages,
Dévai, Gergely; Tejfel, Máté; Gera, Zoltán; Páli, Gábor; Nagy, Gyula; Horváth, Zoltán; Axelsson, Emil; Sheeran, Mary; Vajda, András; Lyckegĺrd, Bo; Persson, Anders: Efficient Code Generation from the High-level Domain-specific Language Feldspar for DSPs . ODES-8: 8th Workshop on Optimizations for DSP and Embedded Systems, workshop associated with IEEE/ACM International Symposium on Code Generation and Optimization (CGO) ,
2009Axelsson, Emil; Subramaniyan, Kasyab P.; Sheeran, Mary; Larsson-Edefors, Per: Fast Layout Exploration Using the Wired System. Swedish System-on-Chip Conference (SSoCC),
Subramaniyan, Kasyab P.; Axelsson, Emil; Sheeran, Mary; Larsson-Edefors, Per: Layout Exploration of Geometrically Accurate Arithmetic Circuits. Proceedings of IEEE International Conference of Electronics, Circuits and Systems,
2008Axelsson, Emil: Flexible Hardware Design at Low Levels of Abstraction. Proceedings of Designing Correct Circuits,
Axelsson, Emil: Functional Programming Enabling Flexible Hardware Design at Low Levels of Abstraction. Göteborg : Chalmers University of Technology. Diss. ISBN/ISSN: 978-91-7385-147-3
2007Naylor, Matthew; Axelsson, Emil; Runciman, Colin: A Functional-Logic Library for Wired. Proceedings of the ACM SIGPLAN 2007 Haskell Workshop. Freiburg, Germany, Sept 2007, pp. 37-48. ISBN/ISSN: 978-1-59593-674-5
Naylor, Matthew; Axelsson, Emil; Runciman, Colin: A Functional-Logic Library for Wired. Proceedings of International Workshop on Hardware Design and Functional Languages. Braga, Portugal, March 2007, pp. 95-113.
2006Axelsson, Emil: A Functional Language-Based Approach to Low-Level Hardware Design. Göteborg : Chalmers University of Technology.
Axelsson, Emil; Claessen, Koen; Sheeran, Mary: Using Lava and Wired for Design Exploration. Proceedings of the sixth international workshop on designing correct circuits, March, Vienna, Mary Sheeran and Tom Melham (editors),
2005Axelsson, Emil; Björk, Magnus; Sheeran, Mary: Teaching Hardware Description and Verification. 2005 International Conference on Microelectronic Systems Education, pp. 119-120. ISBN/ISSN: 0-7695-2374-9
Axelsson, Emil; Claessen, Koen; Sheeran, Mary: Wired: Wire-Aware Circuit Design. Correct Hardware Design and Verification Methods, 3725 pp. 5-19. ISBN/ISSN: 3-540-29105-9
Axelsson, Emil: Wired: Wire-aware Circuit Description. Proceedings of TECHCON, Semiconductor Research Corporation. Portland, Oregon, Oct 2005,
2004Axelsson, Emil; Sheeran, Mary; Claessen, Koen: Wired - a Language for Describing Non-Functional Properties of Digital Circuits. Proceedings of International Workshop on Designing Correct Circuits. Barcelona, Spain, March 2004,