12 citations · 15 across the 3 of their papers we have counts for
3 papers
Holistic Specifications for Robust Programs
Sophia Drossopoulou, James Noble, Julian Mackay +1
Functional specifications describe what program components do: the sufficient conditions to invoke a component's operations. They allow us to reason about the use of components in…
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…
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…