SAS 2008

List of Accepted Papers

Joerg Bauer, Flemming Nielson, Hanne Riis Nielson and Henrik Pilegaard. Relational Analysis of Correlation
Jerome Leroux. Convex Hull of Arithmetic Automata
Christopher Conway, Dennis Dams, Kedar Namjoshi and Clark Barrett. Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
Murali Krishna Ramanathan, Koushik Sen, Ananth Grama and Suresh Jagannathan. Protocol Inference Using Static Path Profiles
Akash Lal and Thomas Reps. Solving Multiple Dataflow Queries Using WPDSs
Prakash Prabhu and Priti Shankar. Field Flow Sensitive Pointer and Escape Analysis for Java using Heap Array SSA
Salvatore Ruggieri and Fred Mesnard. Typing linear constraints for moding CLP(R) programs
Marco Comini, Ferruccio Damiani and Samuel Vrech. On Polymorphic Recursion, Type Systems, and Abstract Interpretation
Sebastian Nanz, Flemming Nielson and Hanne Riis Nielson. Modal Abstractions of Concurrent Behaviour
Mila Dalla Preda, Roberto Giacobazzi and Enrico Visentini. Hiding Software Watermarks in Loop Structures
Xavier Allamigeon, Stephane Gaubert and Eric Goubault. Inferring Min and Max Invariants Using Max-plus Polyhedra
Peter Lammich and Markus M¨ller-Olm. Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors
Elvira Albert, Puri Arenas, Samir Genaim and German Puebla. Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis
Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei and Aarti Gupta. SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement
David Van Horn and Harry Mairson. Flow analysis, linearity, and PTIME
Simon Perdrix. Quantum Entanglement Analysis based on Abstract Interpretation
Nicholas Kidd, Akash Lal and Thomas Reps. Language Strength Reduction
Michael Petter, Helmut Seidl and Andrea Flexeder. Analysing All Polynomial Equations in Z modulo 2^w
Axel Simon. Splitting the Control Flow with Boolean Flags
Frances Perry and David Walker. Reasoning about Control Flow in the Presence of Transient Faults
Jan Midtgaard and Thomas Jensen. A Calculational Approach to Control-flow Analysis by Abstract Interpretation
Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam and Josh Berdine. Heap Decomposition for Concurrent Shape Analysis