Mary Sheeran

According to our database1, Mary Sheeran authored at least 40 papers between 1983 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications.
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.
Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, 2019

2017
Hardware software co-design in Haskell.
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

2016
A language for hierarchical data parallel design-space exploration on GPUs.
J. Funct. Program., 2016

Special issue dedicated to ICFP 2014: Editorial.
J. Funct. Program., 2016

Low-level functional GPU programming for parallel algorithms.
Proceedings of the 5th International Workshop on Functional High-Performance Computing, 2016

2015
Functional programming and hardware design: still interesting after all these years.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014
Design exploration through code-generating DSLs.
Commun. ACM, 2014

Stream Processing for Embedded Domain Specific Languages.
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.
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013

2012
Expressive array constructs in an embedded GPU kernel programming language.
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.
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.
J. Funct. Program., 2011

Feldspar: Application and Implementation.
Proceedings of the Central European Functional Programming School - 4th Summer School, 2011

2010
GPGPU kernel implementation and refinement using Obsidian.
Proceedings of the International Conference on Computational Science, 2010

Feldspar: A domain specific language for digital signal processing algorithms.
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.
Proceedings of the Implementation and Application of Functional Languages, 2010

2009
SAT-Solving in Practice, with a Tutorial Example from Supervisory Control.
Discret. Event Dyn. Syst., 2009

Layout exploration of geometrically accurate arithmetic circuits.
Proceedings of the 16th IEEE International Conference on Electronics, 2009

2008
Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors.
Proceedings of the Implementation and Application of Functional Languages, 2008

2006
Multiplier reduction tree with logarithmic logic depth and regular connectivity.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2006), 2006

2005
Hardware Design and Functional Programming: a Perfect Match.
J. Univers. Comput. Sci., 2005

Wired: Wire-Aware Circuit Design.
Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004
Generating Fast Multipliers Using Clever Circuits.
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003
Using Lava to design and verify recursive and periodic sorters.
Int. J. Softw. Tools Technol. Transf., 2003

Finding Regularity: Describing and Analysing Circuits That Are Not Quite Regular.
Proceedings of the Correct Hardware Design and Verification Methods, 2003

2001
The Design and Verification of a Sorter Core.
Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000
A Tutorial on Stålmarck's Proof Procedure for Propositional Logic.
Formal Methods Syst. Des., 2000

Checking Safety Properties Using Induction and a SAT-Solver.
Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

1998
Lava: Hardware Design in Haskell.
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.
Proceedings of the Formal Methods in Computer-Aided Design, 1998

1994
Designing Arithmetic Circuits by Refinement in Ruby.
Sci. Comput. Program., 1994

1992
A Certain Loss of Identity.
Proceedings of the Functional Programming, 1992

1991
Deriving Bit-Serial Circuits in Ruby.
Proceedings of the VLSI 91, 1991

A Note on Abstraction in Ruby.
Proceedings of the Functional Programming, 1991

1989
Categories for the Working Hardware Designer.
Proceedings of the Hardware Specification, 1989

Describing Butterfly Networks in Ruby.
Proceedings of the Functional Programming, 1989

1985
Designing Regular Array Architectures using Higher Order Functions.
Proceedings of the Functional Programming Languages and Computer Architecture, 1985

1984
muFP, A Language for VLSI Design.
Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

1983
UpsilonFP : An algebraic VLSI design language.
PhD thesis, 1983


  Loading...