Search results for "SAS"

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

Publications at "SAS"( http://dblp.L3S.de/Venues/SAS )