Eliminating Array Bound Checking Through Dependent Types (1998)

Cached

Download Links

by Hongwei Xi , Frank Pfennig
Venue:In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation
Citations:162 - 24 self

Active Bibliography

22 Static Analysis and Computer Security: New techniques for software assurance – David A. Wagner - 2000
314 A First Step towards Automated Detection of Buffer Overrun Vulnerabilities – David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken - 2000
49 Safety checking of machine code – Zhichen Xu, Barton P. Miller, Thomas Reps - 2000
14 Dependently Typed Data Structures – Hongwei Xi - 1999
10 Elimination of Java Array Bounds Checks in the Presence of Indirection – Mikel Lujan, John R. Gurd, John R. Gurd, T. L. Freeman, T. L. Freeman, Jose Miguel, Jose Miguel - 2002
100 Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions – Radu Rugina, Martin Rinard - 2000
8 Deriving Pre-conditions for Array Bound Check Elimination – Wei-ngan Chin, Siau-cheng Khoo, Dana N. Xu - 2001
24 Dead Code Elimination through Dependent Types – Hongwei Xi - 1999
7 Eliminating Range Checks Using Static Single Assignment Form – John Gough, Herbert Klaeren - 1994
3 Using Static Analysis to Reduce Dynamic Analysis Overhead – Suan Hsi Yong, Susan Horwitz - 2003
Static Analysis of Memory Accesses in Multithreaded and Recursive Programs – Radu Rugina, Radu Rugina - 1990
62 Elimination of Redundant Array Subscript Range Checks – Priyadarshan Kolte, Michael Wolfe - 1995
58 A fresh look at optimizing array bound checking – Rajiv Gupta - 1990
70 Optimizing array bound checks using flow analysis – Rajiv Gupta - 1993
22 Shape Checking of Array Programs – C. Barry Jay, Milan Sekanina - 1997
1 Modular inference for array checks optimization – Dana N. Xu, Corneliu Popeea, Siau-cheng Khoo, Wei-ngan Chindepartment, Computer Science - 2003
113 ABCD: Eliminating Array Bounds Checks on Demand – Rastislav Bodik , Rajiv Gupta, Vivek Sarkar - 2000
7 ABCD: Eliminating Array-Bounds Checks on Demand – Rastislav Bodik, Rajiv Gupta, Vivek Sarkar - 2000
7 Facilitating Program Verification with Dependent Types – Hongwei Xi - 2003