2019

  1. Gigahorse: Thorough, Declarative Decompilation of Smart Contracts Grech, Neville, Brent, Lexi, Scholz, Bernhard, and Smaragdakis, Yannis In 41st ACM/IEEE International Conference on Software Engineering 2019 [PDF]

2018

  1. Preemptive type checking Grech, Neville, Fischer, Bernd, and Rathke, Julian Journal of Logic and Algebraic Methods in Programming 2018
  2. MadMax: surviving out-of-gas conditions in Ethereum smart contracts Grech, Neville, Kong, Michael, Jurisevic, Anton, Brent, Lexi, Scholz, Bernhard, and Smaragdakis, Yannis Proceedings of the ACM in Programming Languages (OOPSLA) 2018 (🏆 Distinguished Paper 🏆) [PDF] [Slides]
  3. Efficient Reflection String Analysis via Graph Coloring Grech, Neville, Kastrinis, George, and Smaragdakis, Yannis In 32nd European Conference on Object-Oriented Programming, ECOOP 2018 [PDF]
  4. Shooting from the heap: ultra-scalable static analysis with heap snapshots Grech, Neville, Fourtounis, George, Francalanza, Adrian, and Smaragdakis, Yannis In Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018 [PDF]

2017

  1. Heaps don’t lie: countering unsoundness with heap snapshots Grech, Neville, Fourtounis, George, Francalanza, Adrian, and Smaragdakis, Yannis Proceedings of the ACM in Programming Languages (OOPSLA) 2017 [PDF]
  2. P/Taint: unified points-to and taint analysis Grech, Neville, and Smaragdakis, Yannis Proceedings of the ACM in Programming Languages (OOPSLA) 2017 [PDF]

2015

  1. Static analysis of energy consumption for LLVM IR programs Grech, Neville, Georgiou, Kyriakos, Pallister, James, Kerrison, Steve, Morse, Jeremy, and Eder, Kerstin In Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015

2014

  1. Static energy consumption analysis of LLVM IR programs Grech, Neville, Georgiou, Kyriakos, Pallister, James, Kerrison, Steve, and Eder, Kerstin CoRR 2014 [PDF]

2013

  1. Pre-emptive type checking in dynamically typed programs Grech, Neville 2013
  2. Preemptive Type Checking in Dynamically Typed Languages Grech, Neville, Rathke, Julian, and Fischer, Bernd In Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium 2013
  3. Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models Liqat, Umer, Kerrison, Steve, Serrano, Alejandro, Georgiou, Kyriakos, López-Garcı́a, Pedro, Grech, Neville, Hermenegildo, Manuel V., and Eder, Kerstin In Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013

2010

  1. JEqualityGen: generating equality and hashing methods Grech, Neville, Rathke, Julian, and Fischer, Bernd In Generative Programming And Component Engineering, Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010
  2. Generating correct and efficient equality and hashing methods using JEqualityGen Grech, Neville, Rathke, Julian, and Fischer, Bernd In Proceedings of the Second Workshop on Generative Technologies (WGT) 2010