Write a Blog >>
PLDI 2021
Sun 20 - Fri 25 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

Personal website: http://www.nevillegrech.com

Twitter: https://twitter.com/neville_grech

GitHub: https://github.com/nevillegrech

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