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: Simon:Axel
Contributed to:
2014
2014
2013
20132014
2011
200820072005
2002Wrote 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.