SAS 1999

23 papers

1. A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives · John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng
2. A New Class of Functions for Abstract Interpretation · Jörg Köller, Markus Mohnen
3. Abstract Animator for Temporal Specifications: Application to TLA · Dominique Cansell, Dominique Méry
4. Abstract Interpretation of Mobile Ambients · René Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson
5. Abstracting Cryptographic Protocols with Tree Automata · David Monniaux
6. Binary Decision Graphs · Laurent Mauborgne
7. Binding-Time Analysis for Both Static and Dynamic Expressions · Kenichi Asai
8. Decomposing Non-redundant Sharing by Complementation · Enea Zaffanella, Patricia M. Hill, Roberto Bagnara
9. Detecting Equalities of Variables: Combining Efficiency with Precision · Oliver Rüthing, Jens Knoop, Bernhard Steffen
10. Dynamic Partitioning in Analyses of Numerical Properties · Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond
11. Eliminating Dead Code on Recursive Data · Yanhong A. Liu, Scott D. Stoller
12. Equational Semantics · Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel
13. Freeness Analysis Through Linear Refinement · Patricia M. Hill, Fausto Spoto
14. Model-Checking: A Tutorial Introduction · Markus Müller-Olm, David A. Schmidt, Bernhard Steffen
15. On the Complexity Analysis of Static Analyses · David A. McAllester
16. Partial Dead Code Elimination Using Extended Value Graph · Munehiro Takimoto, Kenichi Harada
17. Polyhedral Analysis for Synchronous Languages · Frédéric Besson, Thomas P. Jensen, Jean-Pierre Talpin
18. Safety versus Secrecy · Dennis M. Volpano
19. State Space Reduction Based on Live Variables Analysis · Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
20. Static Analyses for Eliminating Unnecessary Synchronization from Java Programs · Jonathan Aldrich, Craig Chambers, Emin Gün Sirer, Susan J. Eggers
21. Static Analysis of Mega-Programs · Daniel Weise
22. Translating Out of Static Single Assignment Form · Vugranam C. Sreedhar, Roy Dz-Ching Ju, David M. Gillies, Vatsa Santhanam
23. Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis · Mary Lou Soffa