12. SAS 2005:
London,
UK
Chris Hankin, Igor Siveroni (Eds.):
Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings.
Lecture Notes in Computer Science 3672 Springer 2005, ISBN 3-540-28584-9 BibTeX
Invited Talks
Contributed Papers
- Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella:
Widening Operators for Weakly-Relational Numeric Abstractions.
3-18
Electronic Edition (link) BibTeX
- Roberto Bagnara, Enric Rodríguez-Carbonell, Enea Zaffanella:
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra.
19-34
Electronic Edition (link) BibTeX
- Maurice Bruynooghe, John P. Gallagher, Wouter Van Humbeeck:
Inference of Well-Typings for Logic Programs with Application to Termination Analysis.
35-51
Electronic Edition (link) BibTeX
- Guilin Chen, Mahmut T. Kandemir, Mustafa Karaköy:
Memory Space Conscious Loop Iteration Duplication for Reliable Execution.
52-69
Electronic Edition (link) BibTeX
- Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard:
Memory Usage Verification for OO Programs.
70-86
Electronic Edition (link) BibTeX
- Byron Cook, Andreas Podelski, Andrey Rybalchenko:
Abstraction Refinement for Termination.
87-101
Electronic Edition (link) BibTeX
- Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic:
Data-Abstraction Refinement: A Game Semantic Approach.
102-117
Electronic Edition (link) BibTeX
- Javier Esparza, Pierre Ganty, Stefan Schwoon:
Locality-Based Abstractions.
118-134
Electronic Edition (link) BibTeX
- Neal Glew, Jens Palsberg, Christian Grothoff:
Type-Safe Optimisation of Plugin Architectures.
135-154
Electronic Edition (link) BibTeX
- Matthew Harren, George C. Necula:
Using Dependent Types to Certify the Safety of Assembly Code.
155-170
Electronic Edition (link) BibTeX
- Sebastian Hunt, Isabella Mastroeni:
The PER Model of Abstract Non-interference.
171-185
Electronic Edition (link) BibTeX
- Bertrand Jeannet, Denis Gopan, Thomas W. Reps:
A Relational Abstraction for Functions.
186-202
Electronic Edition (link) BibTeX
- Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun Yi:
Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis.
203-217
Electronic Edition (link) BibTeX
- John Kodumal, Alexander Aiken:
Banshee: A Scalable Constraint-Based Analysis Toolkit.
218-234
Electronic Edition (link) BibTeX
- Markus Müller-Olm, Helmut Seidl:
A Generic Framework for Interprocedural Analysis of Numerical Properties.
235-250
Electronic Edition (link) BibTeX
- Iman Narasamdya, Andrei Voronkov:
Finding Basic Block and Variable Correspondence.
251-267
Electronic Edition (link) BibTeX
- Andreas Podelski, Thomas Wies:
Boolean Heaps.
268-283
Electronic Edition (link) BibTeX
- Noam Rinetzky, Mooly Sagiv, Eran Yahav:
Interprocedural Shape Analysis for Cutpoint-Free Programs.
284-302
Electronic Edition (link) BibTeX
- Xavier Rival:
Understanding the Origin of Alarms in Astrée.
303-319
Electronic Edition (link) BibTeX
- Stefano Secci, Fausto Spoto:
Pair-Sharing Analysis of Object-Oriented Programs.
320-335
Electronic Edition (link) BibTeX
- Axel Simon, Andy King:
Exploiting Sparsity in Polyhedral Analysis.
336-351
Electronic Edition (link) BibTeX
- Tachio Terauchi, Alexander Aiken:
Secure Information Flow as a Safety Problem.
352-367
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:36:43 2009
by Michael Ley (ley@uni-trier.de)
