Proof carrying code

By Manish Mahajan. 2015

351 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/863f590a6513884baa354beea8cf37aabad2583b

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Andreas Haas
2. Andreas Rossberg
3. Derek L. Schuff
4. Ben L. Titzer
5. Michael Holman
6. Dan Gohman
7. L. Wagner
8. JF Bastien

Citations in the corpus

• Bringing the web up to speed with WebAssembly (2017, background): “Compilers that target typed assembly languages must produce well-typed (or proof-carrying [32]) code by preserving types throughout compilation.”