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. Springer 2007 Lecture Notes in Computer Science ISBN 978-3-540-74060-5
Invited Papers
- Frank Tip: Refactoring Using Type Constraints. 1-17
- Alan Mycroft: Programming Language Design and Analysis Motivated by Hardware Evolution. 18-33
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
- Tristan Le Gall, Bertrand Jeannet: Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification. 52-68
- Sharon Shoham, Orna Grumberg: Compositional Verification and 3-Valued Abstractions Join Forces. 69-86
- James Brotherston: Formalised Inductive Reasoning in the Logic of Bunched Implications. 87-103
- David Monniaux: Optimal Abstraction on Real-Valued Programs. 104-120
- Eric Goubault, Sylvie Putot: Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic. 137-152
- V. Krishna Nandivada, Fernando Magno Quintão Pereira, Jens Palsberg: A Framework for End-to-End Verification and Evaluation of Register Allocators. 153-169
- Alexander Malkis, Andreas Podelski, Andrey Rybalchenko: Precise Thread-Modular Verification. 218-232
- Cristiano Calcagno, Matthew J. Parkinson, Viktor Vafeiadis: Modular Safety Checking for Fine-Grained Concurrency. 233-248
- Jörg Bauer, Reinhard Wilhelm: Static Analysis of Dynamic Communication Systems by Partner Abstraction. 249-264
- Ben Hardekopf, Calvin Lin: Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis. 265-280
- Matthieu Martel: Semantics-Based Transformation of Arithmetic Expressions. 298-314
- Francesco Banterle, Roberto Giacobazzi: A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware. 315-332
- Patrick Cousot, Pierre Ganty, Jean-François Raskin: Fixpoint-Guided Abstraction Refinements. 333-348
- Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Program Analysis Using Symbolic Ranges. 366-383
- Bor-Yuh Evan Chang, Xavier Rival, George C. Necula: Shape Analysis with Structural Invariant Checkers. 384-401
- Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang: Footprint Analysis: A Shape Analysis That Discovers Preconditions. 402-418
- Stephen Magill, Josh Berdine, Edmund M. Clarke, Byron Cook: Arithmetic Strengthening for Shape Analysis. 419-436
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team