Ensuring code safety without runtime checks for real-time control systems
暂无分享,去创建一个
[1] David A. Wagner,et al. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities , 2000, NDSS.
[2] Todd M. Austin,et al. Efficient detection of all pointer and array access errors , 1994, PLDI '94.
[3] William Pugh,et al. The Omega Library interface guide , 1995 .
[4] James Gosling,et al. The Real-Time Specification for Java , 2000, Computer.
[5] James Cheney,et al. Region-based memory management in cyclone , 2002, PLDI '02.
[6] William Pugh,et al. A practical algorithm for exact array dependence analysis , 1992, CACM.
[7] Vikram S. Adve,et al. Automatic pool allocation for disjoint data structures , 2003, MSP '02.
[8] Robert DeLine,et al. Enforcing high-level protocols in low-level software , 2001, PLDI '01.
[9] George C. Necula,et al. The design and implementation of a certifying compiler , 1998, PLDI.
[10] Mads Tofte,et al. Region-based Memory Management , 1997, Inf. Comput..
[11] Guy L. Steele,et al. The Java Language Specification , 1996 .
[12] David Gay,et al. Memory management with explicit regions , 1998, PLDI.
[13] Vikram S. Adve,et al. Automatic pool allocation for disjoint data structures , 2002, MSP/ISMM.
[14] Mark N. Wegman,et al. Efficiently computing static single assignment form and the control dependence graph , 1991, TOPL.
[15] Guy L. Steele,et al. Java Language Specification, Second Edition: The Java Series , 2000 .
[16] James Cheney,et al. Cyclone: A Safe Dialect of C , 2002, USENIX Annual Technical Conference, General Track.
[17] Lui Sha,et al. Ensuring Integrity and Service Availability in a Web-Based Control Laboratory , 2001, Scalable Comput. Pract. Exp..
[18] Lui Sha. Dependable system upgrade , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).
[19] Vikram S. Adve,et al. The LLVM Instruction Set and Compilation Strategy , 2002 .
[20] George C. Necula,et al. CCured: type-safe retrofitting of legacy code , 2002, POPL '02.
[21] Vivek Sarkar,et al. ABCD: eliminating array bounds checks on demand , 2000, PLDI '00.
[22] Lui Sha,et al. Using Simplicity to Control Complexity , 2001, IEEE Softw..