JEqualityGen: generating equality and hashing methods. - Neville Grech; Julian Rathke; Bernd Fischer 002 (GPCE, 2010)

Preemptive Type Checking in Dynamically Typed Languages. - Neville Grech; Julian Rathke; Bernd Fischer 002 (ICTAC, 2013)

Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. - Umer Liqat; Steve Kerrison; Alejandro Serrano 001; Kyriakos Georgiou; Pedro López-García 001; Neville Grech; Manuel V. Hermenegildo; Kerstin Eder (LOPSTR, 2013)

Pre-emptive type checking in dynamically typed programs. - Neville Grech (2013)

Static energy consumption analysis of LLVM IR programs. - Neville Grech; Kyriakos Georgiou; James Pallister; Steve Kerrison; Kerstin Eder (CoRR, 2014)

Static analysis of energy consumption for LLVM IR programs. - Neville Grech; Kyriakos Georgiou; James Pallister; Steve Kerrison; Jeremy Morse; Kerstin Eder (SCOPES, 2015)

Heaps don't lie: countering unsoundness with heap snapshots. - Neville Grech; George Fourtounis; Adrian Francalanza; Yannis Smaragdakis (Proc. ACM Program. Lang., 2017)

P/Taint: unified points-to and taint analysis. - Neville Grech; Yannis Smaragdakis (Proc. ACM Program. Lang., 2017)

Efficient Reflection String Analysis via Graph Coloring. - Neville Grech; George Kastrinis; Yannis Smaragdakis (ECOOP, 2018)

Shooting from the heap: ultra-scalable static analysis with heap snapshots. - Neville Grech; George Fourtounis; Adrian Francalanza; Yannis Smaragdakis (ISSTA, 2018)

Preemptive type checking. - Neville Grech; Bernd Fischer 002; Julian Rathke (J. Log. Algebraic Methods Program., 2018)

MadMax: surviving out-of-gas conditions in Ethereum smart contracts. - Neville Grech; Michael Kong; Anton Jurisevic; Lexi Brent; Bernhard Scholz; Yannis Smaragdakis (Proc. ACM Program. Lang., 2018)

Gigahorse: thorough, declarative decompilation of smart contracts. - Neville Grech; Lexi Brent; Bernhard Scholz; Yannis Smaragdakis (ICSE, 2019)

Static Analysis of Shape in TensorFlow Programs. - Sifis Lagouvardos; Julian Dolby; Neville Grech; Anastasios Antoniadis; Yannis Smaragdakis (ECOOP, 2020)

Ethainter: a smart contract security analyzer for composite vulnerabilities. - Lexi Brent; Neville Grech; Sifis Lagouvardos; Bernhard Scholz; Yannis Smaragdakis (PLDI, 2020)

Explaining bug provenance with trace witnesses. - Jixiang Shen; Xi Wu 005; Neville Grech; Bernhard Scholz; Yannis Smaragdakis (SOAP@PLDI, 2020)

MadMax: analyzing the out-of-gas world of smart contracts. - Neville Grech; Michael Kong; Anton Jurisevic; Lexi Brent; Bernhard Scholz; Yannis Smaragdakis (Commun. ACM, 2020)

Static Analysis of Shape in TensorFlow Programs (Artifact). - Sifis Lagouvardos; Julian Dolby; Neville Grech; Anastasios Antoniadis; Yannis Smaragdakis (Dagstuhl Artifacts Ser., 2020)

Precise static modeling of Ethereum "memory". - Sifis Lagouvardos; Neville Grech; Ilias Tsatiris; Yannis Smaragdakis (Proc. ACM Program. Lang., 2020)

Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts. - Yannis Smaragdakis; Neville Grech; Sifis Lagouvardos; Konstantinos Triantafyllou; Ilias Tsatiris (Proc. ACM Program. Lang., 2021)

Elipmoc: advanced decompilation of Ethereum smart contracts. - Neville Grech; Sifis Lagouvardos; Ilias Tsatiris; Yannis Smaragdakis (Proc. ACM Program. Lang., 2022)

The Incredible Shrinking Context... in a Decompiler Near You. - Sifis Lagouvardos; Yannis Bollanos; Neville Grech; Yannis Smaragdakis (Proc. ACM Softw. Eng., 2025)

Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning). - Anastasios Antoniadis; Ilias Tsatiris; Neville Grech; Yannis Smaragdakis (CoRR, 2025)

Precise Static Identification of Ethereum Storage Variables. - Sifis Lagouvardos; Yannis Bollanos; Michael Debono; Neville Grech; Yannis Smaragdakis (CoRR, 2025)

Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights. - Yannis Smaragdakis; Neville Grech; Sifis Lagouvardos; Konstantinos Triantafyllou; Ilias Tsatiris; Yannis Bollanos; Tony Rocco Valentine (CoRR, 2025)