Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Daniel Kästner |
Astrée: Design and Experience. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Andreas Gaiser |
Probabilistic Abstractions with Arbitrary Domains. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan 0001, Manu Sridharan |
The Flow-Insensitive Precision of Andersen's Analysis in Practice. |
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 | Peter Schrammel, Bertrand Jeannet |
Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs. |
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 | 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 | John C. Mitchell |
Program Analysis for Web Security. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sasa Misailovic, Daniel M. Roy 0001, Martin C. Rinard |
Probabilistically Accurate Program Transformations. |
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 | Jeff Huang 0001, Charles Zhang 0001 |
An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs. |
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 | Aditya V. Nori, Sriram K. Rajamani |
Program Analysis and Machine Learning: A Win-Win Deal. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Feret |
Formal Model Reduction. |
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 | Viktor Vafeiadis, Francesco Zappa Nardelli |
Verifying Fence Elimination Optimisations. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sven Verdoolaege, Albert Cohen 0001, Anna Beletska |
Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks 0001 |
Directed Symbolic Execution. |
SAS |
2011 |
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 | David Lesens |
Using Static Analysis in Space: Why Doing so? |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | E. Allen Emerson |
Time of Time. |
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 | Gianluca Amato, Maurizio Parton, Francesca Scozzari |
Deriving Numerical Abstract Domains via Principal Component Analysis. |
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 | Alexander Malkis, Andreas Podelski, Andrey Rybalchenko |
Thread-Modular Counterexample-Guided Abstraction Refinement. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christian J. Bell, Andrew W. Appel, David Walker 0001 |
Concurrent Separation Logic for Pipelined Parallelization. |
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 | Thomas Martin Gawlitza, Helmut Seidl |
Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely. |
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 | Martin T. Vechev, Eran Yahav, Raghavan Raman, Vivek Sarkar |
Automatic Verification of Determinism for Structured Parallel Programs. |
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 | 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 | Simon Holm Jensen, Anders Møller, Peter Thiemann 0001 |
Interprocedural Analysis with Lazy Propagation. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Fähndrich |
Static Verification for Code Contracts. |
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 | Martin Hofmann 0001, Aleksandr Karbyshev, Helmut Seidl |
Verifying a Local Generic Solver in Coq. |
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 | 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 | Tom Schrijvers, Alan Mycroft |
Strictness Meets Data Flow. |
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 | Arie Gurfinkel, Sagar Chaki |
Boxes: A Symbolic Abstract Domain of Boxes. |
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 | William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani |
Alternation for Termination. |
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 | Matthew Might |
Abstract Interpreters for Free. |
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 | 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 | Olivier Bouissou |
Proving the Correctness of the Implementation of a Control-Command Algorithm. |
SAS |
2009 |
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 | Liqian Chen, Antoine Miné, Ji Wang 0001, Patrick Cousot |
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Luke Simon |
Optimizing Pointer Analysis Using Bisimilarity. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | David A. Schmidt |
Abstract Interpretation from a Topological Perspective. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Clément Hurlin |
Automatic Parallelization and Optimization of Programs by Proof Rewriting. |
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 | 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 | Martin Wehrle, Malte Helmert |
The Causal Graph Revisited for Directed Model Checking. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Shaz Qadeer |
Algorithmic Verification of Systems Software Using SMT Solvers. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jens Palsberg, Zhendong Su 0001 (eds.) |
Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Drape, Irina Voiculescu |
Creating Transformations for Matrix Obfuscation. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
Program Transformations, Information Hiding, Obfuscation, Matrix Operations |
1 | Manu Sridharan, Stephen J. Fink |
The Complexity of Andersen's Analysis in Practice. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
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 | Daniel Grund, Jan Reineke 0001 |
Abstract Interpretation of FIFO Replacement. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
FIFO Replacement, Domain Cooperation, May/Must Reasoning, Cache Analysis |
1 | Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori |
Bottom-Up Shape Analysis. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rastislav Bodík |
Algorithmic Program Synthesis with Partial Programs and Decision Procedures. |
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 | Hirotoshi Yasuoka, Tachio Terauchi |
Polymorphic Fractional Capabilities. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | David Niedzielski, Jeffery von Ronne, Andreas Gampe, Kleanthis Psarris |
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
Refinement of Trace Abstraction. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Seidl, Vesal Vojdani |
Region Analysis for Race Detection. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Simon Holm Jensen, Anders Møller, Peter Thiemann 0001 |
Type Analysis for JavaScript. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Guillem Godoy, Ashish Tiwari 0001 |
Invariant Checking for Programs with Procedure Calls. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Seidl, Andrea Flexeder, Michael Petter |
Analysing All Polynomial Equations in . |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gogul Balakrishnan, Sriram Sankaranarayanan 0001, Franjo Ivancic, Ou Wei, Aarti Gupta |
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Allamigeon, Stephane Gaubert, Eric Goubault |
Inferring Min and Max Invariants Using Max-Plus Polyhedra. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Simon Perdrix |
Quantum Entanglement Analysis Based on Abstract Interpretation. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Akash Lal, Thomas W. Reps |
Solving Multiple Dataflow Queries Using WPDSs. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Salvatore Ruggieri, Frédéric Mesnard |
Typing Linear Constraints for Moding CLP() Programs. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
well-moding, constraint logic programming, definiteness, polyhedra, linear constraints |
1 | Peter Lammich, Markus Müller-Olm |
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Frances Perry, David Walker |
Reasoning about Control Flow in the Presence of Transient Faults. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson |
Modal Abstractions of Concurrent Behaviour. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla |
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jan Midtgaard, Thomas P. Jensen |
A Calculational Approach to Control-Flow Analysis by Abstract Interpretation. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Germán Vidal (eds.) |
Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Prakash Prabhu, Priti Shankar |
Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Axel Simon |
Splitting the Control Flow with Boolean Flags. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | David Van Horn, Harry G. Mairson |
Flow Analysis, Linearity, and PTIME. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Bauer 0001, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard |
Relational Analysis of Correlation. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mila Dalla Preda, Roberto Giacobazzi, Enrico Visentini |
Hiding Software Watermarks in Loop Structures. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark W. Barrett |
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan |
Protocol Inference Using Static Path Profiles. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ben Liblit |
Reflections on the Role of Static Analysis in Cooperative Bug Isolation. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Leroux |
Convex Hull of Arithmetic Automata. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marco Comini, Ferruccio Damiani, Samuel Vrech |
On Polymorphic Recursion, Type Systems, and Abstract Interpretation. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
Type Inference Algorithm, Principal Typing |
1 | Roberto Giacobazzi, Isabella Mastroeni |
Transforming Abstract Interpretations by Abstract Interpretation. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine |
Heap Decomposition for Concurrent Shape Analysis. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Kidd, Akash Lal, Thomas W. Reps |
Language Strength Reduction. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Cristiano Calcagno, Matthew J. Parkinson, Viktor Vafeiadis |
Modular Safety Checking for Fine-Grained Concurrency. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen |
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Frank Tip |
Refactoring Using Type Constraints. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bor-Yuh Evan Chang, Xavier Rival, George C. Necula |
Shape Analysis with Structural Invariant Checkers. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|