Neville Grech

ORCID

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 17

Top Venues

Proc. ACM Program. Lang.

CoRR

ECOOP

J. Log. Algebraic Methods Program.

University of Southampton, UK (PHD)

Education History

University of Southampton, UK

PHD

Publications

Neville Grech, Sifis Lagouvardos, Ilias Tsatiris, Yannis Smaragdakis
Elipmoc: advanced decompilation of Ethereum smart contracts. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, Ilias Tsatiris
Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, Yannis Smaragdakis
Explaining bug provenance with trace witnesses. SOAP@PLDI (2020)
Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, Yannis Smaragdakis
Ethainter: a smart contract security analyzer for composite vulnerabilities. PLDI (2020)
Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis
MadMax: analyzing the out-of-gas world of smart contracts. Commun. ACM 63 (10) (2020)
Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis
Static Analysis of Shape in TensorFlow Programs. ECOOP (2020)
Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, Yannis Smaragdakis
Precise static modeling of Ethereum "memory". Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis
Static Analysis of Shape in TensorFlow Programs (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots. CoRR (2019)
Neville Grech, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis
Gigahorse: thorough, declarative decompilation of smart contracts. ICSE (2019)
Neville Grech, Bernd Fischer, Julian Rathke
Preemptive type checking. J. Log. Algebraic Methods Program. 101 (2018)
Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
Shooting from the heap: ultra-scalable static analysis with heap snapshots. ISSTA (2018)
Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis
MadMax: surviving out-of-gas conditions in Ethereum smart contracts. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Neville Grech, George Kastrinis, Yannis Smaragdakis
Efficient Reflection String Analysis via Graph Coloring. ECOOP (2018)
Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
Heaps don't lie: countering unsoundness with heap snapshots. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Neville Grech, Yannis Smaragdakis
P/Taint: unified points-to and taint analysis. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder
Static analysis of energy consumption for LLVM IR programs. SCOPES (2015)
Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Kerstin Eder
Static energy consumption analysis of LLVM IR programs. CoRR (2014)
Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro López-García, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. LOPSTR (2013)
Neville Grech, Julian Rathke, Bernd Fischer
Preemptive Type Checking in Dynamically Typed Languages. ICTAC (2013)
Neville Grech, Julian Rathke, Bernd Fischer
JEqualityGen: generating equality and hashing methods. GPCE (2010)

Neville Grech.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Neville Grech