Mary Sheeran
Visar 49 publikationer
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
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
GPGPU Kernel Implementation and Refinement using Obsidian
Efficient Code Generation from the High-level Domain-specific Language Feldspar for DSPs
GPGPU Kernel Implementation using an Embedded Language: a Status Report
Functional and dynamic programming in the design of parallel prefix networks
Chalk: a language and tool for architecture design and analysis
Feldspar: A Domain Specific Language for Digital Signal Processing algorithms
The Design and Implementation of Feldspar: an Embedded Language for Digital Signal Processing
Fast Layout Exploration Using the Wired System
Functional and dynamic programming in the design of parallel prefix networks
Layout Exploration of Geometrically Accurate Arithmetic Circuits
High level architectural modelling for early estimation of power and performance
SAT-Solving in Practice, with a Tutorial Example from Supervisory Control
Obsidian: An Embedded Language for Data-Parallel Programming
Exposed Datapath for Efficient Computing
Searching for prefix networks to fit in a context using a lazy functional programming language
Formal Methods in Computer Aided Design
A new approach to the design of optimal parallel prefix circuits
Using Lava and Wired for Design Exploration
Exposed Datapath for Efficient Computing
Multiplier Reduction Tree with Logarithmic Logic Depth and Regular Connectivity
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)
Proc. 5th Int. Workshop on Designing Correct Circuits, a satellite event of ETAPS 2004
Wired - a Language for Describing Non-Functional Properties of Digital Circuits
Generating Fast Multipliers Using Clever Circuits
FlexSoC: Combining Flexibility and Efficiency in SoC Designs
Describing and Reasoning about Sorting Networks
Functional Hardware Description in Lava
Describing and reasoning about circuits that are almost regular
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Visar 4 forskningsprojekt
Verification of Machine Learning Algorithms (Vermillion)
Octopi: Säker Programmering för Sakernas Internet
Octopi: Säker Programering för Sakernas Internet
Systematisk testning av cyberfysiska system (SyTeC)