7. SAS 2000: Santa Barbara, CA, USA

Jens Palsberg (Ed.): Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings. Lecture Notes in Computer Science 1824 Springer 2000, ISBN 3-540-67668-6 BibTeX

@proceedings{DBLP:conf/sas/2000,
  editor    = {Jens Palsberg},
  title     = {Static Analysis, 7th International Symposium, SAS 2000, Santa
               Barbara, CA, USA, June 29 - July 1, 2000, Proceedings},
  booktitle = {SAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1824},
  year      = {2000},
  isbn      = {3-540-67668-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Daniel Jackson: Enforcing Design Constraints with Object Logic. 1-21 BibTeX
Andreas Podelski: Model Checking as Constraint Solving. 22-37 BibTeX

Contributed Papers

Gianluca Amato, Giorgio Levi: Abstract Interpretation Based Semantics of Sequent Calculi. 38-57 BibTeX
Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech: A Transformational Approach for Generating Non-linear Invariants. 58-74 BibTeX
Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi: Deriving Parallel Codes via Invariants. 75-94 BibTeX
David Clark, Chris Hankin, Sebastian Hunt: Safety of Strictness Analysis via Term Graph Rewriting. 95-114 BibTeX
Nurit Dor, Michael Rodeh, Shmuel Sagiv: Checking Cleanness in Linked Lists. 115-134 BibTeX
Jérôme Feret: Confidentiality Analysis of Mobile Systems. 135-154 BibTeX
Stephen J. Fink, Kathleen Knobe, Vivek Sarkar: Unified Analysis of Array and Object References in Strongly Typed Languages. 155-174 BibTeX
Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken: Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. 175-198 BibTeX
Etienne Gagnon, Laurie J. Hendren, Guillaume Marceau: Efficient Inference of Static Types for Java Bytecode. 199-219 BibTeX
Thomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-François Raskin: Abstract Interpretation of Game Properties. 220-239 BibTeX
Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa: FULLDOC: A Full Reporting Debugger for Optimized Code. 240-259 BibTeX
Jens Knoop, Jean-Francois Collard, Roy Dz-Ching Ju: Partial Redundancy Elimination on Predicated Code. 260-279 BibTeX
Tal Lev-Ami, Shmuel Sagiv: TVLA: A System for Implementing Static Analyses. 280-301 BibTeX
Laurent Mauborgne: Tree Schemata and Fair Termination. 302-321 BibTeX
David Monniaux: Abstract Interpretation of Probabilistic Semantics. 322-339 BibTeX
Robert Muth, Scott A. Watterson, Saumya K. Debray: Code Specialization Based on Value Profiles. 340-359 BibTeX
James Riely, Jan Prins: Flattening Is an Improvement. 360-376 BibTeX
Hassen Saïdi: Model Checking Guided Abstraction and Analysis. 377-396 BibTeX
Francesca Scozzari: Abstract Domains for Sharing Analysis by Optimal Semantics. 397-412 BibTeX
Cristian Ungureanu, Suresh Jagannathan: Concurrency Analysis for Java. 413-432 BibTeX