Axelsson, Emil; Sheeran, Mary: Feldspar: Application and Implementation. Lecture Notes in Computer Science , 7241 pp. 402-439.

Claessen, Koen; Sheeran, Mary; Svensson, Joel: Expressive array constructs in an embedded GPU kernel programming language. Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming, DAMP'12, pp. 21-30. ISBN/ISSN: 978-1-4503-1117-5

Svensson, Joel; Sheeran, Mary: Parallel Programming in Haskell Almost for Free: an embedding of Intel's Array Building Blocks. 1st ACM SIGPLAN Workshop on Functional High Performance Computing, FHPC 2012. Copenhagen, 15 September 2012, pp. 3-14. ISBN/ISSN: 978-145031577-7

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. Lecture Notes in Computer Science, Implementation and Application of Functional Languages, 6647 pp. 121-136. ISBN/ISSN: 978-3-642-24275-5

Svensson, Joel; Sheeran, Mary; Claessen, Koen: Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors. Lecture Notes in Computer Science. 20th International Symposium on Implementation and Application of Functional Languages, IFL 2008, Hatfield, 10-12 September 2008, 5836 pp. 156-173. ISBN/ISSN: 978-364224451-3

Axelsson, 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) ,

Sheeran, Mary: Functional and dynamic programming in the design of parallel prefix networks. Journal of functional programming, 21 (1) pp. 59-114.

Svensson, Joel; Sheeran, Mary; Claessen, Koen: GPGPU Kernel Implementation and Refinement using Obsidian. ICCS 2010 conference proceedings; Amsterdam, NETHERLANDS, MAY 31-JUN 02, 2010, 1 (1) pp. 10 (2059-2068).

Svensson, Joel; Claessen, Koen; Sheeran, Mary: GPGPU Kernel Implementation using an Embedded Language: a Status Report. Göteborg : Chalmers University of Technology.

Swierstra, Wouter; Claessen, Koen; Seger, Carl; Sheeran, Mary; Shriver, Emily: Chalk: a language and tool for architecture design and analysis. Workshop on Designing Correct Circuits, associated with ETAPS,

Axelsson, Emil; Subramaniyan, Kasyab P.; Sheeran, Mary; Larsson-Edefors, Per: Fast Layout Exploration Using the Wired System. Swedish System-on-Chip Conference (SSoCC),

Claessen, Koen; Seger, Carl; Sheeran, Mary; Shriver, Emily; Swierstra, Wouter: High level architectural modelling for early estimation of power and performance. Workshop on Hardware Design and Functional Languages, associated with ETAPS,

Claessen, Koen; Een, Niklas; Sheeran, Mary; Sörensson, Niklas; Voronov, Alexey; Åkesson, Knut: SAT-Solving in Practice, with a Tutorial Example from Supervisory Control. Discrete Event Dynamic Systems, 19 (4) pp. 495-524.

Sheeran, Mary: Functional and dynamic programming in the design of parallel prefix networks. Göteborg : Chalmers University of Technology.

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,

Svensson, Joel; Sheeran, Mary; Claessen, Koen: Obsidian: A Domain Specific Embedded Language for General-Purpose Parallel Programming of Graphics Processors. Lecture Notes in Computer Science, 5836 pp. 14.

Claessen, Koen; Een, Niklas; Sheeran, Mary; Sörensson, Niklas: SAT-Solving in Practice. 9th International Workshop on Discrete Event Systems,

Svensson, Joel; Claessen, Koen; Sheeran, Mary: Obsidian: An Embedded Language for Data-Parallel Programming . Int. Workshop on Designing Correct Circuits, DCC'08, associated with ETAPS,

Formal Methods in Computer Aided Design. Jason Baumgartner, Mary Sheeran [editor(s)]. California : IEEE Computer Society. ISBN/ISSN: 0-7695-3023-0

Björk, Magnus; Själander, Magnus; Svensson, Lars; Thuresson, Martin; Hughes, John; Sheeran, Mary; Jeppson, Kjell; Karlsson, Jonas; Larsson-Edefors, Per; Stenström, Per: Exposed Datapath for Efficient Computing. 2007 HiPEAC Workshop on Reconfigurable Computing,

Sheeran, Mary: Searching for prefix networks to fit in a context using a lazy functional programming language. Proc. int. workshop on Hardware Design and Functional Languages, 2007, associated with ETAPS,

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),

Björk, Magnus; Själander, Magnus; Svensson, Lars; Thuresson, Martin; Hughes, John; Jeppson, Kjell; Karlsson, Jonas; Larsson-Edefors, Per; Sheeran, Mary; Stenström, Per: Exposed Datapath for Efficient Computing. Göteborg : Chalmers University of Technology.

Eriksson, Henrik; Larsson-Edefors, Per; Sheeran, Mary; Själander, Magnus; Johansson, Daniel; Schölin, Martin: Multiplier Reduction Tree with Logarithmic Logic Depth and Regular Connectivity. IEEE Intl Symposium on Circuits and Systems (ISCAS),

Sheeran, Mary; Parberry, Ian: A new approach to the design of optimal parallel prefix circuits. Göteborg : Chalmers University of Technology.

Axelsson, 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

Sheeran, Mary: Hardware Design and Functional Programming: a Perfect Match (extended version). Journal of Universal Computer Science, Special Issue on Brazilian Symposium on Programming Languages, 11 (7)

Sheeran, Mary: Hardware design and functional programming: a perfect match (invited paper). Proceedings 9th Brazilian Symposium on Programming Languages (SBLP05),

Axelsson, 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,

Sheeran, Mary: Generating Fast Multipliers Using Clever Circuits. Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Alan J. Hu and Andrew K. Martin (Eds.), Springer LNCS, LNCS 3312 pp. 6-20. ISBN/ISSN: ISBN 3-540-23738-0

Hughes, John; Jeppson, Kjell; Larsson-Edefors, Per; Sheeran, Mary; Stenström, Per; Svensson, Lars: FlexSoC: Combining Flexibility and Efficiency in SoC Designs. Proceedings of 21st Norchip Conference, Riga, Latvia pp. 52-55.