Mary Sheeran

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 13

Top Venues

CoRR

J. Funct. Program.

FHPC@ICFP

ACM Queue

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Mathis Bouverot-Dupuis, Mary Sheeran
Efficient GPU implementation of a class of array permutations. CoRR (2023)
Mathis Bouverot-Dupuis, Mary Sheeran
Efficient GPU Implementation of Affine Index Permutations on Arrays. FHPNC (2023)
Abhiroop Sarkar, Bo Joel Svensson, Mary Sheeran
Synchron - An API and Runtime for Embedded Systems. ECOOP (2022)
Abhiroop Sarkar, Bo Joel Svensson, Mary Sheeran
Synchron - An API and Runtime for Embedded Systems. CoRR (2022)
Abhiroop Sarkar, Robert Krook, Bo Joel Svensson, Mary Sheeran
Higher-order concurrency for microcontrollers. MPLR (2021)
Abhiroop Sarkar, Mary Sheeran
Hailstorm : A Statically-Typed, Purely Functional Language for IoT Applications. CoRR (2021)
Abhiroop Sarkar, Robert Krook, Bo Joel Svensson, Mary Sheeran
Higher-Order Concurrency for Microcontrollers. CoRR (2021)
Abhiroop Sarkar, Mary Sheeran
Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications. PPDP (2020)
Markus Aronsson, Koen Claessen, Mary Sheeran, Nicholas Smallbone
Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage. FHPNC@ICFP (2019)
Markus Aronsson, Mary Sheeran
Hardware software co-design in Haskell. Haskell (2017)
Martin Dybdal, Martin Elsman, Bo Joel Svensson, Mary Sheeran
Low-level functional GPU programming for parallel algorithms. FHPC@ICFP (2016)
Bo Joel Svensson, Ryan R. Newton, Mary Sheeran
A language for hierarchical data parallel design-space exploration on GPUs. J. Funct. Program. 26 (2016)
Derek Dreyer, Mary Sheeran
Special issue dedicated to ICFP 2014: Editorial. J. Funct. Program. 26 (2016)
Mary Sheeran
Functional programming and hardware design: still interesting after all these years. ICFP (2015)
Bo Joel Svensson, Mary Sheeran, Ryan R. Newton
Design Exploration through Code-generating DSLs. ACM Queue 12 (4) (2014)
Bo Joel Svensson, Mary Sheeran, Ryan R. Newton
Design exploration through code-generating DSLs. Commun. ACM 57 (6) (2014)
Markus Aronsson, Emil Axelsson, Mary Sheeran
Stream Processing for Embedded Domain Specific Languages. IFL (2014)
Josef David Svenningsson, Bo Joel Svensson, Mary Sheeran
Counting and occurrence sort for GPUs using an embedded language. FHPC@ICFP (2013)
Bo Joel Svensson, Mary Sheeran
Parallel programming in Haskell almost for free: an embedding of intel's array building blocks. FHPC@ICFP (2012)
Koen Claessen, Mary Sheeran, Joel Svensson
Expressive array constructs in an embedded GPU kernel programming language. DAMP (2012)
Emil Axelsson, Mary Sheeran
Feldspar: Application and Implementation. CEFP (2011)
Mary Sheeran
Functional and dynamic programming in the design of parallel prefix networks. J. Funct. Program. 21 (1) (2011)
Emil Axelsson, Koen Claessen, Mary Sheeran, Josef Svenningsson, David Engdal, Anders Persson
The Design and Implementation of Feldspar - An Embedded Language for Digital Signal Processing. IFL (2010)
Emil Axelsson, Koen Claessen, Gergely Dévai, Zoltán Horváth, Karin Keijzer, Bo Lyckegård, Anders Persson, Mary Sheeran, Josef Svenningsson, András Vajda
Feldspar: A domain specific language for digital signal processing algorithms. MEMOCODE (2010)
Joel Svensson, Koen Claessen, Mary Sheeran
GPGPU kernel implementation and refinement using Obsidian. ICCS (1) (2010)
Koen Claessen, Niklas Eén, Mary Sheeran, Niklas Sörensson, Alexey Voronov, Knut Åkesson
SAT-Solving in Practice, with a Tutorial Example from Supervisory Control. Discret. Event Dyn. Syst. 19 (4) (2009)
Kasyab P. Subramaniyan, Emil Axelsson, Per Larsson-Edefors, Mary Sheeran
Layout exploration of geometrically accurate arithmetic circuits. ICECS (2009)
Joel Svensson, Mary Sheeran, Koen Claessen
Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors. IFL (2008)
Henrik Eriksson, Per Larsson-Edefors, Mary Sheeran, Magnus Själander, Daniel Johansson, Martin Scholin
Multiplier reduction tree with logarithmic logic depth and regular connectivity. ISCAS (2006)
Mary Sheeran
Hardware Design and Functional Programming: a Perfect Match. J. Univers. Comput. Sci. 11 (7) (2005)
Emil Axelsson, Koen Claessen, Mary Sheeran
Wired: Wire-Aware Circuit Design. CHARME (2005)
Mary Sheeran
Generating Fast Multipliers Using Clever Circuits. FMCAD (2004)
Mary Sheeran
Finding Regularity: Describing and Analysing Circuits That Are Not Quite Regular. CHARME (2003)
Koen Claessen, Mary Sheeran, Satnam Singh
Using Lava to design and verify recursive and periodic sorters. Int. J. Softw. Tools Technol. Transf. 4 (3) (2003)
Koen Claessen, Mary Sheeran, Satnam Singh
The Design and Verification of a Sorter Core. CHARME (2001)
Mary Sheeran, Gunnar Stålmarck
A Tutorial on Stålmarck's Proof Procedure for Propositional Logic. Formal Methods Syst. Des. 16 (1) (2000)
Mary Sheeran, Satnam Singh, Gunnar Stålmarck
Checking Safety Properties Using Induction and a SAT-Solver. FMCAD (2000)
Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh
Lava: Hardware Design in Haskell. ICFP (1998)
Mary Sheeran, Gunnar Stålmarck
A Tutorial on Stålmarcks's Proof Procedure for Propositional Logic. FMCAD (1998)
Geraint Jones, Mary Sheeran
Designing Arithmetic Circuits by Refinement in Ruby. Sci. Comput. Program. 22 (1-2) (1994)
Geraint Jones, Mary Sheeran
Designing Arithmetic Circuits by Refinement in Ruby. MPC (1992)
Geraint Jones, Mary Sheeran
A Certain Loss of Identity. Functional Programming (1992)
Mary Sheeran
A Note on Abstraction in Ruby. Functional Programming (1991)
Geraint Jones, Mary Sheeran
Deriving Bit-Serial Circuits in Ruby. VLSI (1991)
Mary Sheeran
Describing Butterfly Networks in Ruby. Functional Programming (1989)
Mary Sheeran
Categories for the Working Hardware Designer. Hardware Specification, Verification and Synthesis (1989)
Mary Sheeran
Designing Regular Array Architectures using Higher Order Functions. FPCA (1985)
Mary Sheeran
muFP, A Language for VLSI Design. LISP and Functional Programming (1984)

Mary Sheeran.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mary Sheeran