Mary Sheeran - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Mary Sheeran' as author, editor, or advisor:

Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics ProcessorsJoel Svensson, Mary Sheeran, Koen Claessen. IFL 2011: 156-173 [doi]
Design exploration through code-generating DSLsBo Joel Svensson, Mary Sheeran, Ryan R. Newton. CACM, 57(6):56-63, 2014. [doi]
Finding Regularity: Describing and Analysing Circuits That Are Not Quite RegularMary Sheeran. charme 2003: 4-18 [doi]
Safety at speed: in-place array algorithms from pure functional programs by safely re-using storageMarkus Aronsson, Koen Claessen, Mary Sheeran, Nicholas Smallbone. ICFP 2019: 34-46 [doi]
The Design and Verification of a Sorter CoreKoen Claessen, Mary Sheeran, Satnam Singh. charme 2001: 355-369 [doi]
Counting and occurrence sort for GPUs using an embedded languageJosef David Svenningsson, Bo Joel Svensson, Mary Sheeran. ICFP 2013: 37-46 [doi]
UpsilonFP : An algebraic VLSI design languageMary Sheeran. PhD thesis, University of Oxford, UK, 1983. [doi]
A Certain Loss of IdentityGeraint Jones, Mary Sheeran. fp 1993: 113-121
A Tutorial on Stålmarcks s Proof Procedure for Propositional LogicMary Sheeran, Gunnar Stålmarck. FMCAD 1998: 82-99 [doi]
Deriving Bit-Serial Circuits in RubyGeraint Jones, Mary Sheeran. vlsi 1992: 71-80
Low-level functional GPU programming for parallel algorithmsMartin Dybdal, Martin Elsman, Bo Joel Svensson, Mary Sheeran. ICFP 2016: 31-37 [doi]
Wired: Wire-Aware Circuit DesignEmil Axelsson, Koen Claessen, Mary Sheeran. charme 2005: 5-19 [doi]
Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, FHPC@ICFP 2014, Gothenburg, Sweden, September 4, 2014Jost Berthold, Mary Sheeran, Ryan Newton, editors, ACM, 2014. [doi]
Designing Arithmetic Circuits by Refinement in RubyGeraint Jones, Mary Sheeran. SCP, 22(1-2):107-135, 1994.
A Note on Absraction in RubyMary Sheeran. fp 1992: 332-338
A Tutorial on Stålmarck s Proof Procedure for Propositional LogicMary Sheeran, Gunnar Stålmarck. fmsd, 16(1):23-58, 2000.
Using Lava to design and verify recursive and periodic sortersKoen Claessen, Mary Sheeran, Satnam Singh. STTT, 4(3):349-358, 2003. [doi]
Special issue dedicated to ICFP 2014: EditorialDerek Dreyer, Mary Sheeran. JFP, 26, 2016. [doi]
Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI, Portland, OR, USA, June 15 - 17, 2015Laurie J. Hendren, Hidehiko Masuhara, Mary Sheeran, Jan Vitek, editors, ACM, 2015. [doi]
Generating Fast Multipliers Using Clever CircuitsMary Sheeran. FMCAD 2004: 6-20 [doi]
Designing Arithmetic Circuits by Refinement in RubyGeraint Jones, Mary Sheeran. mpc 1993: 208-232
SAT-Solving in Practice, with a Tutorial Example from Supervisory ControlKoen Claessen, Niklas EÃ©n, Mary Sheeran, Niklas SÃ¶rensson, Alexey Voronov, Knut Ã…kesson. deds, 19(4):495-524, 2009. [doi]
Feldspar: Application and ImplementationEmil Axelsson, Mary Sheeran. cefp 2012: 402-439 [doi]
The Design and Implementation of Feldspar - An Embedded Language for Digital Signal ProcessingEmil Axelsson, Koen Claessen, Mary Sheeran, Josef Svenningsson, David Engdal, Anders Persson. IFL 2011: 121-136 [doi]
Describing Butterfly Networks in RubyMary Sheeran. fp 1990: 182-205
Higher-order concurrency for microcontrollersAbhiroop Sarkar, Robert Krook, Bo Joel Svensson, Mary Sheeran. PPPJ 2021: 26-35 [doi]
Synchron - An API and Runtime for Embedded SystemsAbhiroop Sarkar, Bo Joel Svensson, Mary Sheeran. ECOOP 2022: [doi]
Lava: Hardware Design in HaskellPer Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh. ICFP 1998: 174-184 [doi]
A language for hierarchical data parallel design-space exploration on GPUsBo Joel Svensson, Ryan R. Newton, Mary Sheeran. JFP, 26, 2016. [doi]
Multiplier reduction tree with logarithmic logic depth and regular connectivityHenrik Eriksson, Per Larsson-Edefors, Mary Sheeran, Magnus Själander, D. Johansson, M. Scholin. iscas 2006: [doi]
Categories for the Working Hardware DesignerMary Sheeran. msiw 1990: 380-402
Functional and dynamic programming in the design of parallel prefix networksMary Sheeran. JFP, 21(1):59-114, 2011. [doi]
Hardware Design and Functional Programming: a Perfect MatchMary Sheeran. jucs, 11(7):1135-1158, 2005. [doi]
Layout exploration of geometrically accurate arithmetic circuitsKasyab P. Subramaniyan, Emil Axelsson, Per Larsson-Edefors, Mary Sheeran. icecsys 2009: 795-798 [doi]
Efficient GPU Implementation of Affine Index Permutations on ArraysMathis Bouverot-Dupuis, Mary Sheeran. ICFP 2023: 15-28 [doi]
GPGPU kernel implementation and refinement using ObsidianJoel Svensson, Koen Claessen, Mary Sheeran. procedia, 1(1):2065-2074, 2010. [doi]
Hardware software co-design in HaskellMarkus Aronsson, Mary Sheeran. haskell 2017: 162-173 [doi]
ARRAY'14: Proceedings of the 2014 ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, Edinburgh, United Kingdom, June 12-13, 2014Laurie J. Hendren, Alex Rubinsteyn, Mary Sheeran, Jan Vitek, editors, ACM, 2014. [doi]
muFP, A Language for VLSI DesignMary Sheeran. lfp 1984: 104-112
Design Exploration through Code-generating DSLsBo Joel Svensson, Mary Sheeran, Ryan Newton. queue, 12(4):40, 2014. [doi]
Expressive array constructs in an embedded GPU kernel programming languageKoen Claessen, Mary Sheeran, Joel Svensson. POPL 2012: 21-30 [doi]
Checking Safety Properties Using Induction and a SAT-SolverMary Sheeran, Satnam Singh, Gunnar Stålmarck. FMCAD 2000: 108-125 [doi]
Hailstorm: A Statically-Typed, Purely Functional Language for IoT ApplicationsAbhiroop Sarkar, Mary Sheeran. ppdp 2020: [doi]
Designing Regular Array Architectures using Higher Order FunctionsMary Sheeran. fpca 1985: 220-237
Parallel programming in Haskell almost for free: an embedding of intel's array building blocksBo Joel Svensson, Mary Sheeran. ICFP 2012: 3-14 [doi]
Functional programming and hardware design: still interesting after all these yearsMary Sheeran. ICFP 2015: 165 [doi]
Stream Processing for Embedded Domain Specific LanguagesMarkus Aronsson, Emil Axelsson, Mary Sheeran. IFL 2014: 8 [doi]

runs on WebDSL