default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8. SAS 2001: Paris, France
- Patrick Cousot:
Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings. Lecture Notes in Computer Science 2126, Springer 2001, ISBN 3-540-42314-1
Invited Paper
- Martin C. Rinard:
Analysis of Multithreaded Programs. 1-19
Program Transformation
- Miquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau:
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs. 20-39 - Raghavan Komondoor, Susan Horwitz:
Using Slicing to Identify Duplication in Source Code. 40-56 - Richard Sharp, Alan Mycroft:
Soft Scheduling for Hardware. 57-72
Strictness and Termination
- Kevin Glynn, Peter J. Stuckey, Martin Sulzmann:
Effective Strictness Analysis with HORN Constraints. 73-92 - Frédéric Mesnard, Ulrich Neumerkel:
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs. 93-110 - David Monniaux:
An Abstract Analysis of the Probabilistic Termination of Programs. 111-126
Sematics Abstraction
- Fausto Spoto
:
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses. 127-145
Logic and Constraint Programming
- Lunjin Lu:
Parameterizing a Groundness Analysis of Logic Programs. 146-164 - Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella:
Finite-Tree Analysis for Constraint Logic-Based Languages. 165-184
Invited Paper
- K. Rustan M. Leino:
Applications of Extended Static Checking. 185-193
Data Structures
- Nurit Dor, Michael Rodeh, Shmuel Sagiv:
Cleanness Checking of String Manipulations in C Programs via Integer Analysis. 194-212 - Yanhong A. Liu, Ning Li, Scott D. Stoller:
Solving Regular Tree Grammar Based Constraints. 213-233 - Eric Goubault:
Static Analyses of the Precision of Floating-Point Operations. 234-259
Pointer Analysis
- Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof:
Estimating the Impact of Scalable Pointer Analysis on Optimization. 260-278 - Donglin Liang, Mary Jean Harrold:
Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses. 279-298
Model Checking
- Farn Wang, Hsu-Chun Yen:
Parametric Optimization of Open Real-Time Systems. 299-318 - Natalia Sidorova, Martin Steffen:
Embedding Chaos. 319-334
Abstract Model Checking
- Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu:
Analyzing Fair Parametric Extended Automata. 335-355 - Roberto Giacobazzi, Elisa Quintarelli:
Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking. 356-373
Invited Talk
- Fred B. Schneider:
Language-Based Security: What's Needed and Why. 374
Mobility
- Sriram K. Rajamani, Jakob Rehof:
A Behavioral Module System for the Pi-Calculus. 375-394 - Francesca Levi, Sergio Maffeis:
An Abstract Interpretation Framework for Analysing Mobile Ambients. 395-411 - Jérôme Feret:
Abstract Interpretation-Based Static Analysis of Mobile Ambients. 412-430
Invited Session on Security
- David A. Wagner:
Static Analysis and Software Assurance. 431 - Andrew D. Gordon, Alan Jeffrey:
A Type and Effect Analysis of Security Protocols. 432-432 - Bruno Blanchet:
Abstracting Cryptographic Protocols by Prolog Rules. 433-436 - Andrew C. Myers:
Security-Typed Languages and Distributed Computation. 437-438
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-31 21:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
