10. SAS 2003: San Diego, California, USA

@proceedings{DBLP:conf/sas/2003,
  editor    = {Radhia Cousot},
  title     = {Static Analysis, 10th International Symposium, SAS 2003, San
               Diego, CA, USA, June 11-13, 2003, Proceedings},
  booktitle = {SAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2694},
  year      = {2003},
  isbn      = {3-540-40325-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Static Analysis of Object-Oriented Languages

• Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach:
  Precise Analysis of String Expressions. 1-18
  Electronic Edition (Springer LINK) BibTeX
• Frédéric Besson, Thomas P. Jensen:
  Modular Class Analysis with DATALOG. 19-36
  Electronic Edition (Springer LINK) BibTeX
• Francesco Logozzo:
  Class-Level Modular Analysis for Object Oriented Languages. 37-54
  Electronic Edition (Springer LINK) BibTeX

Static Analysis of Concurrent Languages

• John Boyland:
  Checking Interference with Fractional Permissions. 55-72
  Electronic Edition (Springer LINK) BibTeX
• Richard Carlsson, Konstantinos F. Sagonas, Jesper Wilhelmsson:
  Message Analysis for Concurrent Languages. 73-90
  Electronic Edition (Springer LINK) BibTeX
• Olivier Tardieu, Robert de Simone:
  Instantaneous Termination in Pure Esterel. 91-108
  Electronic Edition (Springer LINK) BibTeX
• Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg:
  Stack Size Analysis for Interrupt-Driven Programs. 109-126
  Electronic Edition (Springer LINK) BibTeX

Invited Paper

• Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García:
  Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). 127-152
  Electronic Edition (Springer LINK) BibTeX

Static Analysis of Functional Languages

• Yasuhiko Minamide:
  Selective Tail Call Elimination. 153-170
  Electronic Edition (Springer LINK) BibTeX
• Oukseh Lee, Hongseok Yang, Kwangkeun Yi:
  Inserting Safe Memory Reuse Commands into ML-Like Programs. 171-188
  Electronic Edition (Springer LINK) BibTeX

Static Analysis of Procedural Languages

• Thomas W. Reps, Stefan Schwoon, Somesh Jha:
  Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis. 189-213
  Electronic Edition (Springer LINK) BibTeX
• Samuel Z. Guyer, Calvin Lin:
  Client-Driven Pointer Analysis. 214-236
  Electronic Edition (Springer LINK) BibTeX
• David Monniaux:
  Abstract Interpretation of Programs as Markov Decision Processes. 237-254
  Electronic Edition (Springer LINK) BibTeX

Static Data Analysis

• Paolo Baldan, Barbara König, Bernhard König:
  A Logic for Analyzing Abstractions of Graph Transformation Systems. 255-272
  Electronic Edition (Springer LINK) BibTeX
• Ben Liblit, Alexander Aiken, Katherine A. Yelick:
  Type Systems for Distributed Data Sharing. 273-294
  Electronic Edition (Springer LINK) BibTeX
• Ted Kremenek, Dawson R. Engler:
  Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations. 295-315
  Electronic Edition (Springer LINK) BibTeX
• Martín Abadi, Bruno Blanchet:
  Computer-Assisted Verification of a Protocol for Certified Email. 316-335
  Electronic Edition (Springer LINK) BibTeX

Invited Talk

• Kenneth L. McMillan:
  Craig Interpolation and Reachability Analysis. 336
  Electronic Edition (Springer LINK) BibTeX

Static Linear Relation Analysis

• Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella:
  Precise Widening Operators for Convex Polyhedra. 337-354
  Electronic Edition (Springer LINK) BibTeX
• Nicolas Halbwachs, David Merchat, Catherine Parent-Vigouroux:
  Cartesian Factoring of Polyhedra in Linear Relation Analysis. 355-365
  Electronic Edition (Springer LINK) BibTeX

Static Analysis Based Program Transformation

• Peter Thiemann:
  Continuation-Based Partial Evaluation without Continuations. 366-382
  Electronic Edition (Springer LINK) BibTeX
• Priya Unnikrishnan, Guangyu Chen, Mahmut T. Kandemir, Mustafa Karaköy, Ibrahim Kolcu:
  Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications. 383-400
  Electronic Edition (Springer LINK) BibTeX
• Wen-Ke Chen, Bengu Li, Rajiv Gupta:
  Code Compaction of Matching Single-Entry Multiple-Exit Regions. 401-417
  Electronic Edition (Springer LINK) BibTeX

Static Heap Analysis

• Viktor Kuncak, Martin C. Rinard:
  Existential Heap Abstraction Entailment Is Undecidable. 418-438
  Electronic Edition (Springer LINK) BibTeX
• John Field, Deepak Goyal, G. Ramalingam, Eran Yahav:
  Typestate Verification: Abstraction Techniques and Complexity Results. 439-462
  Electronic Edition (Springer LINK) BibTeX
• Stephen Chong, Radu Rugina:
  Static Analysis of Accessed Regions in Recursive Data Structures. 463-482
  Electronic Edition (Springer LINK) BibTeX
• Ran Shaham, Eran Yahav, Elliot K. Kolodner, Shmuel Sagiv:
  Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. 483-503
  Electronic Edition (Springer LINK) BibTeX