14. SAS 2007:
Kongens Lyngby,
Denmark
Hanne Riis Nielson, Gilberto Filé (Eds.):
Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings.
Lecture Notes in Computer Science 4634 Springer 2007, ISBN 978-3-540-74060-5 BibTeX
Invited Papers
Contributed Papers
- Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen:
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages.
34-51
Electronic Edition (link) BibTeX
- Tristan Le Gall, Bertrand Jeannet:
Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification.
52-68
Electronic Edition (link) BibTeX
- Sharon Shoham, Orna Grumberg:
Compositional Verification and 3-Valued Abstractions Join Forces.
69-86
Electronic Edition (link) BibTeX
- James Brotherston:
Formalised Inductive Reasoning in the Logic of Bunched Implications.
87-103
Electronic Edition (link) BibTeX
- David Monniaux:
Optimal Abstraction on Real-Valued Programs.
104-120
Electronic Edition (link) BibTeX
- Axel Simon, Andy King:
Taming the Wrapping of Integer Arithmetic.
121-136
Electronic Edition (link) BibTeX
- Eric Goubault, Sylvie Putot:
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic.
137-152
Electronic Edition (link) BibTeX
- V. Krishna Nandivada, Fernando Magno Quintão Pereira, Jens Palsberg:
A Framework for End-to-End Verification and Evaluation of Register Allocators.
153-169
Electronic Edition (link) BibTeX
- Tao Wei, Jian Mao, Wei Zou, Yu Chen:
A New Algorithm for Identifying Loops in Decompilation.
170-183
Electronic Edition (link) BibTeX
- Jérôme Leroux, Grégoire Sutre:
Accelerated Data-Flow Analysis.
184-199
Electronic Edition (link) BibTeX
- Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili:
Abstract Error Projection.
200-217
Electronic Edition (link) BibTeX
- Alexander Malkis, Andreas Podelski, Andrey Rybalchenko:
Precise Thread-Modular Verification.
218-232
Electronic Edition (link) BibTeX
- Cristiano Calcagno, Matthew J. Parkinson, Viktor Vafeiadis:
Modular Safety Checking for Fine-Grained Concurrency.
233-248
Electronic Edition (link) BibTeX
- Jörg Bauer, Reinhard Wilhelm:
Static Analysis of Dynamic Communication Systems by Partner Abstraction.
249-264
Electronic Edition (link) BibTeX
- Ben Hardekopf, Calvin Lin:
Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis.
265-280
Electronic Edition (link) BibTeX
- Amir Kamil, Katherine A. Yelick:
Hierarchical Pointer Analysis for Distributed Programs.
281-297
Electronic Edition (link) BibTeX
- Matthieu Martel:
Semantics-Based Transformation of Arithmetic Expressions.
298-314
Electronic Edition (link) BibTeX
- Francesco Banterle, Roberto Giacobazzi:
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware.
315-332
Electronic Edition (link) BibTeX
- Patrick Cousot, Pierre Ganty, Jean-François Raskin:
Fixpoint-Guided Abstraction Refinements.
333-348
Electronic Edition (link) BibTeX
- Denis Gopan, Thomas W. Reps:
Guided Static Analysis.
349-365
Electronic Edition (link) BibTeX
- Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta:
Program Analysis Using Symbolic Ranges.
366-383
Electronic Edition (link) BibTeX
- Bor-Yuh Evan Chang, Xavier Rival, George C. Necula:
Shape Analysis with Structural Invariant Checkers.
384-401
Electronic Edition (link) BibTeX
- Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang:
Footprint Analysis: A Shape Analysis That Discovers Preconditions.
402-418
Electronic Edition (link) BibTeX
- Stephen Magill, Josh Berdine, Edmund M. Clarke, Byron Cook:
Arithmetic Strengthening for Shape Analysis.
419-436
Electronic Edition (link) BibTeX
- David Delmas, Jean Souyris:
Astrée: From Research to Industry.
437-451
Electronic Edition (link) BibTeX
- Étienne Payet, Fausto Spoto:
Magic-Sets Transformation for the Analysis of Java Bytecode.
452-467
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:36:43 2009
by Michael Ley (ley@uni-trier.de)
