| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Antoine Miné, David Schmidt (eds.) |
Static Analysis - 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings  |
SAS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Giacobazzi, Isabella Mastroeni |
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani |
Modular Heap Analysis for Higher-Order Programs. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aditya V. Thakur, Thomas W. Reps |
A Generalization of Stålmarck's Method. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dino Distefano |
A Voyage to the Deep-Heap. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin |
Computer-Aided Cryptographic Proofs. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Esteban Alonso-Blas, Samir Genaim |
On the Limits of the Classical Approach to Cost Analysis. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat |
Liveness-Based Pointer Analysis. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Henry, David Monniaux, Matthieu Moy |
Succinct Representations for Abstract Interpretation - Combined Analysis Algorithms and Experimental Evaluation. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault, Sylvie Putot, Franck Védrine |
Modular Static Analysis with Zonotopes. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tie Cheng, Xavier Rival |
An Abstract Domain to Infer Types over Zones in Spreadsheets. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruslán Ledesma-Garza, Andrey Rybalchenko |
Binary Reachability Analysis of Higher Order Functional Programs. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay D'Silva, Leopold Haller, Daniel Kroening |
Satisfiability Solvers Are Static Analysers. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Biallas, Jörg Brauer, Andy King, Stefan Kowalewski |
Loop Leaping with Closures. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik |
Craig Interpretation. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Midtgaard, Michael D. Adams 0001, Matthew Might |
A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan K. Lee, Jens Palsberg, Rupak Majumdar, Hong Hong |
Efficient May Happen in Parallel Analysis for Async-Finish Parallelism. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Halbwachs, Julien Henry |
When the Decreasing Sequence Fails. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Cachera, Thomas P. Jensen, Arnaud Jobin, Florent Kirchner |
Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Sánchez, Sriram Sankaranarayanan, César Sánchez, Bor-Yuh Evan Chang |
Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version). |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitra Giannakopoulou, Zvonimir Rakamaric, Vishwanath Raman |
Symbolic Learning of Component Interfaces. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnault Ioualalen, Matthieu Martel |
A New Abstract Domain for the Representation of Mathematically Equivalent Expressions. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob M. Howe, Andy King |
Polyhedral Analysis Using Parametric Objectives. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Emmi, Akash Lal |
Finding Non-terminating Executions in Distributed Asynchronous Programs. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shriram Krishnamurthi |
Semantics and Analyses for JavaScript and the Web. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Calvert, Alan Mycroft |
Control Flow Analysis for the Join Calculus. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Yi Chen, Shaked Flur, Supratik Mukhopadhyay |
Termination Proofs for Linear Simple Loops. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aditya V. Thakur, Matt Elder, Thomas W. Reps |
Bilateral Algorithms for Symbolic Abstraction. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa |
Path-Sensitive Backward Slicing. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine |
Automatic Fence Insertion in Integer Programs via Predicate Abstraction. |
SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aditya V. Nori, Sriram K. Rajamani |
Program Analysis and Machine Learning: A Win-Win Deal. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Andreas Gaiser |
Probabilistic Abstractions with Arbitrary Domains. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth L. McMillan, Lenore D. Zuck |
Invisible Invariants and Abstract Interpretation. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux, Laure Gonnord |
Using Bounded Model Checking to Focus Fixpoint Iterations. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alastair F. Donaldson, Leopold Haller, Daniel Kroening, Philipp Rümmer |
Software Verification Using k-Induction. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Flexeder, Michael Petter, Helmut Seidl |
Side-Effect Analysis of Assembly Code. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Suter, Ali Sinan Köksal, Viktor Kuncak |
Satisfiability Modulo Recursive Programs. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan |
The Flow-Insensitive Precision of Andersen's Analysis in Practice. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schrammel, Bertrand Jeannet |
Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Feret |
Formal Model Reduction. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Might, David Van Horn |
A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John C. Mitchell |
Program Analysis for Web Security. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-González |
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith |
Bound Analysis of Imperative Programs with the Size-Change Abstraction. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eran Yahav (eds.) |
Static Analysis - 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | P. Madhusudan, Xiaokang Qiu |
Efficient Decision Procedures for Heaps Using STRAND. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravichandhran Madhavan, Ganesan Ramalingam, Kapil Vaswani |
Purity Analysis: An Abstract Interpretation Formulation. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Huang, Charles Zhang |
An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks |
Directed Symbolic Execution. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth L. McMillan |
Widening and Interpolation. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Verdoolaege, Albert Cohen, Anna Beletska |
Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikos Gorogiannis, Max I. Kanovich, Peter W. O'Hearn |
The Complexity of Abduction for Separated Heap Abstractions. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Vafeiadis, Francesco Zappa Nardelli |
Verifying Fence Elimination Optimisations. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Kästner |
Astrée: Design and Experience. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sasa Misailovic, Daniel M. Roy, Martin C. Rinard |
Probabilistically Accurate Program Transformations. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Michael Emmi, Gennaro Parlato |
On Sequentializing Concurrent Programs. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Avni, Orna Kupferman |
An Abstraction-Refinement Framework for Trigger Querying. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps |
Abstract Domains of Affine Relations. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | E. Allen Emerson |
Time of Time. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Amato, Maurizio Parton, Francesca Scozzari |
Deriving Numerical Abstract Domains via Principal Component Analysis. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Aleksandr Karbyshev, Helmut Seidl |
Verifying a Local Generic Solver in Coq. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani |
Alternation for Termination. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Renato Cherini, Lucas Rearte, Javier O. Blanco |
A Shape Analysis for Non-linear Data Structures. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arie Gurfinkel, Sagar Chaki |
Boxes: A Symbolic Abstract Domain of Boxes. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Azadeh Farzan, Zachary Kincaid |
Compositional Bitvector Analysis for Concurrent Programs with Nested Locks. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Martin Gawlitza, Helmut Seidl |
Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Radhia Cousot, Matthieu Martel (eds.) |
Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Fähndrich |
Static Verification for Code Contracts. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray, Kevin Coogan, Gregg M. Townsend |
Modelling Metamorphism by Abstract Interpretation. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Holm Jensen, Anders Møller, Peter Thiemann |
Interprocedural Analysis with Lazy Propagation. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Goldberg |
Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework - In Memory of Amir Pnueli. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian J. Bell, Andrew W. Appel, David Walker |
Concurrent Separation Logic for Pipelined Parallelization. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Malkis, Andreas Podelski, Andrey Rybalchenko |
Thread-Modular Counterexample-Guided Abstraction Refinement. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Might |
Abstract Interpreters for Free. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Alan Mycroft |
Strictness Meets Data Flow. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Lesens |
Using Static Analysis in Space: Why Doing so? |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupesh Nasre, Ramaswamy Govindarajan |
Points-to Analysis as a System of Linear Equations. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramírez-Deantes |
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Brauer, Andy King |
Automatic Abstraction for Intervals Using Boolean Formulae. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin T. Vechev, Eran Yahav, Raghavan Raman, Vivek Sarkar |
Automatic Verification of Determinism for Structured Parallel Programs. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bill McCloskey, Thomas W. Reps, Mooly Sagiv |
Statically Inferring Complex Heap, Array, and Numeric Invariants. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha |
Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Heizmann, Neil D. Jones, Andreas Podelski |
Size-Change Termination and Transition Invariants. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Chapoutot |
Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, Carroll C. Morgan |
Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord |
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Songtao Xia, Manuel Fähndrich, Francesco Logozzo |
Inferring Dataflow Properties of User Defined Table Processors. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies |
Abstraction Refinement for Quantified Array Assertions. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
Refinement of Trace Abstraction. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wehrle, Malte Helmert |
The Causal Graph Revisited for Directed Model Checking. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillem Godoy, Ashish Tiwari |
Invariant Checking for Programs with Procedure Calls. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyung-Goo Doh, Hyunha Kim, David A. Schmidt |
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot |
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Schmidt |
Abstract Interpretation from a Topological Perspective. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Voronkov, Iman Narasamdya |
Inter-program Properties. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
assertion function, invariant, translation validation |
| 1 | Silvian Calman, Jianwen Zhu |
Increasing the Scope and Resolution of Interprocedural Static Single Assignment. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
dataflow, constant propagation, SSA, interprocedural |
| 1 | Hirotoshi Yasuoka, Tachio Terauchi |
Polymorphic Fractional Capabilities. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Vesal Vojdani |
Region Analysis for Race Detection. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Zhendong Su (eds.) |
Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")