| 2023 | ICFP | Efficient GPU Implementation of Affine Index Permutations on Arrays. | Mathis Bouverot-Dupuis, Mary Sheeran |
| 2022 | ECOOP | Synchron - An API and Runtime for Embedded Systems. | Abhiroop Sarkar, Bo Joel Svensson, Mary Sheeran |
| 2020 | PPDP | Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications. | Abhiroop Sarkar, Mary Sheeran |
| 2019 | ICFP | Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage. | Markus Aronsson, Koen Claessen, Mary Sheeran, Nicholas Smallbone |
| 2017 | HASKELL | Hardware software co-design in Haskell. | Markus Aronsson, Mary Sheeran |
| 2016 | ICFP | Low-level functional GPU programming for parallel algorithms. | Martin Dybdal, Martin Elsman, Bo Joel Svensson, Mary Sheeran |
| 2015 | ICFP | Functional programming and hardware design: still interesting after all these years. | Mary Sheeran |
| 2013 | ICFP | Counting and occurrence sort for GPUs using an embedded language. | Josef David Svenningsson, Bo Joel Svensson, Mary Sheeran |
| 2012 | ICFP | Parallel programming in Haskell almost for free: an embedding of intel's array building blocks. | Bo Joel Svensson, Mary Sheeran |
| 2012 | POPL | Expressive array constructs in an embedded GPU kernel programming language. | Koen Claessen, Mary Sheeran, Joel Svensson |
| 2010 | MEMOCODE | Feldspar: A domain specific language for digital signal processing algorithms. | Emil Axelsson, Koen Claessen, Gergely Dvai, Zoltn Horvth, Karin Keijzer, Bo Lyckegrd, Anders Persson, Mary Sheeran, Josef Svenningsson, Andrs Vajda |
| 2006 | ISCAS | Multiplier reduction tree with logarithmic logic depth and regular connectivity. | Henrik Eriksson, Per Larsson-Edefors, Mary Sheeran, Magnus Sjlander, Daniel Johansson, Martin Scholin |
| 2004 | FMCAD | Generating Fast Multipliers Using Clever Circuits. | Mary Sheeran |
| 2000 | FMCAD | Checking Safety Properties Using Induction and a SAT-Solver. | Mary Sheeran, Satnam Singh, Gunnar Stlmarck |
| 1998 | FMCAD | A Tutorial on Stlmarcks's Proof Procedure for Propositional Logic. | Mary Sheeran, Gunnar Stlmarck |
| 1998 | ICFP | Lava: Hardware Design in Haskell. | Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh |
| 1992 | MPC | Designing Arithmetic Circuits by Refinement in Ruby. | Geraint Jones, Mary Sheeran |