Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference
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

PLDI 2021 Implementing smart contract security analyses using the MadMax/Gigahorse framework
Show activities from other conferences

Using general profile