Abstract is missing.
- Unleashing the Power of Static AnalysisManuvir Das. 1-2 [doi]
- Static Analysis in Disjunctive Numerical DomainsSriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta. 3-17 [doi]
- Static Analysis of Numerical AlgorithmsEric Goubault, Sylvie Putot. 18-34 [doi]
- Static Analysis of String Manipulations in Critical Embedded C ProgramsXavier Allamigeon, Wenceslas Godard, Charles Hymans. 35-51 [doi]
- Abstract Regular Tree Model Checking of Complex Dynamic Data StructuresAhmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar. 52-70 [doi]
- Structural InvariantsRanjit Jhala, Rupak Majumdar, Ru-Gang Xu. 71-87 [doi]
- Existential Label Flow Inference Via CFL ReachabilityPolyvios Pratikakis, Jeffrey S. Foster, Michael Hicks. 88-106 [doi]
- Abstract Interpretation with Specialized DefinitionsGermán Puebla, Elvira Albert, Manuel V. Hermenegildo. 107-126 [doi]
- Underapproximating Predicate TransformersDavid A. Schmidt. 127-143 [doi]
- Combining Widening and Acceleration in Linear Relation AnalysisLaure Gonnord, Nicolas Halbwachs. 144-160 [doi]
- Beyond Iteration Vectors: Instancewise Relational Abstract DomainsPierre Amiranoff, Albert Cohen, Paul Feautrier. 161-180 [doi]
- Separation Logic and Program AnalysisPeter W. O Hearn. 181 [doi]
- Beyond Reachability: Shape Abstraction in the Presence of Pointer ArithmeticCristiano Calcagno, Dino Distefano, Peter W. O Hearn, Hongseok Yang. 182-203 [doi]
- Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose EmbeddingGilad Arnold. 204-220 [doi]
- Recency-Abstraction for Heap-Allocated StorageGogul Balakrishnan, Thomas W. Reps. 221-239 [doi]
- Interprocedural Shape Analysis with Separated Heap AbstractionsAlexey Gotsman, Josh Berdine, Byron Cook. 240-260 [doi]
- Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal AlgorithmAlexey Loginov, Thomas W. Reps, Mooly Sagiv. 261-279 [doi]
- Shape Analysis for Low-Level CodeHongseok Yang. 280 [doi]
- Catching and Identifying Bugs in Register AllocationYuqiang Huang, Bruce R. Childers, Mary Lou Soffa. 281-300 [doi]
- Certificate Translation for Optimizing CompilersGilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk. 301-317 [doi]
- Analysis of Low-Level Code Using Cooperating DecompilersBor-Yuh Evan Chang, Matthew Harren, George C. Necula. 318-335 [doi]
- Static Analysis for Java Servlets and JSPChristian Kirkegaard, Anders Møller. 336-352 [doi]
- Cryptographically-Masked FlowsAslan Askarov, Daniel Hedin, Andrei Sabelfeld. 353-369 [doi]
- Proving the Properties of Communicating Imperfectly-Clocked Synchronous SystemsJulien Bertrane. 370-386 [doi]
- Parametric and Termination-Sensitive Control DependenceFeng Chen, Grigore Rosu. 387-404 [doi]
- Memory Leak Analysis by ContradictionMaksim Orlovich, Radu Rugina. 405-424 [doi]
- Path-Sensitive Dataflow Analysis with Iterative RefinementDinakar Dhurjati, Manuvir Das, Yue Yang. 425-442 [doi]