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:Dedaub Limited
Research interests:Program Analysis, Security

Contributions

ESEC/FSE 2023 Committee Member in Program Committee within the Industry Papers-track
SPLASH 2022 Author of Elipmoc: advanced decompilation of Ethereum smart contracts within the OOPSLA-track
Session Chair of Debugging (part of OOPSLA)
Committee Member in Review Committee within the OOPSLA-track
Author of Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts within the COVID Time Papers In Person-track
Author of Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities within the COVID Time Papers In Person-track
ISSTA 2022 Programme Committee in Program Committee within the Technical Papers-track
PLDI 2022 Committee Member in PLDI within the PLDI-track
SPLASH 2021 Author of Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts within the OOPSLA-track
PLDI 2021 Author of Implementing smart contract security analyses using the MadMax/Gigahorse framework within the Tutorials-track
SPLASH 2020 Committee Member in Organizing Committee within the Workshops-track
Author of Precise Static Modeling of Ethereum ``Memory'' within the OOPSLA Artifacts-track
Workshops Co-Chair in Organizing Committee
Author of Precise Static Modeling of Ethereum “Memory” within the OOPSLA-track
ECOOP 2020 Author of Static Analysis of Shape in TensorFlow Programs within the Research Papers-track
Author of Static Analysis of Shape in TensorFlow Programs within the Artifacts-track
ISSTA 2020 Author of Neville Grech -- Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities within the WoSCA-track
Committee Member in Program Committee within the WoSCA-track
PLDI 2020 Author of Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities within the PLDI Research Papers-track
SOAP 2020 Author of Explaining Bug Provenance with Trace Witnesses within the SOAP 2020-track
SPLASH 2019 Session Chair of New Trends in Software Development (part of Rebase)
Workshops Chair in Organizing Committee
Workshops Co-Chair in Organizers within the Workshops-track
IC 2019 Committee Member in Program Committee within the IC 2019-track
Session Chair of Incremental Datalog (part of IC 2019)
NJR 2019 Author of MadMax and Friends: Program Analysis for Smart Contracts within the NJR 2019-track
DPA 2019 Session Chair of Session IV (part of DPA)
Session Chair of Session I (part of DPA)
Committee Member in Organizing Committee within the DPA-track
Author of Gigahorse: Thorough Smart Contract Decompilation and Security Analyses within the DPA-track
SOAP 2019 Author of Welcome to SOAP 2019 within the SOAP-track
Author of Laurie Hendren Euology within the SOAP-track
Session Chair of Performance and Optimizations for Program Analysis Tools (part of SOAP)
Session Chair of Demos, Tributes and Awards (part of SOAP)
Co-chair in Organizing Committee within the SOAP-track
Author of Best presentation announcement and closing of the day within the SOAP-track
ICSE 2019 Author of Gigahorse: Thorough, Declarative Decompilation of Smart Contracts within the Technical Track-track
SPLASH 2018 Author of MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts within the OOPSLA-track
Author of MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts within the Posters-track
DPA 2018 Author of MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts within the DPA-track
Committee Member in Organizing Committee within the DPA-track
Session Chair of Session III (part of DPA)
ECOOP 2018 Author of Efficient Reflection String Analysis via Graph Coloring within the ECOOP Research Papers-track
ECOOP and ISSTA 2018 Author of Efficient Reflection String Analysis via Graph Coloring within the Posters-track
Author of Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots within the Posters-track
ISSTA 2018 Author of Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots within the ISSTA Artifacts-track
Author of Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots within the ISSTA Technical Papers-track
SPLASH 2017 Author of Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots within the Posters-track
Author of P/Taint: Unified Points-To and Information Flow Analysis within the Posters-track
Author of P/Taint: Unified Points-to and Taint Analysis within the OOPSLA-track
Author of Heaps Don't Lie: Countering Unsoundness with Heap Snapshots within the OOPSLA-track
WODA 2017 Author of Better Program Analysis Through Heap Profiling within the WODA 2017-track