Bo Joel Svensson

According to our database, Bo Joel Svensson authored at least 22 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck.

Robert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen

Proceedings of the 35th Symposium on Implementation and Application of Functional Languages, 2023

2022

Synchron - An API and Runtime for Embedded Systems (Artifact).

Abhiroop Sarkar, Bo Joel Svensson

Dagstuhl Artifacts Ser., 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

Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022

Synchron - An API and Runtime for Embedded Systems.

Abhiroop Sarkar, Bo Joel Svensson, Mary Sheeran

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Higher-order concurrency for microcontrollers.

Abhiroop Sarkar, Robert Krook, Bo Joel Svensson, Mary Sheeran

Proceedings of the MPLR '21: 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2021

2020

Automated Testing of Ultrawideband Positioning for Autonomous Driving.

Benjamin Vedder, Bo Joel Svensson, Jonny Vinter, Magnus Jonsson

J. Robotics, 2020

2017

Instruction punning: lightweight instrumentation for x86-64.

Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Single window stream aggregation using reconfigurable hardware.

Prajith Ramakrishnan Geethakumari, Vincenzo Gulisano, Bo Joel Svensson, Pedro Trancoso, Ioannis Sourdis

Proceedings of the International Conference on Field Programmable Technology, 2017

2016

A language for hierarchical data parallel design-space exploration on GPUs.

Bo Joel Svensson, Ryan R. Newton, Mary Sheeran

J. Funct. Program., 2016

Living on the edge: rapid-toggling probes with cross-modification on x86.

Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Low-level functional GPU programming for parallel algorithms.

Martin Dybdal, Martin Elsman, Bo Joel Svensson, Mary Sheeran

Proceedings of the 5th International Workshop on Functional High-Performance Computing, 2016

2015

Meta-programming and auto-tuning in the search for high performance GPU code.

Michael Vollmer, Bo Joel Svensson, Eric Holk, Ryan R. Newton

Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing, 2015

Converting data-parallelism to task-parallelism by rewrites: purely functional programs across multiple GPUs.

Bo Joel Svensson, Michael Vollmer, Eric Holk, Trevor L. McDonell, Ryan R. Newton

Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing, 2015

2014

Design Exploration through Code-generating DSLs.

Bo Joel Svensson, Mary Sheeran, Ryan R. Newton

ACM Queue, 2014

Defunctionalizing push arrays.

Bo Joel Svensson, Josef Svenningsson

Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014

2013

Embedded Languages for Data-Parallel Programming.

Joel Svensson

PhD thesis, 2013

Counting and occurrence sort for GPUs using an embedded language.

Josef David Svenningsson, Bo Joel Svensson, Mary Sheeran

Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013

Simple and compositional reification of monadic embedded languages.

Josef Svenningsson, Bo Joel Svensson

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012

Expressive array constructs in an embedded GPU kernel programming language.

Koen Claessen, Mary Sheeran, Joel Svensson

Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, 2012

Parallel programming in Haskell almost for free: an embedding of intel's array building blocks.

Bo Joel Svensson, Mary Sheeran

Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, 2012

2010

GPGPU kernel implementation and refinement using Obsidian.

Joel Svensson, Koen Claessen, Mary Sheeran

Proceedings of the International Conference on Computational Science, 2010

2008

Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors.

Joel Svensson, Mary Sheeran, Koen Claessen

Proceedings of the Implementation and Application of Functional Languages, 2008