ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Neville Grech

Registered user since Wed 16 Nov 2016

Name:Neville Grech
Bio:

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.

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

Contributions

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