default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMary Sheeran
Person information
- affiliation: Chalmers University of Technology, Sweden
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1983
[b1]Mary Sheeran:
UpsilonFP : An algebraic VLSI design language. University of Oxford, UK, 1983
Journal Articles
- 2016
- [j10]Derek Dreyer, Mary Sheeran:
Special issue dedicated to ICFP 2014: Editorial. J. Funct. Program. 26: e20 (2016) - [j9]Bo Joel Svensson, Ryan R. Newton, Mary Sheeran:
A language for hierarchical data parallel design-space exploration on GPUs. J. Funct. Program. 26: e6 (2016) - 2014
- [j8]Bo Joel Svensson, Mary Sheeran, Ryan R. Newton:
Design exploration through code-generating DSLs. Commun. ACM 57(6): 56-63 (2014) - [j7]Bo Joel Svensson, Mary Sheeran, Ryan R. Newton:
Design Exploration through Code-generating DSLs. ACM Queue 12(4): 40-52 (2014) - 2011
- [j6]Mary Sheeran:
Functional and dynamic programming in the design of parallel prefix networks. J. Funct. Program. 21(1): 59-114 (2011) - 2009
- [j5]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): 495-524 (2009) - 2005
- [j4]Mary Sheeran:
Hardware Design and Functional Programming: a Perfect Match. J. Univers. Comput. Sci. 11(7): 1135-1158 (2005) - 2003
- [j3]Koen Claessen, Mary Sheeran, Satnam Singh:
Using Lava to design and verify recursive and periodic sorters. Int. J. Softw. Tools Technol. Transf. 4(3): 349-358 (2003) - 2000
- [j2]Mary Sheeran, Gunnar Stålmarck:
A Tutorial on Stålmarck's Proof Procedure for Propositional Logic. Formal Methods Syst. Des. 16(1): 23-58 (2000) - 1994
- [j1]Geraint Jones, Mary Sheeran:
Designing Arithmetic Circuits by Refinement in Ruby. Sci. Comput. Program. 22(1-2): 107-135 (1994)
Conference and Workshop Papers
- 2023
- [c34]Mathis Bouverot-Dupuis, Mary Sheeran:
Efficient GPU Implementation of Affine Index Permutations on Arrays. FHPNC 2023: 15-28 - 2022
- [c33]Abhiroop Sarkar, Bo Joel Svensson, Mary Sheeran:
Synchron - An API and Runtime for Embedded Systems. ECOOP 2022: 17:1-17:29 - 2021
- [c32]Abhiroop Sarkar, Robert Krook, Bo Joel Svensson, Mary Sheeran:
Higher-order concurrency for microcontrollers. MPLR 2021: 26-35 - 2020
- [c31]Abhiroop Sarkar, Mary Sheeran:
Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications. PPDP 2020: 12:1-12:16 - 2019
- [c30]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: 34-46 - 2017
- [c29]Markus Aronsson, Mary Sheeran:
Hardware software co-design in Haskell. Haskell 2017: 162-173 - 2016
- [c28]Martin Dybdal, Martin Elsman, Bo Joel Svensson, Mary Sheeran:
Low-level functional GPU programming for parallel algorithms. FHPC@ICFP 2016: 31-37 - 2015
- [c27]Mary Sheeran:
Functional programming and hardware design: still interesting after all these years. ICFP 2015: 165 - 2014
- [c26]Markus Aronsson, Emil Axelsson, Mary Sheeran:
Stream Processing for Embedded Domain Specific Languages. IFL 2014: 8:1-8:12 - 2013
- [c25]Josef David Svenningsson, Bo Joel Svensson, Mary Sheeran:
Counting and occurrence sort for GPUs using an embedded language. FHPC@ICFP 2013: 37-46 - 2012
- [c24]Bo Joel Svensson, Mary Sheeran:
Parallel programming in Haskell almost for free: an embedding of intel's array building blocks. FHPC@ICFP 2012: 3-14 - [c23]Koen Claessen, Mary Sheeran, Joel Svensson:
Expressive array constructs in an embedded GPU kernel programming language. DAMP 2012: 21-30 - 2011
- [c22]Emil Axelsson, Mary Sheeran:
Feldspar: Application and Implementation. CEFP 2011: 402-439 - 2010
- [c21]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: 121-136 - [c20]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: 169-178 - [c19]Joel Svensson, Koen Claessen, Mary Sheeran:
GPGPU kernel implementation and refinement using Obsidian. ICCS 2010: 2065-2074 - 2009
- [c18]Kasyab P. Subramaniyan, Emil Axelsson, Per Larsson-Edefors, Mary Sheeran:
Layout exploration of geometrically accurate arithmetic circuits. ICECS 2009: 795-798 - 2008
- [c17]Joel Svensson, Mary Sheeran, Koen Claessen:
Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors. IFL 2008: 156-173 - 2006
- [c16]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 - 2005
- [c15]Emil Axelsson, Koen Claessen, Mary Sheeran:
Wired: Wire-Aware Circuit Design. CHARME 2005: 5-19 - 2004
- [c14]Mary Sheeran:
Generating Fast Multipliers Using Clever Circuits. FMCAD 2004: 6-20 - 2003
- [c13]Mary Sheeran:
Finding Regularity: Describing and Analysing Circuits That Are Not Quite Regular. CHARME 2003: 4-18 - 2001
- [c12]Koen Claessen, Mary Sheeran, Satnam Singh:
The Design and Verification of a Sorter Core. CHARME 2001: 355-369 - 2000
- [c11]Mary Sheeran, Satnam Singh, Gunnar Stålmarck:
Checking Safety Properties Using Induction and a SAT-Solver. FMCAD 2000: 108-125 - 1998
- [c10]Mary Sheeran, Gunnar Stålmarck:
A Tutorial on Stålmarcks's Proof Procedure for Propositional Logic. FMCAD 1998: 82-99 - [c9]Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh:
Lava: Hardware Design in Haskell. ICFP 1998: 174-184 - 1992
- [c8]Geraint Jones, Mary Sheeran:
A Certain Loss of Identity. Functional Programming 1992: 113-121 - [c7]Geraint Jones, Mary Sheeran:
Designing Arithmetic Circuits by Refinement in Ruby. MPC 1992: 208-232 - 1991
- [c6]Mary Sheeran:
A Note on Abstraction in Ruby. Functional Programming 1991: 332-338 - [c5]Geraint Jones, Mary Sheeran:
Deriving Bit-Serial Circuits in Ruby. VLSI 1991: 71-80 - 1989
- [c4]Mary Sheeran:
Describing Butterfly Networks in Ruby. Functional Programming 1989: 182-205 - [c3]Mary Sheeran:
Categories for the Working Hardware Designer. Hardware Specification, Verification and Synthesis 1989: 380-402 - 1985
- [c2]Mary Sheeran:
Designing Regular Array Architectures using Higher Order Functions. FPCA 1985: 220-237 - 1984
- [c1]Mary Sheeran:
muFP, A Language for VLSI Design. LISP and Functional Programming 1984: 104-112
Editorship
- 2015
- [e3]Laurie J. Hendren, Hidehiko Masuhara, Mary Sheeran, Jan Vitek:
Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI, Portland, OR, USA, June 15 - 17, 2015. ACM 2015, ISBN 978-1-4503-3584-3 [contents] - 2014
- [e2]Jost Berthold, Mary Sheeran, Ryan Newton:
Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, FHPC@ICFP 2014, Gothenburg, Sweden, September 4, 2014. ACM 2014, ISBN 978-1-4503-3040-4 [contents] - [e1]Laurie J. Hendren, Alex Rubinsteyn, Mary Sheeran, Jan Vitek:
ARRAY'14: Proceedings of the 2014 ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, Edinburgh, United Kingdom, June 12-13, 2014. ACM 2014, ISBN 978-1-4503-2937-8 [contents]
Informal and Other Publications
- 2023
- [i4]Mathis Bouverot-Dupuis, Mary Sheeran:
Efficient GPU implementation of a class of array permutations. CoRR abs/2306.07795 (2023) - 2022
- [i3]Abhiroop Sarkar, Bo Joel Svensson, Mary Sheeran:
Synchron - An API and Runtime for Embedded Systems. CoRR abs/2205.03262 (2022) - 2021
- [i2]Abhiroop Sarkar, Mary Sheeran:
Hailstorm : A Statically-Typed, Purely Functional Language for IoT Applications. CoRR abs/2105.13468 (2021) - [i1]Abhiroop Sarkar, Robert Krook, Bo Joel Svensson, Mary Sheeran:
Higher-Order Concurrency for Microcontrollers. CoRR abs/2108.07805 (2021)
Coauthor Index
aka: Joel Svensson
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
