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. Springer 2008 Lecture Notes in Computer Science ISBN 978-3-540-69163-1
Invited Papers
- Roberto Giacobazzi, Isabella Mastroeni: Transforming Abstract Interpretations by Abstract Interpretation. 1-17
- Ben Liblit: Reflections on the Role of Static Analysis in Cooperative Bug Isolation. 18-31
Contributed Papers
- Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard: Relational Analysis of Correlation. 32-46
- Jérôme Leroux: Convex Hull of Arithmetic Automata. 47-61
- Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark Barrett: Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. 62-77
- Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan: Protocol Inference Using Static Path Profiles. 78-92
- Prakash Prabhu, Priti Shankar: Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA. 110-127
- Marco Comini, Ferruccio Damiani, Samuel Vrech: On Polymorphic Recursion, Type Systems, and Abstract Interpretation. 144-158
- Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson: Modal Abstractions of Concurrent Behaviour. 159-173
- Mila Dalla Preda, Roberto Giacobazzi, Enrico Visentini: Hiding Software Watermarks in Loop Structures. 174-188
- Xavier Allamigeon, Stephane Gaubert, Eric Goubault: Inferring Min and Max Invariants Using Max-Plus Polyhedra. 189-204
- Peter Lammich, Markus Müller-Olm: Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors. 205-220
- Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla: Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. 221-237
- Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, Aarti Gupta: SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. 238-254
- Simon Perdrix: Quantum Entanglement Analysis Based on Abstract Interpretation. 270-282
- Axel Simon: Splitting the Control Flow with Boolean Flags. 315-331
- Frances Perry, David Walker: Reasoning about Control Flow in the Presence of Transient Faults. 332-346
- Jan Midtgaard, Thomas P. Jensen: A Calculational Approach to Control-Flow Analysis by Abstract Interpretation. 347-362
- Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine: Heap Decomposition for Concurrent Shape Analysis. 363-377
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team