Mary Sheeran

According to our database, Mary Sheeran authored at least 44 papers between 1983 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Efficient GPU implementation of a class of array permutations.

Mathis Bouverot-Dupuis, Mary Sheeran

CoRR, 2023

Efficient GPU Implementation of Affine Index Permutations on Arrays.

Mathis Bouverot-Dupuis, Mary Sheeran

Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, 2023

2022

Synchron - An API and Runtime for Embedded Systems.

Abhiroop Sarkar, Bo Joel Svensson, Mary Sheeran

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Higher-order concurrency for microcontrollers.

Abhiroop Sarkar, Robert Krook, Bo Joel Svensson, Mary Sheeran

Proceedings of the MPLR '21: 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2021

2020

Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications.

Abhiroop Sarkar, Mary Sheeran

Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020

2019

Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage.

Markus Aronsson, Koen Claessen, Mary Sheeran, Nicholas Smallbone

Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, 2019

2017

Hardware software co-design in Haskell.

Markus Aronsson, Mary Sheeran

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

2016

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

Bo Joel Svensson, Ryan R. Newton, Mary Sheeran

J. Funct. Program., 2016

Special issue dedicated to ICFP 2014: Editorial.

Derek Dreyer, Mary Sheeran

J. Funct. Program., 2016

Low-level functional GPU programming for parallel algorithms.

Martin Dybdal, Martin Elsman, Bo Joel Svensson, Mary Sheeran

Proceedings of the 5th International Workshop on Functional High-Performance Computing, 2016

2015

Functional programming and hardware design: still interesting after all these years.

Mary Sheeran

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014

Design Exploration through Code-generating DSLs.

Bo Joel Svensson, Mary Sheeran, Ryan R. Newton

ACM Queue, 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, 2014

2013

Counting and occurrence sort for GPUs using an embedded language.

Josef David Svenningsson, Bo Joel Svensson, Mary Sheeran

Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013

2012

Expressive array constructs in an embedded GPU kernel programming language.

Koen Claessen, Mary Sheeran, Joel Svensson

Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, 2012

Parallel programming in Haskell almost for free: an embedding of intel's array building blocks.

Bo Joel Svensson, Mary Sheeran

Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, 2012

2011

Functional and dynamic programming in the design of parallel prefix networks.

Mary Sheeran

J. Funct. Program., 2011

Feldspar: Application and Implementation.

Emil Axelsson, Mary Sheeran

Proceedings of the Central European Functional Programming School - 4th Summer School, 2011

2010

GPGPU kernel implementation and refinement using Obsidian.

Joel Svensson, Koen Claessen, Mary Sheeran

Proceedings of the International Conference on Computational Science, 2010

Feldspar: A domain specific language for digital signal processing algorithms.

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

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

The Design and Implementation of Feldspar - An Embedded Language for Digital Signal Processing.

Emil Axelsson, Koen Claessen, Mary Sheeran, Josef Svenningsson, David Engdal, Anders Persson

Proceedings of the Implementation and Application of Functional Languages, 2010

2009

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

Koen Claessen, Niklas Eén, Mary Sheeran, Niklas Sörensson, Alexey Voronov, Knut Åkesson

Discret. Event Dyn. Syst., 2009

Layout exploration of geometrically accurate arithmetic circuits.

Kasyab P. Subramaniyan, Emil Axelsson, Per Larsson-Edefors, Mary Sheeran

Proceedings of the 16th IEEE International Conference on Electronics, 2009

2008

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

Joel Svensson, Mary Sheeran, Koen Claessen

Proceedings of the Implementation and Application of Functional Languages, 2008

2006

Multiplier reduction tree with logarithmic logic depth and regular connectivity.

Henrik Eriksson, Per Larsson-Edefors, Mary Sheeran, Magnus Själander, Daniel Johansson, Martin Scholin

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2006), 2006

2005

Hardware Design and Functional Programming: a Perfect Match.

Mary Sheeran

J. Univers. Comput. Sci., 2005

Wired: Wire-Aware Circuit Design.

Emil Axelsson, Koen Claessen, Mary Sheeran

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004

Generating Fast Multipliers Using Clever Circuits.

Mary Sheeran

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003

Using Lava to design and verify recursive and periodic sorters.

Koen Claessen, Mary Sheeran, Satnam Singh

Int. J. Softw. Tools Technol. Transf., 2003

Finding Regularity: Describing and Analysing Circuits That Are Not Quite Regular.

Mary Sheeran

Proceedings of the Correct Hardware Design and Verification Methods, 2003

2001

The Design and Verification of a Sorter Core.

Koen Claessen, Mary Sheeran, Satnam Singh

Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000

A Tutorial on Stålmarck's Proof Procedure for Propositional Logic.

Mary Sheeran, Gunnar Stålmarck

Formal Methods Syst. Des., 2000

Checking Safety Properties Using Induction and a SAT-Solver.

Mary Sheeran, Satnam Singh, Gunnar Stålmarck

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

1998

Lava: Hardware Design in Haskell.

Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

A Tutorial on Stålmarcks's Proof Procedure for Propositional Logic.

Mary Sheeran, Gunnar Stålmarck

Proceedings of the Formal Methods in Computer-Aided Design, 1998

1994

Designing Arithmetic Circuits by Refinement in Ruby.

Geraint Jones, Mary Sheeran

Sci. Comput. Program., 1994

1992

A Certain Loss of Identity.

Geraint Jones, Mary Sheeran

Proceedings of the Functional Programming, 1992

1991

Deriving Bit-Serial Circuits in Ruby.

Geraint Jones, Mary Sheeran

Proceedings of the VLSI 91, 1991

A Note on Abstraction in Ruby.

Mary Sheeran

Proceedings of the Functional Programming, 1991

1989

Categories for the Working Hardware Designer.

Mary Sheeran

Proceedings of the Hardware Specification, 1989

Describing Butterfly Networks in Ruby.

Mary Sheeran

Proceedings of the Functional Programming, 1989

1985

Designing Regular Array Architectures using Higher Order Functions.

Mary Sheeran

Proceedings of the Functional Programming Languages and Computer Architecture, 1985

1984

muFP, A Language for VLSI Design.

Mary Sheeran

Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

1983

UpsilonFP : An algebraic VLSI design language.

Mary Sheeran

PhD thesis, 1983