Mary Sheeran

Professor at Chalmers, Computer Science and Engineering (Chalmers), Functional Programming

Showing 49 publications

2017

Hardware Software Co-design in Haskell

Markus Aronsson, Mary Sheeran
ICFP Workshops 2017 - 10th ACM SIGPLAN International Haskell Symposium (Haskell 2017)
Paper in proceedings
2017

Hardware Software Co-design in Haskell

Markus Aronsson, Mary Sheeran
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 52 (10), p. 162-173
Paper in proceedings
2017

Hardware Software Co-design in Haskell

Markus Aronsson, Mary Sheeran
ICFP Workshops 2017 - 10th ACM SIGPLAN International Haskell Symposium (Haskell 2017)
Conference contribution
2016

Low-Level Functional GPU Programming for Parallel Algorithms

Martin Dybdal, Martin Elsman, Joel Bo Svensson et al
Int. Workshop on Functional High Performance Computing, associated with Int. Conf. on Functional Programming, p. 31-37
Paper in proceedings
2016

Special issue dedicated to ICFP 2014 Editorial

D. Dreyer, Mary Sheeran
Journal of Functional Programming. Vol. 26
Journal article
2016

A language for hierarchical data parallel design-space exploration on GPUs

Joel Bo Svensson, Mary Sheeran, Ryan R. Newton
Journal of Functional Programming. Vol. 26
Journal article
2015

Functional Programming and Hardware Design: Still Interesting after All These Years

Mary Sheeran
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 50 (9), p. 165-165
Paper in proceedings
2014

Design exploration through code-generating DSLs

Joel Bo Svensson, Mary Sheeran, R. Newton
Queue. Vol. 12 (4), p. 40-52
Journal article
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
Conference contribution
2014

Design Exploration through Code-Generating DSLs

Joel Bo Svensson, Mary Sheeran, R. Newton
Communications of the ACM. Vol. 57 (6), p. 56-63
Journal article
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 in proceedings
2013

Counting and Occurrence Sort for GPUs using an Embedded Language

Josef Svenningsson, Joel Bo Svensson, Mary Sheeran
The 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing, FHPC'13. Vol. 48 (12), p. 37-45
Paper in proceedings
2012

Expressive array constructs in an embedded GPU kernel programming language

Koen Lindström Claessen, Mary Sheeran, Joel Bo Svensson
Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming, DAMP'12, p. 21-30
Paper in proceedings
2012

Feldspar: Application and Implementation

Emil Axelsson, Mary Sheeran
Lecture Notes in Computer Science. Vol. 7241, p. 402-439
Journal article
2012

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

Joel Bo Svensson, Mary Sheeran
1st ACM SIGPLAN Workshop on Functional High Performance Computing, FHPC 2012. Copenhagen, 15 September 2012, p. 3-14
Paper in proceedings
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 in proceedings
2011

Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors

Joel Bo Svensson, Mary Sheeran, Koen Lindström Claessen
Lecture Notes in Computer Science. Vol. 5836, p. 156-173
Paper in proceedings
2010

GPGPU Kernel Implementation and Refinement using Obsidian

Joel Bo Svensson, Mary Sheeran, Koen Lindström Claessen
ICCS 2010 conference proceedings; Amsterdam, NETHERLANDS, MAY 31-JUN 02, 2010. Vol. 1 (1), p. 2059-2068
Paper in proceedings
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 in proceedings
2010

GPGPU Kernel Implementation using an Embedded Language: a Status Report

Joel Bo Svensson, Koen Lindström Claessen, Mary Sheeran
Report
2010

Functional and dynamic programming in the design of parallel prefix networks

Mary Sheeran
Journal of Functional Programming. Vol. 21 (1), p. 59-114
Journal article
2010

Chalk: a language and tool for architecture design and analysis

Wouter Swierstra, Koen Lindström Claessen, Carl Seger et al
Workshop on Designing Correct Circuits, associated with ETAPS
Conference contribution
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 in proceedings
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
Conference contribution
2009

Fast Layout Exploration Using the Wired System

Emil Axelsson, KASYAB PARMESH SUBRAMANIYAN, Mary Sheeran et al
Swedish System-on-Chip Conference (SSoCC)
Conference contribution
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 in proceedings
2009

High level architectural modelling for early estimation of power and performance

Koen Lindström Claessen, Carl Seger, Mary Sheeran et al
Workshop on Hardware Design and Functional Languages, associated with ETAPS
Conference contribution
2009

SAT-Solving in Practice, with a Tutorial Example from Supervisory Control

Koen Lindström Claessen, Niklas Een, Mary Sheeran et al
Discrete Event Dynamic Systems: Theory and Applications. Vol. 19 (4), p. 495-524
Journal article
2008

SAT-Solving in Practice

Koen Lindström Claessen, Niklas Een, Mary Sheeran et al
9th International Workshop on Discrete Event Systems, WODES' 08; Goteborg; Sweden; 28 May 2008 through 30 May 2008, p. 61-67
Paper in proceedings
2008

Obsidian: An Embedded Language for Data-Parallel Programming

Joel Bo Svensson, Koen Lindström Claessen, Mary Sheeran
Int. Workshop on Designing Correct Circuits, DCC'08, associated with ETAPS
Conference contribution
2007

Exposed Datapath for Efficient Computing

Magnus Björk, Magnus Själander, Lars Svensson et al
2007 HiPEAC Workshop on Reconfigurable Computing
Paper in proceedings
2007

Searching for prefix networks to fit in a context using a lazy functional programming language

Mary Sheeran
Proc. int. workshop on Hardware Design and Functional Languages, 2007, associated with ETAPS
Conference contribution
2007

Formal Methods in Computer Aided Design

Jason Baumgartner, Mary Sheeran
Edited book
2006

Using Lava and Wired for Design Exploration

Emil Axelsson, Koen Lindström Claessen, Mary Sheeran
Magazine article
2006

Exposed Datapath for Efficient Computing

Magnus Björk, Magnus Själander, Lars Svensson et al
Report
2006

Multiplier Reduction Tree with Logarithmic Logic Depth and Regular Connectivity

Henrik Eriksson, Per Larsson-Edefors, Mary Sheeran et al
IEEE Intl Symposium on Circuits and Systems (ISCAS)
Paper in proceedings
2005

Teaching Hardware Description and Verification

Emil Axelsson, Magnus Björk, Mary Sheeran
2005 International Conference on Microelectronic Systems Education, p. 119-120
Paper in proceedings
2005

Hardware design and functional programming: a perfect match (invited paper)

Mary Sheeran
Proceedings 9th Brazilian Symposium on Programming Languages (SBLP05)
Paper in proceedings
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 in proceedings
2005

Hardware Design and Functional Programming: a Perfect Match (extended version)

Mary Sheeran
Journal of Universal Computer Science, Special Issue on Brazilian Symposium on Programming Languages. Vol. 11 (7)
Journal article
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
Conference contribution
2004

Generating Fast Multipliers Using Clever Circuits

Mary Sheeran
Lecture Notes in Computer Science. Vol. 3312, p. 6-20
Journal article
2003

FlexSoC: Combining Flexibility and Efficiency in SoC Designs

John Hughes, Kjell Jeppson, Per Larsson-Edefors et al
Proceedings of 21st Norchip Conference. Vol. Riga, Latvia, p. 52-55
Paper in proceedings
2003

Describing and Reasoning about Sorting Networks

Mary Sheeran
Invited talk at 15th Nordic Workshop on Programming Theory, NWPT'03, Turku, Finland, October 2003
Paper in proceedings
2003

Functional Hardware Description in Lava

Koen Lindström Claessen, Mary Sheeran, Satnam Singh
Book chapter
2003

Describing and reasoning about circuits that are almost regular

Mary Sheeran
Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings / Daniel Geist, Enrico Tronci, (Eds.)., p. 4-18
Book chapter

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

Showing 3 research projects

2018–

Octopi: Secure Programming for the Internet of Things

Koen Lindström Claessen Functional Programming
Carl-Johan Seger Functional Programming
John Hughes Functional Programming
Alejandro Russo Information Security
Mary Sheeran Functional Programming
Swedish Foundation for Strategic Research (SSF)

2018–2023

Octopi: Säker Programering för Sakernas Internet

Alejandro Russo Information Security
Mary Sheeran Functional Programming
John Hughes Functional Programming
Koen Lindström Claessen Functional Programming
Carl-Johan Seger Functional Programming
Swedish Foundation for Strategic Research (SSF)

2017–2022

Systematic testing of cyber-physical systems (SyTeC)

John Hughes Functional Programming
Koen Lindström Claessen Functional Programming
Martin Fabian Automation
Mary Sheeran Functional Programming
Bengt Lennartson Automation
Nicholas Smallbone Functional Programming
Zahra Ramezani Automation
Knut Åkesson Automation
Swedish Research Council (VR)

There might be more projects where Mary Sheeran participates, but you have to be logged in as a Chalmers employee to see them.