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

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