Joel Svensson

Publikationer (23)
Projekt (0)

Visar 23 publikationer

2023

QuickerCheck Implementing and Evaluating a Parallel Run-Time for QuickCheck

Robert Krook, Nicholas Smallbone, Joel Svensson et al

PROCEEDINGS OF THE 2023 35TH SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, IFL 2023

Paper i proceeding

2022

Creating a Language for Writing Real-Time Applications for the Internet of Things

Robert Krook, John Hui, Joel Svensson et al

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

Paper i proceeding

Visa projekt

2022

Synchron - An API and Runtime for Embedded Systems

Abhiroop Sarkar, Joel Svensson, Mary Sheeran

Leibniz International Proceedings in Informatics, LIPIcs. Vol. 222, p. 17:1-17:28

Paper i proceeding

Visa projekt

2021

Higher-Order Concurrency for Microcontrollers

Abhiroop Sarkar, Robert Krook, Joel Svensson et al

MPLR 2021 - Proceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, p. 26-36

Paper i proceeding

Visa projekt

2017

Instruction punning: Lightweight instrumentation for x86-64

B. Chamith, Joel Bo Svensson, L. Dalessandro et al

ACM SIGPLAN Notices. Vol. Part F128414 (6), p. 320-332

Paper i proceeding

2017

Single Window Stream Aggregation using Reconfigurable Hardware

Prajith Ramakrishnan Geethakumari, Vincenzo Massimiliano Gulisano, Joel Bo Svensson et al

2017 INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE TECHNOLOGY (ICFPT). Vol. 2018-January, p. 112-119

Paper i proceeding

2016

Low-Level Functional GPU Programming for Parallel Algorithms

Martin Dybdal, Martin Elsman, Joel Bo Svensson et al

FHPC 2016- Proceedings of the 5th International Workshop on Functional High-Performance Computing , p. 31-37

Paper i proceeding

2016

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

Joel Bo Svensson, Mary Sheeran, Ryan R. Newton

Journal of Functional Programming. Vol. 26

Artikel i vetenskaplig tidskrift

2014

Design exploration through code-generating DSLs

Joel Bo Svensson, Mary Sheeran, R. Newton

Queue. Vol. 12 (4), p. 40-52

Artikel i vetenskaplig tidskrift

2014

Design Exploration through Code-Generating DSLs

Joel Bo Svensson, Mary Sheeran, R. Newton

Communications of the ACM. Vol. 57 (6), p. 56-63

Artikel i vetenskaplig tidskrift

2014

Defunctionalizing Push arrays

Joel Bo Svensson, Josef Svenningsson

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP. 3rd ACM SIGPLAN Workshop on Functional High-Performance Computing, FHPC 2014; Gothenburg; Sweden; 4 September 2014 through 4 September 2014, p. 43-52

Paper i proceeding

2013

Simple and compositional reification of monadic embedded languages

Josef Svenningsson, Joel Bo Svensson

ACM SIGPLAN Notices. Vol. 48 (9), p. 299-304

Artikel i vetenskaplig tidskrift

2013

Embedded Languages for Data-Parallel Programming

Joel Bo Svensson

Doktorsavhandling

2013

Simple and Compositional Reification of Monadic Embedded Languages: Functional pearl

Josef Svenningsson, Joel Bo Svensson

The 18th ACM SIGPLAN International Conference on Functional Programming, ICFP'13, p. 299-304

Paper i proceeding

2013

Counting and Occurrence Sort for GPUs using an Embedded Language

Josef Svenningsson, Joel Bo Svensson, Mary Sheeran

The 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing, FHPC'13. Vol. 48 (12), p. 37-45

Paper i proceeding

2012

Expressive array constructs in an embedded GPU kernel programming language

Koen Lindström Claessen, Mary Sheeran, Joel Bo Svensson

Conference Record of the Annual ACM Symposium on Principles of Programming Languages, p. 21-30

Paper i proceeding

2012

Parallel Programming in Haskell Almost for Free: an embedding of Intel's Array Building Blocks

Joel Bo Svensson, Mary Sheeran

1st ACM SIGPLAN Workshop on Functional High Performance Computing, FHPC 2012. Copenhagen, 15 September 2012, p. 3-14

Paper i proceeding

2011

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

Joel Bo Svensson, Mary Sheeran, Koen Lindström Claessen

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5836, p. 156-173

Paper i proceeding

2011

Obsidian: GPU Kernel Programming in Haskell

Joel Bo Svensson

Licentiatavhandling

2011

Programming Future Parallel Architectures with Haskell and Intel ArBB

Joel Bo Svensson, Ryan Newton

Future Architectural Support for Parallel Programming (FASPP'11)

Paper i proceeding

2010

GPGPU Kernel Implementation using an Embedded Language: a Status Report

Joel Bo Svensson, Koen Lindström Claessen, Mary Sheeran

Rapport

2010

GPGPU Kernel Implementation and Refinement using Obsidian

Joel Bo Svensson, Mary Sheeran, Koen Lindström Claessen

ICCS 2010 conference proceedings; Amsterdam, NETHERLANDS, MAY 31-JUN 02, 2010. Vol. 1 (1), p. 2059-2068

Paper i proceeding

2008

Obsidian: An Embedded Language for Data-Parallel Programming

Joel Bo Svensson, Koen Lindström Claessen, Mary Sheeran

Int. Workshop on Designing Correct Circuits, DCC'08, associated with ETAPS

Övrigt konferensbidrag

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.

Det kan finnas fler projekt där Joel Svensson medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.