12 citations · 16 across the 5 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019★ 12 cited
Flint for Safer Smart Contracts
Franklin Schrans, Daniel Hails, Alexander Harkness +2
The Ethereum blockchain platform supports the execution of decentralised applications or smart contracts. These typically hold and transfer digital currency to other parties on the…
cs.PL2019★ 3 cited
Safely Abstracting Memory Layouts
Juliana Franco, Alexandros Tasos, Sophia Drossopoulou +2
Modern architectures require applications to make effective use of caches to achieve high performance and hide memory latency. This in turn requires careful consideration of placem…