12. SAS 2005: London, UK
Chris Hankin, Igor Siveroni (Eds.): Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science ISBN 3-540-28584-9
Invited Talks
- Samson Abramsky: Algorithmic Game Semantics and Static Analysis. 1
- Andrew D. Gordon: From Typed Process Calculi to Source-Based Security. 2
Contributed Papers
- Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella: Widening Operators for Weakly-Relational Numeric Abstractions. 3-18
- Roberto Bagnara, Enric Rodríguez-Carbonell, Enea Zaffanella: Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. 19-34
- Maurice Bruynooghe, John P. Gallagher, Wouter Van Humbeeck: Inference of Well-Typings for Logic Programs with Application to Termination Analysis. 35-51
- Guilin Chen, Mahmut T. Kandemir, Mustafa Karaköy: Memory Space Conscious Loop Iteration Duplication for Reliable Execution. 52-69
- Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard: Memory Usage Verification for OO Programs. 70-86
- Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic: Data-Abstraction Refinement: A Game Semantic Approach. 102-117
- Neal Glew, Jens Palsberg, Christian Grothoff: Type-Safe Optimisation of Plugin Architectures. 135-154
- Matthew Harren, George C. Necula: Using Dependent Types to Certify the Safety of Assembly Code. 155-170
- 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
- Markus Müller-Olm, Helmut Seidl: A Generic Framework for Interprocedural Analysis of Numerical Properties. 235-250
- Noam Rinetzky, Mooly Sagiv, Eran Yahav: Interprocedural Shape Analysis for Cutpoint-Free Programs. 284-302
- Xavier Rival: Understanding the Origin of Alarms in Astrée. 303-319
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team