Axel Simon

According to our database, Axel Simon authored at least 31 papers between 2002 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Incremental Closure for Systems of Two Variables Per Inequality.

Jacob M. Howe, Andy King, Axel Simon

Theor. Comput. Sci., 2019

2018

Modular Analysis of Executables Using On-Demand Heyting Completion.

Julian Kranz, Axel Simon

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

2015

Shape Analysis with Connectors.

Holger Siegel, Axel Simon

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

Deriving a complete type inference for Hindley-Milner and vector sizes using expansion.

Axel Simon

Sci. Comput. Program., 2014

Preface.

Axel Simon, Arnaud Venet

Proceedings of the Fifth International Workshop on Numerical and Symbolic Abstract Domains, 2014

Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241).

Roberto Giacobazzi, Axel Simon, Sarah Zennou

Dagstuhl Reports, 2014

Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems.

Julian Kranz, Axel Simon

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

The GDSL toolkit: Generating Frontends for the Analysis of Machine Code.

Axel Simon, Julian Kranz

Proceedings of the 3rd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2014, 2014

Optimal inference of fields in row-polymorphic records.

Axel Simon

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Synthesizing Predicates from Abstract Domain Losses.

Bogdan Mihaila, Axel Simon

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

2013

Widening as Abstract Domain.

Bogdan Mihaila, Alexander Sepp, Axel Simon

Proceedings of the NASA Formal Methods, 2013

FESA: Fold- and Expand-Based Shape Analysis.

Holger Siegel, Axel Simon

Proceedings of the Compiler Construction - 22nd International Conference, 2013

The Undefined Domain: Precise Relational Information for Entities That Do Not Exist.

Holger Siegel, Bogdan Mihaila, Axel Simon

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

GDSL: A Universal Toolkit for Giving Semantics to Machine Language.

Julian Kranz, Alexander Sepp, Axel Simon

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

GDSL: A Generic Decoder Specification Language for Interpreting Machine Language.

Alexander Sepp, Julian Kranz, Axel Simon

Proceedings of the Third Workshop on Tools for Automatic Program Analysis, 2012

Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051).

Andy King, Alan Mycroft, Thomas W. Reps, Axel Simon

Dagstuhl Reports, 2012

Inferring Definite Counterexamples through Under-Approximation.

Jörg Brauer, Axel Simon

Proceedings of the NASA Formal Methods, 2012

2011

Summarized Dimensions Revisited.

Holger Siegel, Axel Simon

Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, 2011

Precise Static Analysis of Binaries by Extracting Relational Information.

Alexander Sepp, Bogdan Mihaila, Axel Simon

Proceedings of the 18th Working Conference on Reverse Engineering, 2011

2010

The two variable per inequality abstract domain.

Axel Simon, Andy King

High. Order Symb. Comput., 2010

Speeding up Polyhedral Analysis by Identifying Common Constraints.

Axel Simon

Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010

A Note on the Inversion Join for Polyhedral Analysis.

Axel Simon

Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010

Simple and Precise Widenings for <i>H</i>-Polyhedra.

Axel Simon, Liqian Chen

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2008

Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities.

Axel Simon

Springer, ISBN: 978-1-84800-016-2, 2008

Splitting the Control Flow with Boolean Flags.

Axel Simon

Proceedings of the Static Analysis, 15th International Symposium, 2008

2007

Taming the Wrapping of Integer Arithmetic.

Axel Simon, Andy King

Proceedings of the Static Analysis, 14th International Symposium, 2007

2006

Widening Polyhedra with Landmarks.

Axel Simon, Andy King

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

Exploiting Sparsity in Polyhedral Analysis.

Axel Simon, Andy King

Proceedings of the Static Analysis, 12th International Symposium, 2005

2004

Convex hull of planar h-polyhedra.

Axel Simon, Andy King

Int. J. Comput. Math., 2004

2002

Two Variables per Linear Inequality as an Abstract Domain.

Axel Simon, Andy King, Jacob M. Howe

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

Analyzing String Buffers in C.

Axel Simon, Andy King

Proceedings of the Algebraic Methodology and Software Technology, 2002