E-LIB Suche - Ergebnisse für: Svensson, Bo Joel

1

QuickerCheck: Implementing and Evaluating a Parallel Run-Ti..:

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

Krook, Robert ; Smallbone, Nicholas ; Svensson, Bo Joel. - p. 1-12 , 2023

Link: https://dl.acm.org/doi/1..

2

Creating a Language for Writing Real-Time Applications for ..:

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

Krook, Robert ; Hui, John ; Svensson, Bo Joel.. - p. 1-20 , 2022

Link: https://doi.org/10.1109/..

3

Higher-order concurrency for microcontrollers:

, In: Proceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes,

Sarkar, Abhiroop ; Krook, Robert ; Svensson, Bo Joel. - p. 26-35 , 2021

Link: https://dl.acm.org/doi/1..

4

Precise Positioning of Autonomous Vehicles Combining UWB Ra..:

San Martín, Javier ; Cortés, Ainhoa ; Zamora-Cadenas, Leticia.
Electronics. 9 (2020) 8 - p. 1238 , 2020

Link: https://doi.org/10.3390/..

5

Automated Testing of Ultrawideband Positioning for Autonomo..:

Vedder, Benjamin ; Svensson, Bo Joel ; Vinter, Jonny.
Journal of Robotics. 2020 (2020) - p. 1-15 , 2020

Link: https://doi.org/10.1155/..

6

Instruction punning: lightweight instrumentation for x86-64:

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

Chamith, Buddhika ; Svensson, Bo Joel ; Dalessandro, Luke. - p. 320-332 , 2017

Link: https://dl.acm.org/doi/1..

7

Instruction punning: lightweight instrumentation for x86-64:

Chamith, Buddhika ; Svensson, Bo Joel ; Dalessandro, Luke.
ACM SIGPLAN Notices. 52 (2017) 6 - p. 320-332 , 2017

Link: https://doi.org/10.1145/..

8

Low-level functional GPU programming for parallel algorithm:

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

Dybdal, Martin ; Elsman, Martin ; Svensson, Bo Joel. - p. 31-37 , 2016

Link: https://dl.acm.org/doi/1..

9

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

Chamith, Buddhika ; Svensson, Bo Joel ; Dalessandro, Luke.
ACM SIGPLAN Notices. 51 (2016) 6 - p. 16-26 , 2016

Link: https://doi.org/10.1145/..

10

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

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

Chamith, Buddhika ; Svensson, Bo Joel ; Dalessandro, Luke. - p. 16-26 , 2016

Link: https://dl.acm.org/doi/1..

11

A language for hierarchical data parallel design-space expl..:

SVENSSON, BO JOEL ; NEWTON, RYAN R. ; SHEERAN, MARY
Journal of Functional Programming. 26 (2016) - p. , 2016

Link: https://doi.org/10.1017/..

12

Converting data-parallelism to task-parallelism by rewrites..:

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

Svensson, Bo Joel ; Vollmer, Michael ; Holk, Eric.. - p. 12-22 , 2015

Link: https://dl.acm.org/doi/1..

13

Meta-programming and auto-tuning in the search for high per..:

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

Vollmer, Michael ; Svensson, Bo Joel ; Holk, Eric. - p. 1-11 , 2015

Link: https://dl.acm.org/doi/1..

14

Design exploration through code-generating DSLs:

Svensson, Bo Joel ; Sheeran, Mary ; Newton, Ryan R.
Communications of the ACM. 57 (2014) 6 - p. 56-63 , 2014

Link: https://doi.org/10.1145/..

15

Design Exploration through Code-generating DSLs : High-l..:

Svensson, Bo Joel ; Sheeran, Mary ; Newton, Ryan
Queue. 12 (2014) 4 - p. 40-52 , 2014

Link: https://dl.acm.org/doi/1..