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
Functional and dynamic programming in the design of parallel prefix networks
Mary Sheeran
Rapport
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
A new approach to the design of optimal parallel prefix circuits
Mary Sheeran, Ian Parberry
Rapport
2006
Using Lava and Wired for Design Exploration
Emil Axelsson, Koen Lindström Claessen, Mary Sheeran
Proceedings of the sixth international workshop on designing correct circuits, March, Vienna, Mary Sheeran and Tom Melham (editors)
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
The fun of programming - edited by Jeremy Gibbons and Oege de Moor
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
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.