Axel Simon

Publication Activity (10 Years)

Years Active: 2002-2019
Publications (10 Years): 2

Top Topics

Specification Language

Scalability Issues

Top Venues

Electron. Notes Theor. Comput. Sci.

NASA Formal Methods

Dagstuhl Reports

Publications

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