9 citations · 19 across the 5 of their papers we have counts for
1 paper · 2 filters
Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller +1
Compiler correctness is an old problem, but with the emergence of smart contracts on blockchains that problem presents itself in a new light. Smart contracts are self-contained pie…