Active Bibliography

Formal Verification of Programs and . . . – Guodong Li - 2010
78 Formal verification of a realistic compiler – Xavier Leroy
590 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
855 Efficiently computing static single assignment form and the control dependence graph – Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck - 1991
1344 Xen and the art of virtualization – Paul Barham, Boris Dragovic, Keir Fraser, Steven H, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
478 Enforceable Security Policies – Fred B. Schneider
463 LLVM: A compilation framework for lifelong program analysis & transformation – Chris Lattner, Vikram Adve - 2004
A Certifying Code Generation Phase – Jan Olaf, Blech Arnd Poetzsch-heffter