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
|