- ORCID iD
-
0000-0003-4394-0011
Show
Sort by
-
- Journal Article
- A1
- open access
WARDuino : an embedded WebAssembly virtual machine
-
- Journal Article
- A1
- open access
Gaiwan : a size-polymorphic typesystem for GPU programs
-
Event-Based Out-of-Place Debugging
-
- PhD Thesis
- open access
Taming nondeterminism : programming language abstractions and tools for dealing with nondeterministic programs
(2022) -
GraphRedex : look at your research
-
WARDuino : a dynamic WebAssembly virtual machine for programming microcontrollers
-
- Conference Paper
- C1
- open access
Multiverse debugging : non-deterministic debugging for non-deterministic programs
-
- Journal Article
- A2
- open access
Multiverse debugging : non-deterministic debugging for non-deterministic programs
-
Unipept 4.0 : functional analysis of metaproteome data