1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…