Home
Lehre
Personen
Professoren
Lehrstuhlassistenz
Lehrstuhl Mitarbeiter
Ehemalige
Research
Projects
Events
Jobs/Studienarbeiten
SiteMap
Puma
Impressum & Datenschutz
|
Dr. Axel Simon
 |
Name: | Dr. Axel Simon |
Raum: | - |
Tel: | - |
eMail: | axel.simon<at>in.tum.de |
Visitenkarte: |  |
|
Note: I am currently working at Google in Mountain View.
Check out our GDSL toolkit for analyzing binaries!
Publications of Axel SimonA. Simon. Value-Range Analysis of C Programs. Springer, 2008. Detail: Abstract Reference: Bibtex Electronic Copy: DOI
A. Simon. Value-Range Analysis of C Programs with Focus on Finding Buffer Overflow Vulnerabilities. PhD thesis, Computing Laboratory, University of Kent September 2006. Reference: Bibtex
The following articles appeared in peer-reviewed journals. The copyright of these articles lies with the respective journals. A. Simon. Deriving a Complete Type Inference for Hindley-Milner and Vector Sizes using Expansion. Science of Computer Programming, 95(2):254–271, 2014. Detail: Abstract Download: PDF Reference: Bibtex Electronic Copy: DOI A. Simon, A. King and J. Howe. The Two Variable Per Inequality Abstract Domain. Higher Order and Symbolic Computation, , 2011. Detail: Abstract Download: PDF Reference: Bibtex Electronic Copy: DOI A. Simon and A. King. Convex Hull of Planar H-Polyhedra. International Journal of Computer Mathematics, 81(4):259--271, March 2004. Detail: Abstract Download: PDF Reference: Bibtex
The following papers were published in peer-reviewed conferences. The copyright of these papers lies with the respective publishers. H. Siegel and A. Simon. Shape Analysis with Connectors. In K. Havelund, G. J. Holzmann and R. Joshi, editors, NASA Formal Methods, volume 9058 of LNCS, pages 343--358, Passadena, California, USA, April 2015. Springer. Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com J. Kranz and A. Simon. Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems. Principles and Practice of Declarative Programming, September 2014. ACM. Detail: Abstract Download: PDF Reference: Bibtex A. Simon. Optimal Inference of Fields in Row-Polymorphic Records. Programming Language Design and Implementation, SIGPLAN, Edinburg, UK, June 2014. ACM. Detail: Abstract Download: PDF Reference: Bibtex B. Mihaila and A. Simon. Synthesizing Predicates from Abstract Domain Losses. In J. Badger and K. Y. Rosier, editors, NASA Formal Methods, volume 8430 of LNCS, pages 328--342, Houston, Texas, USA, April 2014. Springer. Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com A. Simon and J. Kranz. The GDSL toolkit: Generating Frontends for the Analysis of Machine Code. Program Protection and Reverse Engineering Workshop, PPREW '14, San Diego, California, USA, January 2014. ACM. Detail: Abstract Download: PDF Reference: Bibtex Electronic Copy: DOI H. Siegel, B. Mihaila and A. Simon. The Undefined Domain: Precise Relational Information for Entities that Do Not Exist. In C. Shan, editor, Asian Symposium on Programming Languages and Systems, Melbourne, Australia, December 2013. Springer. Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com J. Kranz, A. Sepp and A. Simon. GDSL: A Universal Toolkit for Giving Semantics to Machine Language. In C. Shan, editor, Asian Symposium on Programming Languages and Systems, Melbourne, Australia, December 2013. Springer. Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com B. Mihaila, A. Sepp and A. Simon. Widening as Abstract Domain. In G. Brat, N. Rungta and A. Venet, editors, NASA Formal Methods, volume 7871 of LNCS, pages 170--186, Moffett Field, California, USA, May 2013. Springer. Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com H. Siegel and A. Simon. FESA: Fold- and Expand-based Shape Analysis. Compiler Construction, volume 7791 of LNCS, pages 82--101, Rome, Italy, March 2013. Springer. Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com A. Simon. Deriving a Complete Type Inference for Hindley-Milner and Vector Sizes using Expansion. Partial Evaluation and Program Manipulation, SIGPLAN, Rome, Italy, January 2013. ACM. Detail: Abstract Download: PDF Reference: Bibtex A. Sepp, J. Kranz and A. Simon. GDSL: A Generic Decoder Specification Language for Interpreting Machine Language. Tools for Automatic Program Analysis, volume 289 of ENTCS, pages 53-64, Deauville, France, September 2012. Springer. Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com J. Brauer and A. Simon. Inferring Definite Counterexamples Through Under-Approximation. In A. E. Goodloe and S. Person, editors, NASA Formal Methods, volume 7226 of LNCS, Norfolk, Virginia, USA, April 2012. Springer. Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com A. Sepp, B. Mihaila and A. Simon. Precise Static Analysis of Binaries by Extracting Relational Information. In M.Pinzger and D. Poshyvanyk, editors, Working Conference on Reverse Engineering, Limerick, Ireland, October 2011. IEEE Computer Society. Detail: Abstract Download: PDF Reference: Bibtex A. Simon and L. Chen. Simple and Precise Widenings for -Polyhedra. Asian Symposium on Programming Languages and Systems, volume 6461 of LNCS, pages 139-155, Shanghai, China, November 2010. Springer. Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com A. Simon. Splitting the Control Flow with Boolean Flags. In M. Alpuente and G. Vidal, editors, Static Analysis Symposium, volume 5079 of LNCS, pages 315-331, Valencia, Spain, July 2008. Springer. Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com A. Simon and A. King. Taming the Wrapping of Integer Arithmetic. In G. File and H. R. Nielson, editors, Static Analysis Symposium, volume 4634 of LNCS, pages 121--136, Kongens Lyngby, Denmark, August 2007. Springer. Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com A. Simon and A. King. Widening Polyhedra with Landmarks. In N. Kobayashi, editor, Asian Symposium on Programming Languages and Systems, volume 4279 of LNCS, pages 166--182, Sydney, Australia, November 2006. Springer. Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com A. Simon and A. King. Exploiting Sparsity in Polyhedral Analysis. In C. Hankin and I. Siveroni, editors, Static Analysis Symposium, volume 3672 of LNCS, pages 336--351, London, UK, September 2005. Springer. Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com A. Simon, A. King and J. M. Howe. Two Variables per Linear Inequality as an Abstract Domain. In M. Leuschel, editor, Logic-Based Program Synthesis and Transformation, volume 2664 of LNCS, pages 71--89, Madrid, Spain, September 2003. Springer. Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com A. Simon and A. King. Analyzing String Buffers in C. In H. Kirchner and C. Ringeissen, editors, Algebraic Methodology and Software Technology, volume 2422 of LNCS, pages 365--379, Reunion Island, France, September 2002. Springer. Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com
A. Simon. Optimal Inference of Fields in Row-Polymorphic Records (Proof Appendix). , June 2014. Download: PDF Reference: Bibtex A. Simon. Deriving a Modular and Complete Type Inference for Hindley-Milner: Proof Appendix. , 2012. Download: PDF Reference: Bibtex H. Siegel and A. Simon. Summarized Dimensions Revisited. In L. Mauborgne, editor, Workshop on Numeric and Symbolic Abstract Domains, ENTCS, Venice, Italy, September 2011. Springer. Detail: Abstract Download: PDF Reference: Bibtex A. Simon. Speeding up Polyhedral Analysis by Identifying Common Constraints. In A. Miné, editor, Workshop on Numeric and Symbolic Abstract Domains, ENTCS, Perpignan, France, September 2010. Springer. Detail: Abstract Download: PDF Reference: Bibtex A. Simon. A Note on the Inversion Join for Polyhedral Analysis. In A. Miné, editor, Workshop on Numeric and Symbolic Abstract Domains, ENTCS, Perpignan, France, September 2010. Springer. Detail: Abstract Download: PDF Reference: Bibtex A. Simon. Relational Analysis of Floating-Point Arithmetic. Workshop on Numerical and Symbolic Abstract Domains, Paris, France, 2005. Detail: Abstract Download: PDF Reference: Bibtex
|