Search results for "abstract interpretation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Xavier Rival	Abstract Interpretation-Based Certification of Assembly Code.	VMCAI	2003	DBLP DOI BibTeX RDF	compilation, Abstract Interpretation, Static program analysis
3	Jan Midtgaard, Thomas P. Jensen	Control-flow analysis of function calls and returns by abstract interpretation.	ICFP	2009	DBLP DOI BibTeX RDF	direct style, tail-call optimization, abstract interpretation, control flow analysis, continuation-passing style, constraint-based analysis
3	Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi	A framework for abstract interpretation of timed concurrent constraint programs.	PPDP	2009	DBLP DOI BibTeX RDF	timed concurrent constraint programming, abstract interpretation, reactive systems, denotational semantics, process calculi
3	Johannes Kinder, Florian Zuleger, Helmut Veith	An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries.	VMCAI	2009	DBLP DOI BibTeX RDF
3	Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci	Decomposing bytecode verification by abstract interpretation.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Abstract interpretation, bytecode verification
3	Pietro Ferrara	Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model.	TAP	2008	DBLP DOI BibTeX RDF	Static Analysis, Abstract Interpretation, Memory Model, Multithreaded Programs
3	Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine	Abstract Interpretation of Cellular Signalling Networks.	VMCAI	2008	DBLP DOI BibTeX RDF
3	Zhang Hong, Liu Lei	An Abstract Interpretation Frame of the Calculus of Boxed Ambients Based on the Ambient Occurrence Counting.	ISECS	2008	DBLP DOI BibTeX RDF	Boxed Ambients, the ambient occurrence counting, abstract interpretation
3	Nicoletta De Francesco, Luca Martini	Instruction-level security typing by abstract interpretation.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Abstract interpretation, Information flow, Language based security
3	Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han	Goal-directed weakening of abstract interpretation results.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	static analysis, Abstract interpretation, program verification, Hoare logic, backward analysis
3	Francesco Logozzo	Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes.	VMCAI	2007	DBLP DOI BibTeX RDF
3	Matthew Might, Benjamin Chambers, Olin Shivers	Model Checking Via GammaCFA.	VMCAI	2007	DBLP DOI BibTeX RDF	abstract counting, abstract garbage collection, ?CFA, static analysis, Abstract interpretation, higher-order languages
3	Patricia M. Hill, Fausto Spoto	Deriving escape analysis by abstract interpretation.	Higher-Order and Symbolic Computation	2006	DBLP DOI BibTeX RDF	Garbage collection, Abstract interpretation, Denotational semantics
3	Francesco Ranzato, Francesco Tapparo	Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation.	VMCAI	2006	DBLP DOI BibTeX RDF
3	Pierre Ganty, Jean-François Raskin, Laurent Van Begin	A Complete Abstract Interpretation Framework for Coverability Properties of WSTS.	VMCAI	2006	DBLP DOI BibTeX RDF
3	Mila Dalla Preda, Roberto Giacobazzi	Control Code Obfuscation by Abstract Interpretation.	SEFM	2005	DBLP DOI BibTeX RDF	Semantics, Program Transformation, Program analysis, Abstract Interpretation, Code Obfuscation
3	Mila Dalla Preda, Roberto Giacobazzi	Semantic-Based Code Obfuscation by Abstract Interpretation.	ICALP	2005	DBLP DOI BibTeX RDF	Semantics, Program Transformation, Abstract Interpretation, Code Obfuscation
3	Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck	Abstract interpretation for constraint handling rules.	PPDP	2005	DBLP DOI BibTeX RDF	abstract interpretation, constraint handling rules
3	Julien Bertrane	Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs.	VMCAI	2005	DBLP DOI BibTeX RDF
3	Bor-Yuh Evan Chang, K. Rustan M. Leino	Abstract Interpretation with Alien Expressions and Heap Structures.	VMCAI	2005	DBLP DOI BibTeX RDF
3	Charles Hymans	Verification of an Error Correcting Code by Abstract Interpretation.	VMCAI	2005	DBLP DOI BibTeX RDF
3	Roberto Giacobazzi, Isabella Mastroeni	Adjoining Declassification and Attack Models by Abstract Interpretation.	ESOP	2005	DBLP DOI BibTeX RDF	abstract non-interference, Abstract interpretation, completeness, language-based security, declassification, adjunction, attack models
3	Jérôme Feret	The Arithmetic-Geometric Progression Abstract Domain.	VMCAI	2005	DBLP DOI BibTeX RDF	numerical domains, static analysis, Abstract Interpretation
3	Michael Leuschel	A framework for the integration of partial evaluation and abstract interpretation of logic programs.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	logic programming, program transformation, abstract interpretation, partial evaluation, flow analysis, Partial deduction
3	Roberto Giacobazzi, Isabella Mastroeni	Abstract non-interference: parameterizing non-interference by abstract interpretation.	POPL	2004	DBLP DOI BibTeX RDF	abstract interpretation, language-based security, non-interference, abstract domains
3	Patrick Cousot, Radhia Cousot	An abstract interpretation-based framework for software watermarking.	POPL	2004	DBLP DOI BibTeX RDF	software authorship, stegoanalyst, stegoattacks, stegokey, stegomark, stegosignature, validation watermarking, authentication, static analysis, abstract interpretation, steganography, fingerprinting, identification, copyrights protection, trustworthiness, obfuscation, intellectual property protection, software watermarking, tamper-proofing
3	Damien Massé	Property Checking Driven Abstract Interpretation-Based Static Analysis.	VMCAI	2003	DBLP DOI BibTeX RDF
3	Patrick Cousot	Automatic Verification by Abstract Interpretation.	VMCAI	2003	DBLP DOI BibTeX RDF
3	Roberto Giacobazzi, Isabella Mastroeni	Domain Compression for Complete Abstractions.	VMCAI	2003	DBLP DOI BibTeX RDF	domain refinement, abstract model-checking, program analysis, Abstract interpretation, completeness, predicate abstraction, abstract domains
3	Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco	Checking security of Java bytecode by abstract interpretation.	SAC	2002	DBLP DOI BibTeX RDF	security, Java, abstract interpretation, information flow, Java bytecode
3	Cinzia Bernardeschi, Nicoletta De Francesco	Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode.	VMCAI	2002	DBLP DOI BibTeX RDF
3	Roberta Gori, Giorgio Levi	An Experiment in Type Inference and Verification by Abstract Interpretation.	VMCAI	2002	DBLP DOI BibTeX RDF
3	Susana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo	Efficient Negation Using Abstract Interpretation.	LPAR	2001	DBLP DOI BibTeX RDF	Implementations of Logic Programming, Program Analysis, Abstract Interpretation, Constraint Logic Programming, Negation in Logic Programming
3	Thomas P. Jensen, Fausto Spoto	Class Analysis of Object-Oriented Programs through Abstract Interpretation.	FoSSaCS	2001	DBLP DOI BibTeX RDF	semantics, Abstract interpretation, object-oriented languages, domain theory, class analysis
3	Roberta Gori	An Abstract Interpretation Approach to Termination of Logic Programs.	LPAR	2000	DBLP DOI BibTeX RDF	Infinite derivations, Universal termination, Logic programming, Abstract interpretation
3	Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo	Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	parallelism, logic programming, abstract interpretation, data flow analysis, automatic parallelization
3	Frank Huch	Verification of Erlang Programs using Abstract Interpretation and Model Mhecking.	ICFP	1999	DBLP DOI BibTeX RDF	distributed system, model checking, verification, abstract interpretation, Erlang
3	Chiara Bodei, Pierpaolo Degano, Corrado Priami	Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation.	SAS	1998	DBLP DOI BibTeX RDF	SOS semantics, non-interleaving descriptions, Concurrency, abstract interpretation, causality
3	Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato	Complementation in Abstract Interpretation.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	functional and logic programming, program analysis, abstract interpretation, closure operator, complementation, abstract domain
3	Roberto Giacobazzi, Francesca Scozzari	Intuitionistic Implication in Abstract Interpretation.	PLILP	1997	DBLP DOI BibTeX RDF	directional types, logic programming, static analysis, Abstract interpretation, domains, intuitionistic logic
3	Lunjin Lu	A Mode Analysis of Logic Programs by Abstract Interpretation.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF	Abstract Unification, Abstract Interpretation, Sharing, Aliasing, Mode
3	Kim Marriott, Harald Søndergaard, Neil D. Jones	Denotational Abstract Interpretation of Logic Programs.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	Boolean functions, abstract interpretation, dataflow analysis, global analysis, groundness analysis
3	Baudouin Le Charlier, Pascal Van Hentenryck	Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	fixpoint algorithm, PROLOG, Prolog, abstract interpretation
3	Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi	A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	logic programming, program analysis, abstract interpretation
3	Renganathan Sundararajan, John S. Conery	An Abstract Interpretation Scheme for Groundedness, Freeness, and Sharing Analysis of Logic Programs.	FSTTCS	1992	DBLP DOI BibTeX RDF	logic programming, abstract interpretation, groundness analysis, sharing analysis
3	Prakash Panangaden	Abstract Interpretation and Indeterminacy.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF	indeterminate operators, hiatons, dataflow networks, fairness, abstract interpretation
2	Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta	Donut Domains: Efficient Non-convex Domains for Abstract Interpretation.	VMCAI	2012	DBLP DOI BibTeX RDF
2	Francesco Logozzo	Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation - (Invited Talk).	VMCAI	2011	DBLP DOI BibTeX RDF
2	Se-Won Kim, Kwang-Moo Choe	String Analysis as an Abstract Interpretation.	VMCAI	2011	DBLP DOI BibTeX RDF
2	Daniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini	Model Based Testing and Abstract Interpretation in the Railway Signaling Context.	ICST	2010	DBLP DOI BibTeX RDF	abstract interpretation, model based testing, safety critical, railway signaling
2	Jingyu Hua, Takashi Nishide, Kouichi Sakurai	Model-Based Intrusion Detection by Abstract Interpretation.	SAINT	2010	DBLP DOI BibTeX RDF	intrusion detection, static analysis, abstract interpretation
2	Roberto Giacobazzi	Abstract Interpretation-Based Protection.	VMCAI	2010	DBLP DOI BibTeX RDF
2	William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta	Program analysis via satisfiability modulo path programs.	POPL	2010	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, symbolic execution, path sensitivity, smt solvers, satisfiability solvers
2	Martin T. Vechev, Eran Yahav, Greta Yorsh	Abstraction-guided synthesis of synchronization.	POPL	2010	DBLP DOI BibTeX RDF	concurrency, synthesis, abstract interpretation
2	Paul Lokuciejewski, Daniel Cordes, Heiko Falk, Peter Marwedel	A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models.	CGO	2009	DBLP DOI BibTeX RDF	loop analysis, abstract interpretation, WCET analysis, static program analysis
2	Gianluca Amato, Francesca Scozzari	Observational Completeness on Abstract Interpretation.	WoLLIC	2009	DBLP DOI BibTeX RDF
2	Vincent Laviron, Francesco Logozzo	Refining Abstract Interpretation-Based Static Analyses with Hints.	APLAS	2009	DBLP DOI BibTeX RDF
2	David A. Schmidt	Abstract Interpretation from a Topological Perspective.	SAS	2009	DBLP DOI BibTeX RDF
2	Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu	Automatic Construction of Complete Abstraction by Abstract Interpretation.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
2	Hasan Amjad, Richard Bornat	Towards Automatic Stability Analysis for Rely-Guarantee Proofs.	VMCAI	2009	DBLP DOI BibTeX RDF
2	Matthew Might, Panagiotis Manolios	A PosterioriSoundness for Non-deterministic Abstract Interpretations.	VMCAI	2009	DBLP DOI BibTeX RDF
2	Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta	Refining the control structure of loops using static analysis.	EMSOFT	2009	DBLP DOI BibTeX RDF	loop refinement, synchronous sytems, model checking, static analysis, abstract interpretation, program verification, program understanding, path-sensitive analysis
2	Soonho Kong, Wontae Choi, Kwangkeun Yi	Abstract parsing for two-staged languages with concatenation.	GPCE	2009	DBLP DOI BibTeX RDF	multi-staged languages, program analysis, abstract interpretation, parsing
2	Matthieu Martel	Program transformation for numerical precision.	PEPM	2009	DBLP DOI BibTeX RDF	program transformation, abstract interpretation, compiler optimizations, floating-point numbers, numerical precision
2	Robert J. Simmons, Frank Pfenning	Linear logical approximations.	PEPM	2009	DBLP DOI BibTeX RDF	bottom-up linear logic programming, abstract interpretation, operational semantics
2	David Monniaux	Automatic modular abstractions for linear constraints.	POPL	2009	DBLP DOI BibTeX RDF	program transformation, abstract interpretation, quantifier elimination, linear inequalities
2	Rui Abreu, Wolfgang Mayer, Markus Stumptner, Arjan J. C. van Gemund	Refining spectrum-based fault localization rankings.	SAC	2009	DBLP DOI BibTeX RDF	abstract interpretation, fault localization, program spectra
2	Sukriti Bhattacharya, Agostino Cortesi	A Generic Distortion Free Watermarking Technique for Relational Databases.	ICISS	2009	DBLP DOI BibTeX RDF	Database Watermarking, Abstract Interpretation, Galois Connection, HMAC
2	Xavier Allamigeon, Charles Hymans	Static analysis by abstract interpretation: application to the detection of heap overflows.	Journal in Computer Virology	2008	DBLP DOI BibTeX RDF
2	Jan Peleska	A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules.	ICTAC	2008	DBLP DOI BibTeX RDF
2	Tobias Gedell, Daniel Hedin	Abstract Interpretation Plugins for Type Systems.	AMAST	2008	DBLP DOI BibTeX RDF
2	Richard Bubel, Reiner Hähnle, Benjamin Weiß	Abstract Interpretation of Symbolic Execution with Explicit State Updates.	FMCO	2008	DBLP DOI BibTeX RDF
2	Marianne De Michiel, Armelle Bonenfant, Hugues Cassé, Pascal Sainrat	Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation.	RTCSA	2008	DBLP DOI BibTeX RDF
2	Reinhard Wilhelm, Björn Wachter	Abstract Interpretation with Applications to Timing Validation.	CAV	2008	DBLP DOI BibTeX RDF
2	Roberto Giacobazzi, Isabella Mastroeni	Transforming Abstract Interpretations by Abstract Interpretation.	SAS	2008	DBLP DOI BibTeX RDF
2	Simon Perdrix	Quantum Entanglement Analysis Based on Abstract Interpretation.	SAS	2008	DBLP DOI BibTeX RDF
2	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
2	Jan Midtgaard, Thomas P. Jensen	A Calculational Approach to Control-Flow Analysis by Abstract Interpretation.	SAS	2008	DBLP DOI BibTeX RDF
2	Olivier Bouissou, Matthieu Martel	Abstract Interpretation of the Physical Inputs of Embedded Programs.	VMCAI	2008	DBLP DOI BibTeX RDF
2	Radhia Cousot	Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions.	VMCAI	2008	DBLP DOI BibTeX RDF
2	Gilles Barthe, César Kunz	Certificate Translation in Abstract Interpretation.	ESOP	2008	DBLP DOI BibTeX RDF
2	Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo	A Forward-Backward Abstraction Refinement Algorithm.	VMCAI	2008	DBLP DOI BibTeX RDF
2	Isabella Mastroeni	Deriving Bisimulations by Simplifying Partitions.	VMCAI	2008	DBLP DOI BibTeX RDF
2	Yannick Moy	Sufficient Preconditions for Modular Assertion Checking.	VMCAI	2008	DBLP DOI BibTeX RDF
2	Mario Méndez-Lojo, Manuel V. Hermenegildo	Precise Set Sharing Analysis for Java-Style Programs.	VMCAI	2008	DBLP DOI BibTeX RDF
2	David A. Schmidt	Internal and External Logics of Abstract Interpretations.	VMCAI	2008	DBLP DOI BibTeX RDF
2	Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda	Verifying dereference safety via expanding-scope analysis.	ISSTA	2008	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, specification inference
2	Yungbum Jung, Kwangkeun Yi	Practical memory leak detector based on parameterized procedural summaries.	ISMM	2008	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, memory management, error detection, shape analysis, memory leaks
2	Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich	Safer unsafe code for .NET.	OOPSLA	2008	DBLP DOI BibTeX RDF	bounds checking, pointer indexing, static analysis, abstract interpretation, design by contract, NET, abstract domains
2	Nicolas Halbwachs, Mathias Péron	Discovering properties about arrays in simple programs.	PLDI	2008	DBLP DOI BibTeX RDF	sentinel, invariant synthesis, abstract interpretation, program verification, arrays, sorting algorithms
2	Samir Genaim, Andy King	Inferring non-suspension conditions for logic programs with dynamic scheduling.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	concurrency, logic programming, debugging, Abstract interpretation
2	Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray	A semantics-based approach to malware detection.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	abstract interpretation, obfuscation, Malware detection, trace semantics
2	Elvira Albert, Germán Puebla, Manuel V. Hermenegildo	Abstraction-Carrying Code: a Model for Mobile Code Safety.	New Generation Comput.	2008	DBLP DOI BibTeX RDF	Mobile Code Safety, Logic Programming, Static Analysis, Abstract Interpretation, Program Verification
2	Miguel Valero Espada, Jaco van de Pol	An abstract interpretation toolkit for µCRL.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	muCRL, Model checking, Abstract interpretation, Process algebra
2	Patrick Cousot	The Rôle of Abstract Interpretation in Formal Methods.	SEFM	2007	DBLP DOI BibTeX RDF
2	Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin	Small Witnesses for Abstract Interpretation-Based Proofs.	ESOP	2007	DBLP DOI BibTeX RDF
2	Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé	An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming.	CP	2007	DBLP DOI BibTeX RDF
2	Daniel Kästner	Safe worst-case execution time analysis by abstract interpretation of executable code.	LCTES	2007	DBLP DOI BibTeX RDF
2	Peter Z. Revesz	The Constraint Database Approach to Software Verification.	VMCAI	2007	DBLP DOI BibTeX RDF
2	Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps	Constructing Specialized Shape Analyses for Uniform Change.	VMCAI	2007	DBLP DOI BibTeX RDF