Skip Ribbon Commands

Skip to main content

Start

Staff

Mary Sheeran

Professor, Functional Programming division, Department of Computer Science and Engineering.
Vice director of Genie (Gender Initiative for Excellence).

mary.sheeran@chalmers.se +46317721013 Find me

Publications
Collaboration and projects

Latest publications

2019
Welcome from the chairs

Author: Eva Darulova; Kei Davis; Jeremy Gibbons; Mary Hall; Fritz Henglein; Gabriele Keller; Kiminori Matsuzaki; Mary Sheeran; Dominic Steinitz

Published: 2019

Published in:

Publication type: Conference contribution
Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage

Author: Markus Aronsson; Nicholas Smallbone; Mary Sheeran; Koen Claessen

Published: 2019

Published in: FHPNC 2019 Proceedings of the 8th ACM SIGPLAN International Workshop on Functional

Publication type: Paper in proceedings
2017
Hardware Software Co-design in Haskell

Author: Markus Aronsson; Mary Sheeran

Published: 2017

Published in: SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Publication type: Paper in proceedings
2016
Special issue dedicated to ICFP 2014 Editorial

Author: D. Dreyer; Mary Sheeran

Published: 2016

Published in: Journal of Functional Programming

Publication type: Journal article
Low-Level Functional GPU Programming for Parallel Algorithms

Author: Martin Dybdal; Martin Elsman; Joel Bo Svensson; Mary Sheeran

Published: 2016

Published in: Int. Workshop on Functional High Performance Computing, associated with Int. Conf. on Functional Programming

Publication type: Paper in proceedings
A language for hierarchical data parallel design-space exploration on GPUs

Author: Joel Bo Svensson; Mary Sheeran; Ryan R. Newton

Published: 2016

Published in: Journal of Functional Programming

Publication type: Journal article
2015
Functional Programming and Hardware Design: Still Interesting after All These Years

Author: Mary Sheeran

Published: 2015

Published in: SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Publication type: Paper in proceedings
2014
Design Exploration through Code-Generating DSLs

Author: Joel Bo Svensson; Mary Sheeran; R. Newton

Published: 2014

Published in: Communications of the ACM

Publication type: Journal article
Stream Processing for Embedded Domain Specific Languages

Author: Markus Aronsson; Emil Axelsson; Mary Sheeran

Published: 2014

Published in: Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages

Publication type: Paper in proceedings
Design exploration through code-generating DSLs

Author: Joel Bo Svensson; Mary Sheeran; R. Newton

Published: 2014

Published in: Queue

Publication type: Journal article
2013
Counting and Occurrence Sort for GPUs using an Embedded Language

Author: Josef Svenningsson; Joel Bo Svensson; Mary Sheeran

Published: 2013

Published in: The 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing, FHPC'13

Publication type: Paper in proceedings
2012
Feldspar: Application and Implementation

Author: Emil Axelsson; Mary Sheeran

Published: 2012

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Journal article
Parallel Programming in Haskell Almost for Free: an embedding of Intel's Array Building Blocks

Author: Joel Bo Svensson; Mary Sheeran

Published: 2012

Published in: 1st ACM SIGPLAN Workshop on Functional High Performance Computing, FHPC 2012. Copenhagen, 15 September 2012

Publication type: Paper in proceedings
Expressive array constructs in an embedded GPU kernel programming language

Author: Koen Lindström Claessen; Mary Sheeran; Joel Bo Svensson

Published: 2012

Published in: Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming, DAMP'12

Publication type: Paper in proceedings
2011
Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors

Author: Joel Bo Svensson; Mary Sheeran; Koen Lindström Claessen

Published: 2011

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceedings
The Design and Implementation of Feldspar: An Embedded Language for Digital Signal Processing

Author: Emil Axelsson; Koen Lindström Claessen; Mary Sheeran; Josef Svenningsson; David Engdal; Anders Persson

Published: 2011

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceedings
2010
Functional and dynamic programming in the design of parallel prefix networks

Author: Mary Sheeran

Published: 2010

Published in: Journal of Functional Programming

Publication type: Journal article
Efficient Code Generation from the High-level Domain-specific Language Feldspar for DSPs

Author: Gergely Dévai; Máté Tejfel; Zoltán Gera; Gábor Páli; Gyula Nagy; Zoltán Horváth; Emil Axelsson; Mary Sheeran; András Vajda; Bo Lyckegård; Anders Persson

Published: 2010

Published in: ODES-8: 8th Workshop on Optimizations for DSP and Embedded Systems, workshop associated with IEEE/ACM International Symposium on Code Generation and Optimization (CGO)

Publication type: Paper in proceedings
GPGPU Kernel Implementation and Refinement using Obsidian

Author: Joel Bo Svensson; Mary Sheeran; Koen Lindström Claessen

Published: 2010

Published in: ICCS 2010 conference proceedings; Amsterdam, NETHERLANDS, MAY 31-JUN 02, 2010

Publication type: Paper in proceedings
The Design and Implementation of Feldspar: an Embedded Language for Digital Signal Processing

Author: Emil Axelsson; Koen Lindström Claessen; Mary Sheeran; Josef Svenningsson; David Engdal; Anders Persson

Published: 2010

Published in: IFL 2010, the 22nd Symposium on Implementation and Application of Functional Languages

Publication type: Conference contribution
Feldspar: A Domain Specific Language for Digital Signal Processing algorithms

Author: Emil Axelsson; Koen Lindström Claessen; Gergely Dévai; Zoltán Horváth; Karin Keijzer; Bo Lyckegård; Anders Persson; Mary Sheeran; Josef Svenningsson; András Vajda

Published: 2010

Published in: Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign

Publication type: Paper in proceedings
Chalk: a language and tool for architecture design and analysis

Author: Wouter Swierstra; Koen Lindström Claessen; Carl Seger; Mary Sheeran; Emily Shriver

Published: 2010

Published in: Workshop on Designing Correct Circuits, associated with ETAPS

Publication type: Conference contribution
GPGPU Kernel Implementation using an Embedded Language: a Status Report

Author: Joel Bo Svensson; Koen Lindström Claessen; Mary Sheeran

Published: 2010

Published in:

Publication type: Report
2009
Fast Layout Exploration Using the Wired System

Author: Emil Axelsson; KASYAB PARMESH SUBRAMANIYAN; Mary Sheeran; Per Larsson-Edefors

Published: 2009

Published in: Swedish System-on-Chip Conference (SSoCC)

Publication type: Conference contribution
Functional and dynamic programming in the design of parallel prefix networks

Author: Mary Sheeran

Published: 2009

Published in:

Publication type: Report

Go to Chalmers publication library

Published: Wed 05 Feb 2020.