SAS 2008

24 papers

1. A Calculational Approach to Control-Flow Analysis by Abstract Interpretation · Jan Midtgaard, Thomas P. Jensen
2. Analysing All Polynomial Equations in · Helmut Seidl, Andrea Flexeder, Michael Petter
3. Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis · Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
4. Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors · Peter Lammich, Markus Müller-Olm
5. Convex Hull of Arithmetic Automata · Jérôme Leroux
6. Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA · Prakash Prabhu, Priti Shankar
7. Flow Analysis, Linearity, and PTIME · David Van Horn, Harry G. Mairson
8. Heap Decomposition for Concurrent Shape Analysis · Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine
9. Hiding Software Watermarks in Loop Structures · Mila Dalla Preda, Roberto Giacobazzi, Enrico Visentini
10. Inferring Min and Max Invariants Using Max-Plus Polyhedra · Xavier Allamigeon, Stephane Gaubert, Eric Goubault
11. Language Strength Reduction · Nicholas Kidd, Akash Lal, Thomas W. Reps
12. Modal Abstractions of Concurrent Behaviour · Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson
13. On Polymorphic Recursion, Type Systems, and Abstract Interpretation · Marco Comini, Ferruccio Damiani, Samuel Vrech
14. Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors · Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark W. Barrett
15. Protocol Inference Using Static Path Profiles · Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan
16. Quantum Entanglement Analysis Based on Abstract Interpretation · Simon Perdrix
17. Reasoning about Control Flow in the Presence of Transient Faults · Frances Perry, David Walker
18. Reflections on the Role of Static Analysis in Cooperative Bug Isolation · Ben Liblit
19. Relational Analysis of Correlation · Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard
20. SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement · Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, Aarti Gupta
21. Solving Multiple Dataflow Queries Using WPDSs · Akash Lal, Thomas W. Reps
22. Splitting the Control Flow with Boolean Flags · Axel Simon
23. Transforming Abstract Interpretations by Abstract Interpretation · Roberto Giacobazzi, Isabella Mastroeni
24. Typing Linear Constraints for Moding CLP() Programs · Salvatore Ruggieri, Frédéric Mesnard