6. SAS 1999: Venice, Italy

@proceedings{DBLP:conf/sas/1999,
  editor    = {Agostino Cortesi and
               Gilberto Fil{\'e}},
  title     = {Static Analysis, 6th International Symposium, SAS '99, Venice,
               Italy, September 22-24, 1999, Proceedings},
  booktitle = {SAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1694},
  year      = {1999},
  isbn      = {3-540-66459-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Synchronization in JAVA Programs

• John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng:
  A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives. 1-18
  Electronic Edition (Springer LINK) BibTeX
• Jonathan Aldrich, Craig Chambers, Emin Gün Sirer, Susan J. Eggers:
  Static Analyses for Eliminating Unnecessary Synchronization from Java Programs. 19-38
  Electronic Edition (Springer LINK) BibTeX

Synchronous Languages

• Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond:
  Dynamic Partitioning in Analyses of Numerical Properties. 39-50
  Electronic Edition (Springer LINK) BibTeX
• Frédéric Besson, Thomas P. Jensen, Jean-Pierre Talpin:
  Polyhedral Analysis for Synchronous Languages. 51-68
  Electronic Edition (Springer LINK) BibTeX

Abstract Domains

• Enea Zaffanella, Patricia M. Hill, Roberto Bagnara:
  Decomposing Non-redundant Sharing by Complementation. 69-84
  Electronic Edition (Springer LINK) BibTeX
• Patricia M. Hill, Fausto Spoto:
  Freeness Analysis Through Linear Refinement. 85-100
  Electronic Edition (Springer LINK) BibTeX
• Laurent Mauborgne:
  Binary Decision Graphs. 101-116
  Electronic Edition (Springer LINK) BibTeX
• Kenichi Asai:
  Binding-Time Analysis for Both Static and Dynamic Expressions. 117-133
  Electronic Edition (Springer LINK) BibTeX

Concurrency

• René Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson:
  Abstract Interpretation of Mobile Ambients. 134-148
  Electronic Edition (Springer LINK) BibTeX
• David Monniaux:
  Abstracting Cryptographic Protocols with Tree Automata. 149-163
  Electronic Edition (Springer LINK) BibTeX
• Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu:
  State Space Reduction Based on Live Variables Analysis. 164-178
  Electronic Edition (Springer LINK) BibTeX

Static Single Assignment

• Munehiro Takimoto, Kenichi Harada:
  Partial Dead Code Elimination Using Extended Value Graph. 179-193
  Electronic Edition (Springer LINK) BibTeX
• Vugranam C. Sreedhar, Roy Dz-Ching Ju, David M. Gillies, Vatsa Santhanam:
  Translating Out of Static Single Assignment Form. 194-210
  Electronic Edition (Springer LINK) BibTeX

Optimizations

• Yanhong A. Liu, Scott D. Stoller:
  Eliminating Dead Code on Recursive Data. 211-231
  Electronic Edition (Springer LINK) BibTeX
• Oliver Rüthing, Jens Knoop, Bernhard Steffen:
  Detecting Equalities of Variables: Combining Efficiency with Precision. 232-247
  Electronic Edition (Springer LINK) BibTeX

Foundations

• Jörg Köller, Markus Mohnen:
  A New Class of Functions for Abstract Interpretation. 248-263
  Electronic Edition (Springer LINK) BibTeX
• Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel:
  Equational Semantics. 264-283
  Electronic Edition (Springer LINK) BibTeX
• Dominique Cansell, Dominique Méry:
  Abstract Animator for Temporal Specifications: Application to TLA. 284-299
  Electronic Edition (Springer LINK) BibTeX

Invited Talks and Tutorials

• Daniel Weise:
  Static Analysis of Mega-Programs. 300-302
  Electronic Edition (Springer LINK) BibTeX
• Dennis M. Volpano:
  Safety versus Secrecy. 303-311
  Electronic Edition (Springer LINK) BibTeX
• David A. McAllester:
  On the Complexity Analysis of Static Analyses. 312-329
  Electronic Edition (Springer LINK) BibTeX
• Markus Müller-Olm, David A. Schmidt, Bernhard Steffen:
  Model-Checking: A Tutorial Introduction. 330-354
  Electronic Edition (Springer LINK) BibTeX
• Mary Lou Soffa:
  Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis. 355-356
  Electronic Edition (Springer LINK) BibTeX