Mary Sheeran

Professor vid Chalmers, Data- och informationsteknik, Funktionell programmering

Visar 49 publikationer

2017

Hardware Software Co-design in Haskell

Markus Aronsson, Mary Sheeran
ICFP Workshops 2017 - 10th ACM SIGPLAN International Haskell Symposium (Haskell 2017)
Paper i proceeding
2017

Hardware Software Co-design in Haskell

Markus Aronsson, Mary Sheeran
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 52 (10), p. 162-173
Paper i proceeding
2017

Hardware Software Co-design in Haskell

Markus Aronsson, Mary Sheeran
ICFP Workshops 2017 - 10th ACM SIGPLAN International Haskell Symposium (Haskell 2017)
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2016

Low-Level Functional GPU Programming for Parallel Algorithms

Martin Dybdal, Martin Elsman, Joel Bo Svensson et al
Int. Workshop on Functional High Performance Computing, associated with Int. Conf. on Functional Programming, p. 31-37
Paper i proceeding
2016

Special issue dedicated to ICFP 2014 Editorial

D. Dreyer, Mary Sheeran
Journal of Functional Programming. Vol. 26
Artikel i vetenskaplig tidskrift
2016

A language for hierarchical data parallel design-space exploration on GPUs

Joel Bo Svensson, Mary Sheeran, Ryan R. Newton
Journal of Functional Programming. Vol. 26
Artikel i vetenskaplig tidskrift
2015

Functional Programming and Hardware Design: Still Interesting after All These Years

Mary Sheeran
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 50 (9), p. 165-165
Paper i proceeding
2014

Design exploration through code-generating DSLs

Joel Bo Svensson, Mary Sheeran, R. Newton
Queue. Vol. 12 (4), p. 40-52
Artikel i vetenskaplig tidskrift
2014

Stream Processing for Embedded Domain Specific Languages

Markus Aronsson, Emil Axelsson, Mary Sheeran
26th Symposium on Implementation and Application of Functional Languages, IFL 2014, Northeastern University Boston, United States, 1 October 2014 through 3 October 2014
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2014

Design Exploration through Code-Generating DSLs

Joel Bo Svensson, Mary Sheeran, R. Newton
Communications of the ACM. Vol. 57 (6), p. 56-63
Artikel i vetenskaplig tidskrift
2014

Stream Processing for Embedded Domain Specific Languages

Markus Aronsson, Emil Axelsson, Mary Sheeran
Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages. Vol. 26th, p. 8:1-8:12
Paper i proceeding
2013

Counting and Occurrence Sort for GPUs using an Embedded Language

Josef Svenningsson, Joel Bo Svensson, Mary Sheeran
The 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing, FHPC'13. Vol. 48 (12), p. 37-45
Paper i proceeding
2012

Expressive array constructs in an embedded GPU kernel programming language

Koen Lindström Claessen, Mary Sheeran, Joel Bo Svensson
Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming, DAMP'12, p. 21-30
Paper i proceeding
2012

Feldspar: Application and Implementation

Emil Axelsson, Mary Sheeran
Lecture Notes in Computer Science. Vol. 7241, p. 402-439
Artikel i vetenskaplig tidskrift
2012

Parallel Programming in Haskell Almost for Free: an embedding of Intel's Array Building Blocks

Joel Bo Svensson, Mary Sheeran
1st ACM SIGPLAN Workshop on Functional High Performance Computing, FHPC 2012. Copenhagen, 15 September 2012, p. 3-14
Paper i proceeding
2011

The Design and Implementation of Feldspar: An Embedded Language for Digital Signal Processing

Emil Axelsson, Koen Lindström Claessen, Mary Sheeran et al
Lecture Notes in Computer Science. Vol. 6647, p. 121-136
Paper i proceeding
2011

Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors

Joel Bo Svensson, Mary Sheeran, Koen Lindström Claessen
Lecture Notes in Computer Science. Vol. 5836, p. 156-173
Paper i proceeding
2010

GPGPU Kernel Implementation and Refinement using Obsidian

Joel Bo Svensson, Mary Sheeran, Koen Lindström Claessen
ICCS 2010 conference proceedings; Amsterdam, NETHERLANDS, MAY 31-JUN 02, 2010. Vol. 1 (1), p. 2059-2068
Paper i proceeding
2010

Efficient Code Generation from the High-level Domain-specific Language Feldspar for DSPs

Gergely Dévai, Máté Tejfel, Zoltán Gera et al
ODES-8: 8th Workshop on Optimizations for DSP and Embedded Systems, workshop associated with IEEE/ACM International Symposium on Code Generation and Optimization (CGO)
Paper i proceeding
2010

GPGPU Kernel Implementation using an Embedded Language: a Status Report

Joel Bo Svensson, Koen Lindström Claessen, Mary Sheeran
Rapport
2010

Functional and dynamic programming in the design of parallel prefix networks

Mary Sheeran
Journal of Functional Programming. Vol. 21 (1), p. 59-114
Artikel i vetenskaplig tidskrift
2010

Chalk: a language and tool for architecture design and analysis

Wouter Swierstra, Koen Lindström Claessen, Carl Seger et al
Workshop on Designing Correct Circuits, associated with ETAPS
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2010

Feldspar: A Domain Specific Language for Digital Signal Processing algorithms

Emil Axelsson, Koen Lindström Claessen, Gergely Dévai et al
Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign, p. 169-178
Paper i proceeding
2010

The Design and Implementation of Feldspar: an Embedded Language for Digital Signal Processing

Emil Axelsson, Koen Lindström Claessen, Mary Sheeran et al
IFL 2010, the 22nd Symposium on Implementation and Application of Functional Languages
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2009

Fast Layout Exploration Using the Wired System

Emil Axelsson, KASYAB PARMESH SUBRAMANIYAN, Mary Sheeran et al
Swedish System-on-Chip Conference (SSoCC)
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2009

Layout Exploration of Geometrically Accurate Arithmetic Circuits

KASYAB PARMESH SUBRAMANIYAN, Emil Axelsson, Mary Sheeran et al
Proceedings of IEEE International Conference of Electronics, Circuits and Systems
Paper i proceeding
2009

High level architectural modelling for early estimation of power and performance

Koen Lindström Claessen, Carl Seger, Mary Sheeran et al
Workshop on Hardware Design and Functional Languages, associated with ETAPS
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2009

SAT-Solving in Practice, with a Tutorial Example from Supervisory Control

Koen Lindström Claessen, Niklas Een, Mary Sheeran et al
Discrete Event Dynamic Systems: Theory and Applications. Vol. 19 (4), p. 495-524
Artikel i vetenskaplig tidskrift
2008

SAT-Solving in Practice

Koen Lindström Claessen, Niklas Een, Mary Sheeran et al
9th International Workshop on Discrete Event Systems, WODES' 08; Goteborg; Sweden; 28 May 2008 through 30 May 2008, p. 61-67
Paper i proceeding
2008

Obsidian: An Embedded Language for Data-Parallel Programming

Joel Bo Svensson, Koen Lindström Claessen, Mary Sheeran
Int. Workshop on Designing Correct Circuits, DCC'08, associated with ETAPS
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2007

Exposed Datapath for Efficient Computing

Magnus Björk, Magnus Själander, Lars Svensson et al
2007 HiPEAC Workshop on Reconfigurable Computing
Paper i proceeding
2007

Searching for prefix networks to fit in a context using a lazy functional programming language

Mary Sheeran
Proc. int. workshop on Hardware Design and Functional Languages, 2007, associated with ETAPS
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2007

Formal Methods in Computer Aided Design

Jason Baumgartner, Mary Sheeran
Samlingsverk (redaktörskap)
2006

Using Lava and Wired for Design Exploration

Emil Axelsson, Koen Lindström Claessen, Mary Sheeran
Artikel i övriga tidskrifter
2006

Exposed Datapath for Efficient Computing

Magnus Björk, Magnus Själander, Lars Svensson et al
Rapport
2006

Multiplier Reduction Tree with Logarithmic Logic Depth and Regular Connectivity

Henrik Eriksson, Per Larsson-Edefors, Mary Sheeran et al
IEEE Intl Symposium on Circuits and Systems (ISCAS)
Paper i proceeding
2005

Teaching Hardware Description and Verification

Emil Axelsson, Magnus Björk, Mary Sheeran
2005 International Conference on Microelectronic Systems Education, p. 119-120
Paper i proceeding
2005

Hardware design and functional programming: a perfect match (invited paper)

Mary Sheeran
Proceedings 9th Brazilian Symposium on Programming Languages (SBLP05)
Paper i proceeding
2005

Wired: Wire-Aware Circuit Design

Emil Axelsson, Koen Lindström Claessen, Mary Sheeran
Correct Hardware Design and Verification Methods. Vol. 3725, p. 5-19
Paper i proceeding
2005

Hardware Design and Functional Programming: a Perfect Match (extended version)

Mary Sheeran
Journal of Universal Computer Science, Special Issue on Brazilian Symposium on Programming Languages. Vol. 11 (7)
Artikel i vetenskaplig tidskrift
2004

Proc. 5th Int. Workshop on Designing Correct Circuits, a satellite event of ETAPS 2004

Mary Sheeran, T. Melham
Samlingsverk (redaktörskap)
2004

Wired - a Language for Describing Non-Functional Properties of Digital Circuits

Emil Axelsson, Mary Sheeran, Koen Lindström Claessen
Proceedings of International Workshop on Designing Correct Circuits. Barcelona, Spain, March 2004
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2004

Generating Fast Multipliers Using Clever Circuits

Mary Sheeran
Lecture Notes in Computer Science. Vol. 3312, p. 6-20
Artikel i vetenskaplig tidskrift
2003

FlexSoC: Combining Flexibility and Efficiency in SoC Designs

John Hughes, Kjell Jeppson, Per Larsson-Edefors et al
Proceedings of 21st Norchip Conference. Vol. Riga, Latvia, p. 52-55
Paper i proceeding
2003

Describing and Reasoning about Sorting Networks

Mary Sheeran
Invited talk at 15th Nordic Workshop on Programming Theory, NWPT'03, Turku, Finland, October 2003
Paper i proceeding
2003

Functional Hardware Description in Lava

Koen Lindström Claessen, Mary Sheeran, Satnam Singh
Kapitel i bok
2003

Describing and reasoning about circuits that are almost regular

Mary Sheeran
Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings / Daniel Geist, Enrico Tronci, (Eds.)., p. 4-18
Kapitel i bok

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Visar 3 forskningsprojekt

2018–

Octopi: Säker Programmering för Sakernas Internet

Koen Lindström Claessen Funktionell programmering
Carl-Johan Seger Funktionell programmering
John Hughes Funktionell programmering
Alejandro Russo Informationssäkerhet
Mary Sheeran Funktionell programmering
Stiftelsen för Strategisk forskning (SSF)

2018–2023

Octopi: Säker Programering för Sakernas Internet

Alejandro Russo Informationssäkerhet
Mary Sheeran Funktionell programmering
John Hughes Funktionell programmering
Koen Lindström Claessen Funktionell programmering
Carl-Johan Seger Funktionell programmering
Stiftelsen för Strategisk forskning (SSF)

2017–2022

Systematisk testning av cyberfysiska system (SyTeC)

John Hughes Funktionell programmering
Koen Lindström Claessen Funktionell programmering
Martin Fabian Automation
Mary Sheeran Funktionell programmering
Bengt Lennartson Automation
Nicholas Smallbone Funktionell programmering
Zahra Ramezani Automation
Knut Åkesson Automation
Vetenskapsrådet (VR)

Det kan finnas fler projekt där Mary Sheeran medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.