Sun 15 - Sat 21 November 2020 Online Conference
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


ECOOP 2020 Static Analysis of Shape in TensorFlow Programs
Static Analysis of Shape in TensorFlow Programs
SPLASH 2020 Committee Member in Organizing Committee within the Workshops-track
Precise Static Modeling of Ethereum ``Memory''
Workshops Co-Chair in Organizing Committee
Precise Static Modeling of Ethereum “Memory”
Show activities from other conferences

SPLASH 2020-profile
View general profile