Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors. - Joel Svensson; Mary Sheeran; Koen Claessen (IFL, 2008)

GPGPU kernel implementation and refinement using Obsidian. - Joel Svensson; Koen Claessen; Mary Sheeran (ICCS, 2010)

Parallel programming in Haskell almost for free: an embedding of intel's array building blocks. - Bo Joel Svensson; Mary Sheeran (FHPC@ICFP, 2012)

Expressive array constructs in an embedded GPU kernel programming language. - Koen Claessen; Mary Sheeran; Joel Svensson (DAMP, 2012)

Simple and compositional reification of monadic embedded languages. - Josef Svenningsson; Bo Joel Svensson (ICFP, 2013)

Counting and occurrence sort for GPUs using an embedded language. - Josef David Svenningsson; Bo Joel Svensson; Mary Sheeran (FHPC@ICFP, 2013)

Embedded Languages for Data-Parallel Programming. - Joel Svensson (2013)

Defunctionalizing push arrays. - Bo Joel Svensson; Josef Svenningsson (FHPC@ICFP, 2014)

Design Exploration through Code-generating DSLs. - Bo Joel Svensson; Mary Sheeran; Ryan R. Newton (ACM Queue, 2014)

Converting data-parallelism to task-parallelism by rewrites: purely functional programs across multiple GPUs. - Bo Joel Svensson; Michael Vollmer 003; Eric Holk; Trevor L. McDonell; Ryan R. Newton (FHPC@ICFP, 2015)

Meta-programming and auto-tuning in the search for high performance GPU code. - Michael Vollmer 003; Bo Joel Svensson; Eric Holk; Ryan R. Newton (FHPC@ICFP, 2015)

Low-level functional GPU programming for parallel algorithms. - Martin Dybdal; Martin Elsman; Bo Joel Svensson; Mary Sheeran (FHPC@ICFP, 2016)

Living on the edge: rapid-toggling probes with cross-modification on x86. - Buddhika Chamith; Bo Joel Svensson; Luke Dalessandro; Ryan R. Newton (PLDI, 2016)

A language for hierarchical data parallel design-space exploration on GPUs. - Bo Joel Svensson; Ryan R. Newton; Mary Sheeran (J. Funct. Program., 2016)

Single window stream aggregation using reconfigurable hardware. - Prajith Ramakrishnan Geethakumari; Vincenzo Gulisano; Bo Joel Svensson; Pedro Trancoso; Ioannis Sourdis (FPT, 2017)

Instruction punning: lightweight instrumentation for x86-64. - Buddhika Chamith; Bo Joel Svensson; Luke Dalessandro; Ryan R. Newton (PLDI, 2017)

Automated Testing of Ultrawideband Positioning for Autonomous Driving. - Benjamin Vedder; Bo Joel Svensson; Jonny Vinter; Magnus Jonsson (J. Robotics, 2020)

Higher-order concurrency for microcontrollers. - Abhiroop Sarkar; Robert Krook; Bo Joel Svensson; Mary Sheeran (MPLR, 2021)

Synchron - An API and Runtime for Embedded Systems. - Abhiroop Sarkar; Bo Joel Svensson; Mary Sheeran (ECOOP, 2022)

Creating a Language for Writing Real-Time Applications for the Internet of Things. - Robert Krook; John Hui; Bo Joel Svensson; Stephen A. Edwards; Koen Claessen (MEMOCODE, 2022)

Synchron - An API and Runtime for Embedded Systems (Artifact). - Abhiroop Sarkar; Bo Joel Svensson (Dagstuhl Artifacts Ser., 2022)

QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck. - Robert Krook; Nicholas Smallbone; Bo Joel Svensson; Koen Claessen (IFL, 2023)