15. SAS 2008: Valencia, Spain

María Alpuente, Germán Vidal (Eds.): Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings. Lecture Notes in Computer Science 5079 Springer 2008, ISBN 978-3-540-69163-1 BibTeX

Invited Papers

Roberto Giacobazzi, Isabella Mastroeni:
Transforming Abstract Interpretations by Abstract Interpretation. 1-17
Electronic Edition (link) BibTeX
Ben Liblit:
Reflections on the Role of Static Analysis in Cooperative Bug Isolation. 18-31
Electronic Edition (link) BibTeX

Contributed Papers

Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard:
Relational Analysis of Correlation. 32-46
Electronic Edition (link) BibTeX
Jérôme Leroux:
Convex Hull of Arithmetic Automata. 47-61
Electronic Edition (link) BibTeX
Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark Barrett:
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. 62-77
Electronic Edition (link) BibTeX
Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan:
Protocol Inference Using Static Path Profiles. 78-92
Electronic Edition (link) BibTeX
Akash Lal, Thomas W. Reps:
Solving Multiple Dataflow Queries Using WPDSs. 93-109
Electronic Edition (link) BibTeX
Prakash Prabhu, Priti Shankar:
Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA. 110-127
Electronic Edition (link) BibTeX
Salvatore Ruggieri, Frédéric Mesnard:
Typing Linear Constraints for Moding CLP() Programs. 128-143
Electronic Edition (link) BibTeX
Marco Comini, Ferruccio Damiani, Samuel Vrech:
On Polymorphic Recursion, Type Systems, and Abstract Interpretation. 144-158
Electronic Edition (link) BibTeX
Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson:
Modal Abstractions of Concurrent Behaviour. 159-173
Electronic Edition (link) BibTeX
Mila Dalla Preda, Roberto Giacobazzi, Enrico Visentini:
Hiding Software Watermarks in Loop Structures. 174-188
Electronic Edition (link) BibTeX
Xavier Allamigeon, Stephane Gaubert, Eric Goubault:
Inferring Min and Max Invariants Using Max-Plus Polyhedra. 189-204
Electronic Edition (link) BibTeX
Peter Lammich, Markus Müller-Olm:
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors. 205-220
Electronic Edition (link) BibTeX
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla:
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. 221-237
Electronic Edition (link) BibTeX
Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, Aarti Gupta:
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. 238-254
Electronic Edition (link) BibTeX
David Van Horn, Harry G. Mairson:
Flow Analysis, Linearity, and PTIME. 255-269
Electronic Edition (link) BibTeX
Simon Perdrix:
Quantum Entanglement Analysis Based on Abstract Interpretation. 270-282
Electronic Edition (link) BibTeX
Nicholas Kidd, Akash Lal, Thomas W. Reps:
Language Strength Reduction. 283-298
Electronic Edition (link) BibTeX
Helmut Seidl, Andrea Flexeder, Michael Petter:
Analysing All Polynomial Equations in . 299-314
Electronic Edition (link) BibTeX
Axel Simon:
Splitting the Control Flow with Boolean Flags. 315-331
Electronic Edition (link) BibTeX
Frances Perry, David Walker:
Reasoning about Control Flow in the Presence of Transient Faults. 332-346
Electronic Edition (link) BibTeX
Jan Midtgaard, Thomas P. Jensen:
A Calculational Approach to Control-Flow Analysis by Abstract Interpretation. 347-362
Electronic Edition (link) BibTeX
Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine:
Heap Decomposition for Concurrent Shape Analysis. 363-377
Electronic Edition (link) BibTeX