Show
Sort by
-
GraphRedex : look at your research
-
- Journal Article
- A1
- open access
CScript : a distributed programming language for building mixed-consistency applications
-
WARDuino : a dynamic WebAssembly virtual machine for programming microcontrollers
-
- Journal Article
- A2
- open access
Multiverse debugging : non-deterministic debugging for non-deterministic programs
-
- Conference Paper
- C1
- open access
Multiverse debugging : non-deterministic debugging for non-deterministic programs
-
Putting order in strong eventual consistency
-
Computational contracts
-
Parallel actor monitors : disentangling task-level parallelism from data partitioning in the actor model
-
Programming mobile context-aware applications with TOTAM
-
Software engineering principles in the Midas gesture specification language