Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Neville Grech

Registered user since Wed 16 Nov 2016

Name:Neville Grech

My expertise is focused on program analysis, mostly applied to security applications. My work in this area has been recently highlighted by ACM SIGPLAN and Communications of the ACM. I am also interested in the areas of energy efficient systems, smart contracts, semantics and generative programming. Some popular tools I have codeveloped include decompilers and security analyzers for the Ethereum platform (MadMax and Gigahorse) and Java pointer and taint analysis frameworks (Doop, P/Taint and HeapDL). Previously, I was Reach High Fellow at the University of Athens, a Senior Research Associate at the University of Bristol, and have worked in industry as a Data Scientist and Software Engineer. I hold a PhD from the University of Southampton.

Affiliation:University of Malta
Research interests:Program Analysis, Security


SPLASH 2022 Elipmoc: advanced decompilation of Ethereum smart contracts
Session Chair of Debugging (part of OOPSLA)
Committee Member in Review Committee within the OOPSLA-track
Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts
Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities
Show activities from other conferences

SPLASH 2022-profile
View general profile