Axel Simon

34 papers A* 1B 9C 3Journal 7Unranked 12
YearRankTypeTitle / Venue / Authors
2019 J jnl
Incremental Closure for Systems of Two Variables Per Inequality.
Theor. Comput. Sci.
Jacob M. Howe, Andy King, Axel Simon
2018 B conf
Modular Analysis of Executables Using On-Demand Heyting Completion.
VMCAI
Julian Kranz, Axel Simon
2015 — conf
Shape Analysis with Connectors.
NFM
Holger Siegel, Axel Simon
2014 J jnl
Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241).
Dagstuhl Reports
Roberto Giacobazzi, Axel Simon, Sarah Zennou
2014 J jnl
Deriving a complete type inference for Hindley-Milner and vector sizes using expansion.
Sci. Comput. Program.
Axel Simon
2014 — ed.
Fifth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2014, Munich, Germany, September 10, 2014
NSAD@SAS
Axel Simon, Arnaud Venet
2014 A* conf
Optimal inference of fields in row-polymorphic records.
PLDI
Axel Simon
2014 — conf
Preface.
NSAD
Axel Simon, Arnaud Venet
2014 C conf
Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems.
PPDP
Julian Kranz, Axel Simon
2014 — conf
Synthesizing Predicates from Abstract Domain Losses.
NASA Formal Methods
Bogdan Mihaila, Axel Simon
2014 — conf
The GDSL toolkit: Generating Frontends for the Analysis of Machine Code.
PPREW@POPL
Axel Simon, Julian Kranz
2013 C conf
Deriving a complete type inference for hindley-milner and vector sizes using expansion.
PEPM
Axel Simon
2013 B conf
FESA: Fold- and Expand-Based Shape Analysis.
CC
Holger Siegel, Axel Simon
2013 B conf
GDSL: A Universal Toolkit for Giving Semantics to Machine Language.
APLAS
Julian Kranz, Alexander Sepp, Axel Simon
2013 B conf
The Undefined Domain: Precise Relational Information for Entities That Do Not Exist.
APLAS
Holger Siegel, Bogdan Mihaila, Axel Simon
2013 — conf
Widening as Abstract Domain.
NASA Formal Methods
Bogdan Mihaila, Alexander Sepp, Axel Simon
2012 J jnl
Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051).
Dagstuhl Reports
Andy King, Alan Mycroft, Thomas W. Reps, Axel Simon
2012 — conf
GDSL: A Generic Decoder Specification Language for Interpreting Machine Language.
TAPAS@SAS
Alexander Sepp, Julian Kranz, Axel Simon
2012 — conf
Inferring Definite Counterexamples through Under-Approximation.
NASA Formal Methods
Jörg Brauer, Axel Simon
2011 — conf
Precise Static Analysis of Binaries by Extracting Relational Information.
WCRE
Alexander Sepp, Bogdan Mihaila, Axel Simon
2011 — conf
Summarized Dimensions Revisited.
NSAD@SAS
Holger Siegel, Axel Simon
2010 — conf
A Note on the Inversion Join for Polyhedral Analysis.
NSAD@SAS
Axel Simon
2010 B conf
Simple and Precise Widenings for
APLAS
Axel Simon, Liqian Chen
2010 — conf
Speeding up Polyhedral Analysis by Identifying Common Constraints.
NSAD@SAS
Axel Simon
2010 J jnl
The two variable per inequality abstract domain.
High. Order Symb. Comput.
Axel Simon, Andy King
2008 B conf
Splitting the Control Flow with Boolean Flags.
SAS
Axel Simon
2008 — book
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities.
Axel Simon
2007 B conf
Taming the Wrapping of Integer Arithmetic.
SAS
Axel Simon, Andy King
2006 B conf
Widening Polyhedra with Landmarks.
APLAS
Axel Simon, Andy King
2005 B conf
Exploiting Sparsity in Polyhedral Analysis.
SAS
Axel Simon, Andy King
2004 J jnl
Convex Hull of Planar H-Polyhedra
CoRR
Axel Simon, Andy King
2004 J jnl
Convex hull of planar h-polyhedra.
Int. J. Comput. Math.
Axel Simon, Andy King
2002 — conf
Analyzing String Buffers in C.
AMAST
Axel Simon, Andy King
2002 C conf
Two Variables per Linear Inequality as an Abstract Domain.
LOPSTR
Axel Simon, Andy King, Jacob M. Howe