2 papers
cs.CR2021
A DLT-based Smart Contract Architecture for Atomic and Scalable Trading
J. Kalbantner, K. Markantonakis, D. Hurley-Smith +2
Distributed Ledger Technology (DLT) has an enormous potential but also downsides. One downside of many DLT systems, such as blockchain, is their limited transaction throughput that…
cs.PL2013
QEMU/CPC: Static Analysis and CPS Conversion for Safe, Portable, and Efficient Coroutines
Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi
Coroutines and events are two common abstractions for writing concurrent programs. Because coroutines are often more convenient, but events more portable and efficient, it is natur…