Limit search to available items
Book Cover
E-book
Author International Static Analysis Symposium (19th : 2012 : Deauville, France)

Title Static analysis : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings / Antoine Miné, David Schmidt (eds.)
Published Berlin ; New York : Springer, ©2012

Copies

Description 1 online resource
Series Lecture notes in computer science, 0302-9743 ; 7460
Advanced research in computing and software science
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 7460.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 2, Programming and software engineering.
Contents Computer-Aided Cryptographic Proofs / Gilles Barthe, Benjamin Grégoire and Santiago Zanella Béguelin -- A Voyage to the Deep-Heap / Dino Distefano -- Semantics and Analyses for JavaScript and the Web / Shriram Krishnamurthi -- Efficient May Happen in Parallel Analysis for Async-Finish Parallelism / Jonathan K. Lee, Jens Palsberg, Rupak Majumdar and Hong Hong -- Modular Static Analysis with Zonotopes / Eric Goubault, Sylvie Putot and Franck Védrine -- Polyhedral Analysis Using Parametric Objectives / Jacob M. Howe and Andy King -- Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases / David Cachera, Thomas Jensen, Arnaud Jobin and Florent Kirchner -- A New Abstract Domain for the Representation of Mathematically Equivalent Expressions / Arnault Ioualalen and Matthieu Martel -- An Abstract Domain to Infer Types over Zones in Spreadsheets / Tie Cheng and Xavier Rival -- Bilateral Algorithms for Symbolic Abstraction / Aditya Thakur, Matt Elder and Thomas Reps
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation / Roberto Giacobazzi and Isabella Mastroeni -- Invariant Generation for Parametrized Systems Using Self-reflection (Extended Version) / Alejandro Sanchez, Sriram Sankaranarayanan, César Sánchez and Bor-Yuh Evan Chang -- Automatic Fence Insertion in Integer Programs via Predicate Abstraction / Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson and Ahmed Rezine -- Control Flow Analysis for the Join Calculus / Peter Calvert and Alan Mycroft -- When the Decreasing Sequence Fails / Nicolas Halbwachs and Julien Henry -- Loop Leaping with Closures / Sebastian Biallas, Jörg Brauer, Andy King and Stefan Kowalewski -- Path-Sensitive Backward Slicing / Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas and Andrew E. Santosa -- Symbolic Learning of Component Interfaces / Dimitra Giannakopoulou, Zvonimir Rakamarić and Vishwanath Raman -- Liveness-Based Pointer Analysis / Uday P. Khedker, Alan Mycroft and Prashant Singh Rawat
Succinct Representations for Abstract Interpretation: Combined Analysis Algorithms and Experimental Evaluation / Julien Henry, David Monniaux and Matthieu Moy -- Craig Interpretation / Aws Albarghouthi, Arie Gurfinkel and Marsha Chechik -- Satisfiability Solvers Are Static Analysers / Vijay D'Silva, Leopold Haller and Daniel Kroening -- A Generalization of Stålmarck's Method / Aditya Thakur and Thomas Reps -- A Structural Soundness Proof for Shivers's Escape Technique: A Case for Galois Connections / Jan Midtgaard, Michael D. Adams and Matthew Might -- Modular Heap Analysis for Higher-Order Programs / Ravichandhran Madhavan, G. Ramalingam and Kapil Vaswani -- Binary Reachability Analysis of Higher Order Functional Programs / Ruslán Ledesma-Garza and Andrey Rybalchenko -- On the Limits of the Classical Approach to Cost Analysis / Diego Esteban Alonso-Blas and Samir Genaim -- Termination Proofs for Linear Simple Loops / Hong Yi Chen, Shaked Flur and Supratik Mukhopadhyay -- Finding Non-terminating Executions in Distributed Asynchronous Programs / Michael Emmi and Akash Lal
Summary This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking
Analysis Computer science
Software engineering
Logic design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Bibliography Includes bibliographical references and author index
Notes English
Subject Computer programming -- Congresses
Programming languages (Electronic computers) -- Congresses
Informatique.
Computer programming
Programming languages (Electronic computers)
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Miné, Antoine
Schmidt, David A., 1953 May 10-
ISBN 9783642331251
3642331254
3642331246
9783642331244
Other Titles SAS 2012