2022

  1. Elipmoc: Advanced Decompilation of Ethereum Smart Contracts Neville Grech, Sifis Lagouvardos, Ilias Tsatiris, and Yannis Smaragdakis Proceedings of the ACM in Programming Languages (OOPSLA) 2022 [PDF]

2021

  1. Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, and Ilias Tsatiris Proceedings of the ACM in Programming Languages (OOPSLA) 2021 [PDF]

2020

  1. Precise Static Modelling of Ethereum “Memory” Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, and Yannis Smaragdakis Proceedings of the ACM in Programming Languages (OOPSLA) 2020 [PDF]
  2. MadMax: Analyzing the Out-of-Gas World of Smart Contracts Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, and Yannis Smaragdakis Communications of the ACM 2020 (CACM Research Highlight 🏆) [PDF]
  3. Static Analysis of Shape in TensorFlow Programs Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasis Antoniadis, and Yannis Smaragdakis In 34th European Conference on Object-Oriented Programming, ECOOP 2020 [PDF]
  4. Explaining Bug Provenance with Trace Witnesses Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, and Yannis Smaragdakis In 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis 2020 [PDF]
  5. Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities Lexi Brent, Neville Grech, Bernhard Scholz, and Yannis Smaragdakis In 41st ACM SIGPLAN Conference on Programming Language Design and Implementation 2020 [PDF]

2019

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

2018

  1. Preemptive type checking Neville Grech, Bernd Fischer, and Julian Rathke Journal of Logic and Algebraic Methods in Programming 2018 [PDF]
  2. MadMax: surviving out-of-gas conditions in Ethereum smart contracts Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, and Yannis Smaragdakis Proceedings of the ACM in Programming Languages (OOPSLA) 2018 (Distinguished Paper Award and SIGPLAN Research Highlight 🏆) [PDF] [Slides]
  3. Efficient Reflection String Analysis via Graph Coloring Neville Grech, George Kastrinis, and Yannis Smaragdakis In 32nd European Conference on Object-Oriented Programming, ECOOP 2018 [PDF]
  4. Shooting From The Heap: Ultra-Scalable Static Analysis With Heap Snapshots Neville Grech, George Fourtounis, Adrian Francalanza, and Yannis Smaragdakis 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 Neville Grech, George Fourtounis, Adrian Francalanza, and Yannis Smaragdakis Proceedings of the ACM in Programming Languages (OOPSLA) 2017 [PDF]
  2. P/Taint: Unified Points-To and Taint Analysis Neville Grech, and Yannis Smaragdakis Proceedings of the ACM in Programming Languages (OOPSLA) 2017 [PDF]

2015

  1. Static Analysis of Energy Consumption for LLVM IR Programs Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Jeremy Morse, and Kerstin Eder In Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015 [PDF]

2014

  1. Static Energy Consumption Analysis of LLVM IR Programs Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, and Kerstin Eder CoRR 2014 [PDF]

2013

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

2010

  1. JEqualityGen: generating equality and hashing methods Neville Grech, Julian Rathke, and Bernd Fischer In 9th International Conference on Generative Programming and Component Engineering, GPCE 2010 [PDF]
  2. Generating correct and efficient equality and hashing methods using JEqualityGen Neville Grech, Julian Rathke, and Bernd Fischer In Second Workshop on Generative Technologies (WGT) 2010 [PDF]