According to our database1, Mary Sheeran authored at least 40 papers between 1983 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020
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
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017
J. Funct. Program., 2016
Proceedings of the 5th International Workshop on Functional High-Performance Computing, 2016
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015
Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013
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
J. Funct. Program., 2011
Proceedings of the Central European Functional Programming School - 4th Summer School, 2011
Proceedings of the International Conference on Computational Science, 2010
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
Discret. Event Dyn. Syst., 2009
Proceedings of the 16th IEEE International Conference on Electronics, 2009
Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors.
Proceedings of the Implementation and Application of Functional Languages, 2008
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2006), 2006
J. Univers. Comput. Sci., 2005
Proceedings of the Correct Hardware Design and Verification Methods, 2005
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004
Int. J. Softw. Tools Technol. Transf., 2003
Proceedings of the Correct Hardware Design and Verification Methods, 2003
Proceedings of the Correct Hardware Design and Verification Methods, 2001
Formal Methods Syst. Des., 2000
Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998
Proceedings of the Formal Methods in Computer-Aided Design, 1998
Deriving Bit-Serial Circuits in Ruby.
Proceedings of the VLSI 91, 1991
Proceedings of the Hardware Specification, 1989
Describing Butterfly Networks in Ruby.
Proceedings of the Functional Programming, 1989
Proceedings of the Functional Programming Languages and Computer Architecture, 1985
muFP, A Language for VLSI Design.
Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984