Neville Grech

29 papers A* 2A 3B 1C 3Journal 17Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Precise Static Identification of Ethereum Storage Variables.
CoRR
Sifis Lagouvardos, Yannis Bollanos, Michael Debono, Neville Grech, Yannis Smaragdakis
2025 J jnl
Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights.
CoRR
Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, Ilias Tsatiris, Yannis Bollanos, Tony Rocco Valentine
2025 J jnl
The Incredible Shrinking Context... in a Decompiler Near You.
Proc. ACM Softw. Eng.
Sifis Lagouvardos, Yannis Bollanos, Neville Grech, Yannis Smaragdakis
2025 J jnl
Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning).
CoRR
Anastasios Antoniadis, Ilias Tsatiris, Neville Grech, Yannis Smaragdakis
2025 J jnl
Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning).
Proc. ACM Program. Lang.
Anastasios Antoniadis, Ilias Tsatiris, Neville Grech, Yannis Smaragdakis
2024 J jnl
The Incredible Shrinking Context... in a decompiler near you.
CoRR
Sifis Lagouvardos, Yannis Bollanos, Neville Grech, Yannis Smaragdakis
2022 J jnl
Elipmoc: advanced decompilation of Ethereum smart contracts.
Proc. ACM Program. Lang.
Neville Grech, Sifis Lagouvardos, Ilias Tsatiris, Yannis Smaragdakis
2021 J jnl
Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts.
Proc. ACM Program. Lang.
Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, Ilias Tsatiris
2020 A* conf
Ethainter: a smart contract security analyzer for composite vulnerabilities.
PLDI
Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, Yannis Smaragdakis
2020 — conf
Explaining bug provenance with trace witnesses.
SOAP@PLDI
Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, Yannis Smaragdakis
2020 J jnl
MadMax: analyzing the out-of-gas world of smart contracts.
Commun. ACM
Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis
2020 J jnl
Precise static modeling of Ethereum "memory".
Proc. ACM Program. Lang.
Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, Yannis Smaragdakis
2020 J jnl
Static Analysis of Shape in TensorFlow Programs (Artifact).
Dagstuhl Artifacts Ser.
Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis
2020 A conf
Static Analysis of Shape in TensorFlow Programs.
ECOOP
Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis
2019 A* conf
Gigahorse: thorough, declarative decompilation of smart contracts.
ICSE
Neville Grech, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis
2019 J jnl
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots.
CoRR
Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
2019 — ed.
Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2019, Phoenix, AZ, USA, June 22, 2019.
SOAP@PLDI
Neville Grech, Thierry Lavoie
2018 A conf
Efficient Reflection String Analysis via Graph Coloring.
ECOOP
Neville Grech, George Kastrinis, Yannis Smaragdakis
2018 J jnl
MadMax: surviving out-of-gas conditions in Ethereum smart contracts.
Proc. ACM Program. Lang.
Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis
2018 J jnl
Preemptive type checking.
J. Log. Algebraic Methods Program.
Neville Grech, Bernd Fischer, Julian Rathke
2018 A conf
Shooting from the heap: ultra-scalable static analysis with heap snapshots.
ISSTA
Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
2017 J jnl
Heaps don't lie: countering unsoundness with heap snapshots.
Proc. ACM Program. Lang.
Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
2017 J jnl
P/Taint: unified points-to and taint analysis.
Proc. ACM Program. Lang.
Neville Grech, Yannis Smaragdakis
2015 C conf
Static analysis of energy consumption for LLVM IR programs.
SCOPES
Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder
2014 J jnl
Static energy consumption analysis of LLVM IR programs.
CoRR
Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Kerstin Eder
2013 C conf
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models.
LOPSTR
Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro López-García, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder
2013 — —
Pre-emptive type checking in dynamically typed programs.
Neville Grech
2013 C conf
Preemptive Type Checking in Dynamically Typed Languages.
ICTAC
Neville Grech, Julian Rathke, Bernd Fischer
2010 B conf
JEqualityGen: generating equality and hashing methods.
GPCE
Neville Grech, Julian Rathke, Bernd Fischer