SAS 2001

28 papers

1. A Behavioral Module System for the Pi-Calculus · Sriram K. Rajamani, Jakob Rehof
2. A Type and Effect Analysis of Security Protocols · Andrew D. Gordon, Alan Jeffrey
3. Abstract Interpretation-Based Static Analysis of Mobile Ambients · Jérôme Feret
4. Abstracting Cryptographic Protocols by Prolog Rules · Bruno Blanchet
5. An Abstract Analysis of the Probabilistic Termination of Programs · David Monniaux
6. An Abstract Interpretation Framework for Analysing Mobile Ambients · Francesca Levi, Sergio Maffeis
7. Analysis of Multithreaded Programs · Martin C. Rinard
8. Analyzing Fair Parametric Extended Automata · Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu
9. Applications of Extended Static Checking · K. Rustan M. Leino
10. Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs · Frédéric Mesnard, Ulrich Neumerkel
11. Cleanness Checking of String Manipulations in C Programs via Integer Analysis · Nurit Dor, Michael Rodeh, Shmuel Sagiv
12. Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs · Miquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau
13. Effective Strictness Analysis with HORN Constraints · Kevin Glynn, Peter J. Stuckey, Martin Sulzmann
14. Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses · Donglin Liang, Mary Jean Harrold
15. Embedding Chaos · Natalia Sidorova, Martin Steffen
16. Estimating the Impact of Scalable Pointer Analysis on Optimization · Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof
17. Finite-Tree Analysis for Constraint Logic-Based Languages · Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella
18. Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking · Roberto Giacobazzi, Elisa Quintarelli
19. Language-Based Security: What's Needed and Why · Fred B. Schneider
20. Parameterizing a Groundness Analysis of Logic Programs · Lunjin Lu
21. Parametric Optimization of Open Real-Time Systems · Farn Wang, Hsu-Chun Yen
22. Security-Typed Languages and Distributed Computation · Andrew C. Myers
23. Soft Scheduling for Hardware · Richard Sharp, Alan Mycroft
24. Solving Regular Tree Grammar Based Constraints · Yanhong A. Liu, Ning Li, Scott D. Stoller
25. Static Analyses of the Precision of Floating-Point Operations · Eric Goubault
26. Static Analysis and Software Assurance · David A. Wagner
27. Using Slicing to Identify Duplication in Source Code · Raghavan Komondoor, Susan Horwitz
28. Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses · Fausto Spoto