deterministic stress scheduling · 46-iteration correctness log
Source · deterministic stress scheduling · 46-iteration correctness logCASE STUDY / WORKING PAPER
Language Runtime
researchA statically typed language on verified bytecode with a precise moving, two-generation GC.
Hard part · Objects move mid-execution and every reference survives; nothing runs unproven.
Stack · C++ · bytecode VM · precise moving GC
Problem
A statically typed language on verified bytecode with a precise moving, two-generation GC.
Ownership
to be written
Architecture
to be written
Tradeoffs
to be written
Implementation
to be written
Verification
to be written
Demo
to be written
Outcomes
to be written
Limitations
to be written