2 papers
cs.PL2024
Unboxing Virgil ADTs for Fun and Profit
Bradley Wei Jie Teo, Ben L. Titzer
Algebraic Data Types (ADTs) are an increasingly common feature in modern programming languages. In many implementations, values of non-nullary, multi-case ADTs are allocated on the…
cs.PL2024
Flexible Non-intrusive Dynamic Instrumentation for WebAssembly
Ben L. Titzer, Elizabeth Gilbert, Bradley Wei Jie Teo +3
A key strength of managed runtimes over hardware is the ability to gain detailed insight into the dynamic execution of programs with instrumentation. Analyses such as code coverage…