BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Ireland
2 × Italy
2 × Spain
3 × United Kingdom
Collaborated with:
A.King J.Kranz H.Siegel A.Sepp B.Mihaila J.M.Howe
Talks about:
analysi (3) infer (3) hindley (2) complet (2) vector (2) milner (2) expans (2) deriv (2) type (2) size (2)

Person: Axel Simon

DBLP DBLP: Simon:Axel

Contributed to:

PLDI 20142014
PPDP 20142014
CC 20132013
PEPM 20132013
PEPM 20132014
WCRE 20112011
SAS 20082008
SAS 20072007
SAS 20052005
LOPSTR 20022002

Wrote 10 papers:

PLDI-2014-Simon #polymorphism
Optimal inference of fields in row-polymorphic records (AS), p. 13.
PPDP-2014-KranzS #compilation #domain-specific language #functional #integration #legacy #performance
Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems (JK, AS), pp. 187–198.
CC-2013-SiegelS #analysis #named
FESA: Fold- and Expand-Based Shape Analysis (HS, AS), pp. 82–101.
PEPM-2013-Simon #type inference #using
Deriving a complete type inference for hindley-milner and vector sizes using expansion (AS), pp. 13–22.
PEPM-J-2013-Simon14 #type inference #using
Deriving a complete type inference for Hindley-Milner and vector sizes using expansion (AS), pp. 254–271.
WCRE-2011-SeppMS #precise #relational #static analysis
Precise Static Analysis of Binaries by Extracting Relational Information (AS, BM, AS), pp. 357–366.
SAS-2008-Simon #control flow
Splitting the Control Flow with Boolean Flags (AS), pp. 315–331.
SAS-2007-SimonK #integer
Taming the Wrapping of Integer Arithmetic (AS, AK), pp. 121–136.
SAS-2005-SimonK #analysis
Exploiting Sparsity in Polyhedral Analysis (AS, AK), pp. 336–351.
LOPSTR-2002-SimonKH #abstract domain #difference #linear
Two Variables per Linear Inequality as an Abstract Domain (AS, AK, JMH), pp. 71–89.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.