Skip to content
cs-conference-ranking.org

Axel Simon

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

14

Venues

9

Active years

2002–2018

Best venue rank

A*

Where they publish

Papers

14 indexed papers, newest first.

YearVenueTitleAuthors
2018VMCAIModular Analysis of Executables Using On-Demand Heyting Completion.Julian Kranz, Axel Simon
2014PLDIOptimal inference of fields in row-polymorphic records.Axel Simon
2014POPLThe GDSL toolkit: Generating Frontends for the Analysis of Machine Code.Axel Simon, Julian Kranz
2014PPDPStructure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems.Julian Kranz, Axel Simon
2013APLASGDSL: A Universal Toolkit for Giving Semantics to Machine Language.Julian Kranz, Alexander Sepp, Axel Simon
2013APLASThe Undefined Domain: Precise Relational Information for Entities That Do Not Exist.Holger Siegel, Bogdan Mihaila, Axel Simon
2013CCFESA: Fold- and Expand-Based Shape Analysis.Holger Siegel, Axel Simon
2013PEPMDeriving a complete type inference for hindley-milner and vector sizes using expansion.Axel Simon
2010APLASSimple and Precise Widenings forAxel Simon, Liqian Chen
2008SASSplitting the Control Flow with Boolean Flags.Axel Simon
2007SASTaming the Wrapping of Integer Arithmetic.Axel Simon, Andy King
2006APLASWidening Polyhedra with Landmarks.Axel Simon, Andy King
2005SASExploiting Sparsity in Polyhedral Analysis.Axel Simon, Andy King
2002LOPSTRTwo Variables per Linear Inequality as an Abstract Domain.Axel Simon, Andy King, Jacob M. Howe