18. SAS 2011: Venice, Italy
Eran Yahav (Ed.): Static Analysis - 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science ISBN 978-3-642-23701-0- Kenneth L. McMillan: Widening and Interpolation. 1
- John C. Mitchell: Program Analysis for Web Security. 4
- Daniel Kästner: Astrée: Design and Experience. 5
- Jérôme Feret: Formal Model Reduction. 6
- Ravichandhran Madhavan, Ganesan Ramalingam, Kapil Vaswani: Purity Analysis: An Abstract Interpretation Formulation. 7-24
- Nikos Gorogiannis, Max I. Kanovich, Peter W. O'Hearn: The Complexity of Abduction for Separated Heap Abstractions. 25-42
- Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan: The Flow-Insensitive Precision of Andersen's Analysis in Practice. 60-76
- Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-González: Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation. 112-128
- Jeff Huang, Charles Zhang: An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs. 163-179
- Matthew Might, David Van Horn: A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs. 180-197
- Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps: Abstract Domains of Affine Relations. 198-215
- Sven Verdoolaege, Albert Cohen, Anna Beletska: Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations. 216-232
- Peter Schrammel, Bertrand Jeannet: Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs. 233-248
- Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith: Bound Analysis of Imperative Programs with the Size-Change Abstraction. 280-297
- Sasa Misailovic, Daniel M. Roy, Martin C. Rinard: Probabilistically Accurate Program Transformations. 316-333
- Alastair F. Donaldson, Leopold Haller, Daniel Kroening, Philipp Rümmer: Software Verification Using k-Induction. 351-368
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team