| Two variables per linear inequality as an abstract domain A Simon, A King, JM Howe Logic Based Program Synthesis and Transformation: 12th International …, 2003 | 131 | 2003 |
| Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities A Simon Springer London, 2008 | 58 | 2008 |
| Taming the wrapping of integer arithmetic A Simon, A King International Static Analysis Symposium, 121-136, 2007 | 57 | 2007 |
| Analyzing string buffers in C A Simon, A King International Conference on Algebraic Methodology and Software Technology …, 2002 | 56 | 2002 |
| Exploiting sparsity in polyhedral analysis A Simon, A King International Static Analysis Symposium, 336-351, 2005 | 50 | 2005 |
| Precise static analysis of binaries by extracting relational information A Sepp, B Mihaila, A Simon 2011 18th Working Conference on Reverse Engineering, 357-366, 2011 | 49 | 2011 |
| Widening polyhedra with landmarks A Simon, A King Asian Symposium on Programming Languages and Systems, 166-182, 2006 | 45 | 2006 |
| Typeview: a tool for understanding type errors A Simon, O Chitil, F Huch Draft Proceedings of the 12th International Workshop on Implementation of …, 2000 | 24 | 2000 |
| The two variable per inequality abstract domain A Simon, A King Higher-Order and Symbolic Computation 23, 87-143, 2010 | 23 | 2010 |
| GDSL: a generic decoder specification language for interpreting machine language A Sepp, J Kranz, A Simon Electronic Notes in Theoretical Computer Science 289, 53-64, 2012 | 17 | 2012 |
| Inferring definite counterexamples through under-approximation J Brauer, A Simon NASA Formal Methods Symposium, 54-69, 2012 | 17 | 2012 |
| Splitting the control flow with boolean flags A Simon International Static Analysis Symposium, 315-331, 2008 | 15 | 2008 |
| Widening as abstract domain B Mihaila, A Sepp, A Simon NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013 | 13 | 2013 |
| The GDSL toolkit: Generating frontends for the analysis of machine code A Simon, J Kranz Proceedings of ACM SIGPLAN on Program Protection and Reverse Engineering …, 2014 | 9 | 2014 |
| Summarized dimensions revisited H Siegel, A Simon Electronic Notes in Theoretical Computer Science 288, 75-86, 2012 | 9 | 2012 |
| Deriving a complete type inference for hindley-milner and vector sizes using expansion A Simon Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and …, 2013 | 8 | 2013 |
| Gdsl: A universal toolkit for giving semantics to machine language J Kranz, A Sepp, A Simon Programming Languages and Systems: 11th Asian Symposium, APLAS 2013 …, 2013 | 8 | 2013 |
| Analysis of executables: Benefits and challenges (dagstuhl seminar 12051) AM King, A Mycroft, TW Reps, A Simon Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2012 | 8 | 2012 |
| Modular analysis of executables using on-demand heyting completion J Kranz, A Simon Verification, Model Checking, and Abstract Interpretation: 19th …, 2018 | 6 | 2018 |
| Simple and Precise Widenings for H-Polyhedra A Simon, L Chen Asian Symposium on Programming Languages and Systems, 139-155, 2010 | 6 | 2010 |
Andy KingKent PortcullisVerified email at kent.ac.uk
