Bo Joel Svensson

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