CIL: Intermediate language and tools for analysis and transformation of C programs (2002)

by George C. Necula , Scott Mcpeak , Shree P. Rahul , Westley Weimer
Venue:In International Conference on Compiler Construction
Citations:405 - 11 self

Active Bibliography

319 Cyclone: A safe dialect of C – Trevor Jim, Greg Morrisett , Dan Grossman , Michael Hicks , James Cheney, Yanling Wang
1 RUNTIME MONITORING OF C PROGRAMS FOR SECURITY AND CORRECTNESS – Suan Hsi Yong - 2004
SRI International – Robert K. Cunningham, Steven Cheung, Martin Fong, Ulf Lindqvist, David M. Nicol, Ronald Pawlowski, Eric Robinson, William H. S, Sankalp Singh, Alfonso Valdes, Bradley Woodworth, Michael Zhivich
360 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
4 Secure Execution Environment via Program Shepherding – Saman P. Amarasinghe, V L Kiriansky, Vladimir L. Kiriansky - 2003
2 A.: The Interface Definition Language for Fail-Safe C – Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa - 2004
4 Cuckoo: a Language for Implementing Memory- and Thread-safe System Services – Richard West, Gary T. Wong - 2005
1 Developments in Object-Oriented Type Systems – Michael I. Schwartzbach, C Fl Michael I. Schwartzbach - 1994
Towards a Semantic Web Modeling Language – Draft – – Christoph Wernhard - 2000
Job: An Object Oriented Extension of the Join Calculus – unknown authors
An Algorithmic Framework for Recursive Structural Types – David J. Pearce - 2011
11 Game Semantics and Subtyping – Juliusz Chroboczek - 1999
7 Union and intersection types for secure protocol implementations – Michael Backes, Catalin Hritcu, Matteo Maffei
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
131 Controlling Interference in Ambients – Francesca Levi, Davide Sangiorgi - 2000
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
10 Practical Soft Typing – Andrew K. Wright - 1994
245 Vigilante: End-to-End Containment of Internet Worm Epidemics – Manuel Costa, Jon Crowcroft, Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham - 2008
Recommended for Acceptance – Foundational Proof-carrying Code, Gang Tan