Mary Sheeran
Showing 54 publications
Efficient GPU Implementation of Affine Index Permutations on Arrays
Synchron - An API and Runtime for Embedded Systems
Higher-Order Concurrency for Microcontrollers
Hailstorm : A Statically-Typed, Purely Functional Language for IoT Applications
Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage
Hardware software co-design in Haskell
Hardware Software Co-design in Haskell
Low-Level Functional GPU Programming for Parallel Algorithms
Special issue dedicated to ICFP 2014: Editorial
A language for hierarchical data parallel design-space exploration on GPUs
Functional Programming and Hardware Design: Still Interesting after All These Years
Design exploration through code-generating DSLs
Stream Processing for Embedded Domain Specific Languages
Design Exploration through Code-Generating DSLs
Counting and Occurrence Sort for GPUs using an Embedded Language
Expressive array constructs in an embedded GPU kernel programming language
Feldspar: Application and Implementation
Parallel Programming in Haskell Almost for Free: an embedding of Intel's Array Building Blocks
The Design and Implementation of Feldspar: An Embedded Language for Digital Signal Processing
Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors
Functional and dynamic programming in the design of parallel prefix networks
Efficient Code Generation from the High-level Domain-specific Language Feldspar for DSPs
Chalk: a language and tool for architecture design and analysis
Feldspar: A Domain Specific Language for Digital Signal Processing algorithms
GPGPU Kernel Implementation and Refinement using Obsidian
The Design and Implementation of Feldspar: an Embedded Language for Digital Signal Processing
GPGPU Kernel Implementation using an Embedded Language: a Status Report
Fast Layout Exploration Using the Wired System
High level architectural modelling for early estimation of power and performance
SAT-Solving in Practice, with a Tutorial Example from Supervisory Control
Layout Exploration of Geometrically Accurate Arithmetic Circuits
Functional and dynamic programming in the design of parallel prefix networks
Obsidian: An Embedded Language for Data-Parallel Programming
Searching for prefix networks to fit in a context using a lazy functional programming language
Exposed Datapath for Efficient Computing
Multiplier Reduction Tree with Logarithmic Logic Depth and Regular Connectivity
Using Lava and Wired for Design Exploration
Exposed Datapath for Efficient Computing
A new approach to the design of optimal parallel prefix circuits
Teaching Hardware Description and Verification
Hardware design and functional programming: a perfect match (invited paper)
Wired: Wire-Aware Circuit Design
Hardware Design and Functional Programming: a Perfect Match (extended version)
Wired - a Language for Describing Non-Functional Properties of Digital Circuits
Generating Fast Multipliers Using Clever Circuits
Proc. 5th Int. Workshop on Designing Correct Circuits, a satellite event of ETAPS 2004
Describing and reasoning about circuits that are almost regular
FlexSoC: Combining Flexibility and Efficiency in SoC Designs
Functional Hardware Description in Lava
Describing and Reasoning about Sorting Networks
Download publication list
You can download this list to your computer.
Filter and download publication list
As logged in user (Chalmers employee) you find more export functions in MyResearch.
You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:
Zotero Connector
Mendeley Web Importer
The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.
Showing 7 research projects
An Algebra of Array Combinators and its Applications
Verification of Machine Learning Algorithms (Vermillion)
Gender Initiative for Excellence (Genie)
Octopi: Secure Programming for the Internet of Things
Octopi: Säker Programering för Sakernas Internet
Systematic testing of cyber-physical systems (SyTeC)
A functional programming approach to hardware acceleration of algorithms