Bo Joel Svensson

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 16

Top Topics

Embedded Systems

Cpu Implementation

Anti Unification

Top Venues

Publications

Robert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen
QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck. CoRR (2024)
Robert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen
QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck. IFL (2023)
Robert Krook, John Hui, Bo Joel Svensson, Stephen A. Edwards, Koen Claessen
Creating a Language for Writing Real-Time Applications for the Internet of Things. MEMOCODE (2022)
Abhiroop Sarkar, Bo Joel Svensson
Synchron - An API and Runtime for Embedded Systems (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Abhiroop Sarkar, Bo Joel Svensson, Mary Sheeran
Synchron - An API and Runtime for Embedded Systems. ECOOP (2022)
Abhiroop Sarkar, Bo Joel Svensson, Mary Sheeran
Synchron - An API and Runtime for Embedded Systems. CoRR (2022)
Abhiroop Sarkar, Robert Krook, Bo Joel Svensson, Mary Sheeran
Higher-order concurrency for microcontrollers. MPLR (2021)
Abhiroop Sarkar, Robert Krook, Bo Joel Svensson, Mary Sheeran
Higher-Order Concurrency for Microcontrollers. CoRR (2021)
Benjamin Vedder, Bo Joel Svensson, Jonny Vinter, Magnus Jonsson
Automated Testing of Ultrawideband Positioning for Autonomous Driving. J. Robotics 2020 (2020)
Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton
Instruction punning: lightweight instrumentation for x86-64. PLDI (2017)
Prajith Ramakrishnan Geethakumari, Vincenzo Gulisano, Bo Joel Svensson, Pedro Trancoso, Ioannis Sourdis
Single window stream aggregation using reconfigurable hardware. FPT (2017)
Martin Dybdal, Martin Elsman, Bo Joel Svensson, Mary Sheeran
Low-level functional GPU programming for parallel algorithms. FHPC@ICFP (2016)
Bo Joel Svensson, Ryan R. Newton, Mary Sheeran
A language for hierarchical data parallel design-space exploration on GPUs. J. Funct. Program. 26 (2016)
Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton
Living on the edge: rapid-toggling probes with cross-modification on x86. PLDI (2016)
Bo Joel Svensson, Michael Vollmer, Eric Holk, Trevor L. McDonell, Ryan R. Newton
Converting data-parallelism to task-parallelism by rewrites: purely functional programs across multiple GPUs. FHPC@ICFP (2015)
Michael Vollmer, Bo Joel Svensson, Eric Holk, Ryan R. Newton
Meta-programming and auto-tuning in the search for high performance GPU code. FHPC@ICFP (2015)
Bo Joel Svensson, Josef Svenningsson
Defunctionalizing push arrays. FHPC@ICFP (2014)
Bo Joel Svensson, Mary Sheeran, Ryan R. Newton
Design Exploration through Code-generating DSLs. ACM Queue 12 (4) (2014)
Bo Joel Svensson, Mary Sheeran, Ryan R. Newton
Design exploration through code-generating DSLs. Commun. ACM 57 (6) (2014)
Josef Svenningsson, Bo Joel Svensson
Simple and compositional reification of monadic embedded languages. ICFP (2013)
Josef David Svenningsson, Bo Joel Svensson, Mary Sheeran
Counting and occurrence sort for GPUs using an embedded language. FHPC@ICFP (2013)
Bo Joel Svensson, Mary Sheeran
Parallel programming in Haskell almost for free: an embedding of intel's array building blocks. FHPC@ICFP (2012)