Mary Sheeran - RankMe

52 papers A 6B 4C 5Misc 1Journal 14Unranked 18

Year	Rank	Type	Title / Venue / Authors
2023	—	`conf`	Efficient GPU Implementation of Affine Index Permutations on Arrays. FHPNC Mathis Bouverot-Dupuis, Mary Sheeran
2023	J	`jnl`	Efficient GPU implementation of a class of array permutations. CoRR Mathis Bouverot-Dupuis, Mary Sheeran
2022	A	`conf`	Synchron - An API and Runtime for Embedded Systems. ECOOP Abhiroop Sarkar, Bo Joel Svensson, Mary Sheeran
2022	J	`jnl`	Synchron - An API and Runtime for Embedded Systems. CoRR Abhiroop Sarkar, Bo Joel Svensson, Mary Sheeran
2021	J	`jnl`	Hailstorm : A Statically-Typed, Purely Functional Language for IoT Applications. CoRR Abhiroop Sarkar, Mary Sheeran
2021	J	`jnl`	Higher-Order Concurrency for Microcontrollers. CoRR Abhiroop Sarkar, Robert Krook, Bo Joel Svensson, Mary Sheeran
2021	C	`conf`	Higher-order concurrency for microcontrollers. MPLR Abhiroop Sarkar, Robert Krook, Bo Joel Svensson, Mary Sheeran
2020	C	`conf`	Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications. PPDP Abhiroop Sarkar, Mary Sheeran
2019	—	`conf`	Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage. FHPNC@ICFP Markus Aronsson, Koen Claessen, Mary Sheeran, Nicholas Smallbone
2017	C	`conf`	Hardware software co-design in Haskell. Haskell Markus Aronsson, Mary Sheeran
2016	J	`jnl`	A language for hierarchical data parallel design-space exploration on GPUs. J. Funct. Program. Bo Joel Svensson, Ryan R. Newton, Mary Sheeran
2016	—	`conf`	Low-level functional GPU programming for parallel algorithms. FHPC@ICFP Martin Dybdal, Martin Elsman, Bo Joel Svensson, Mary Sheeran
2016	J	`jnl`	Special issue dedicated to ICFP 2014: Editorial. J. Funct. Program. Derek Dreyer, Mary Sheeran
2015	A	`conf`	Functional programming and hardware design: still interesting after all these years. ICFP Mary Sheeran
2015	—	`ed.`	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 ARRAY@PLDI Laurie J. Hendren, Hidehiko Masuhara, Mary Sheeran, Jan Vitek
2014	—	`ed.`	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 ARRAY@PLDI Laurie J. Hendren, Alex Rubinsteyn, Mary Sheeran, Jan Vitek
2014	J	`jnl`	Design Exploration through Code-generating DSLs. ACM Queue Bo Joel Svensson, Mary Sheeran, Ryan R. Newton
2014	J	`jnl`	Design exploration through code-generating DSLs. Commun. ACM Bo Joel Svensson, Mary Sheeran, Ryan R. Newton
2014	—	`ed.`	Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, FHPC@ICFP 2014, Gothenburg, Sweden, September 4, 2014 FHPC@ICFP Jost Berthold, Mary Sheeran, Ryan Newton
2014	—	`conf`	Stream Processing for Embedded Domain Specific Languages. IFL Markus Aronsson, Emil Axelsson, Mary Sheeran
2013	—	`conf`	Counting and occurrence sort for GPUs using an embedded language. FHPC@ICFP Josef David Svenningsson, Bo Joel Svensson, Mary Sheeran
2012	—	`conf`	Expressive array constructs in an embedded GPU kernel programming language. DAMP Koen Claessen, Mary Sheeran, Joel Svensson
2012	—	`conf`	Parallel programming in Haskell almost for free: an embedding of intel's array building blocks. FHPC@ICFP Bo Joel Svensson, Mary Sheeran
2011	—	`conf`	Feldspar: Application and Implementation. CEFP Emil Axelsson, Mary Sheeran
2011	J	`jnl`	Functional and dynamic programming in the design of parallel prefix networks. J. Funct. Program. Mary Sheeran
2010	C	`conf`	Feldspar: A domain specific language for digital signal processing algorithms. MEMOCODE 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
2010	Misc	`conf`	GPGPU kernel implementation and refinement using Obsidian. ICCS Joel Svensson, Koen Claessen, Mary Sheeran
2010	—	`conf`	The Design and Implementation of Feldspar - An Embedded Language for Digital Signal Processing. IFL Emil Axelsson, Koen Claessen, Mary Sheeran, Josef Svenningsson, David Engdal, Anders Persson
2009	—	`conf`	Layout exploration of geometrically accurate arithmetic circuits. ICECS Kasyab P. Subramaniyan, Emil Axelsson, Per Larsson-Edefors, Mary Sheeran
2009	J	`jnl`	SAT-Solving in Practice, with a Tutorial Example from Supervisory Control. Discret. Event Dyn. Syst. Koen Claessen, Niklas Eén, Mary Sheeran, Niklas Sörensson, Alexey Voronov, Knut Åkesson
2008	—	`conf`	Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors. IFL Joel Svensson, Mary Sheeran, Koen Claessen
2006	C	`conf`	Multiplier reduction tree with logarithmic logic depth and regular connectivity. ISCAS Henrik Eriksson, Per Larsson-Edefors, Mary Sheeran, Magnus Själander, Daniel Johansson, Martin Scholin
2005	J	`jnl`	Hardware Design and Functional Programming: a Perfect Match. J. Univers. Comput. Sci. Mary Sheeran
2005	—	`conf`	Wired: Wire-Aware Circuit Design. CHARME Emil Axelsson, Koen Claessen, Mary Sheeran
2004	B	`conf`	Generating Fast Multipliers Using Clever Circuits. FMCAD Mary Sheeran
2003	—	`conf`	Finding Regularity: Describing and Analysing Circuits That Are Not Quite Regular. CHARME Mary Sheeran
2003	J	`jnl`	Using Lava to design and verify recursive and periodic sorters. Int. J. Softw. Tools Technol. Transf. Koen Claessen, Mary Sheeran, Satnam Singh
2001	—	`conf`	The Design and Verification of a Sorter Core. CHARME Koen Claessen, Mary Sheeran, Satnam Singh
2000	J	`jnl`	A Tutorial on Stålmarck's Proof Procedure for Propositional Logic. Formal Methods Syst. Des. Mary Sheeran, Gunnar Stålmarck
2000	B	`conf`	Checking Safety Properties Using Induction and a SAT-Solver. FMCAD Mary Sheeran, Satnam Singh, Gunnar Stålmarck
1998	B	`conf`	A Tutorial on Stålmarcks's Proof Procedure for Propositional Logic. FMCAD Mary Sheeran, Gunnar Stålmarck
1998	A	`conf`	Lava: Hardware Design in Haskell. ICFP Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh
1994	J	`jnl`	Designing Arithmetic Circuits by Refinement in Ruby. Sci. Comput. Program. Geraint Jones, Mary Sheeran
1992	A	`conf`	A Certain Loss of Identity. Functional Programming Geraint Jones, Mary Sheeran
1992	B	`conf`	Designing Arithmetic Circuits by Refinement in Ruby. MPC Geraint Jones, Mary Sheeran
1991	A	`conf`	A Note on Abstraction in Ruby. Functional Programming Mary Sheeran
1991	—	`conf`	Deriving Bit-Serial Circuits in Ruby. VLSI Geraint Jones, Mary Sheeran
1989	—	`conf`	Categories for the Working Hardware Designer. Hardware Specification, Verification and Synthesis Mary Sheeran
1989	A	`conf`	Describing Butterfly Networks in Ruby. Functional Programming Mary Sheeran
1985	—	`conf`	Designing Regular Array Architectures using Higher Order Functions. FPCA Mary Sheeran
1984	—	`conf`	muFP, A Language for VLSI Design. LISP and Functional Programming Mary Sheeran
1983	—	`—`	UpsilonFP : An algebraic VLSI design language. Mary Sheeran