Neville Grech

Registered user since Wed 16 Nov 2016

Name: Neville Grech

Affiliation: University of Athens

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

Research interests: Program Analysis, Security

Contributions

DPA 2019Committee Member in Organizing Committee within the DPA-track
SOAP 2019Co-chair in Organizing Committee within the SOAP-track
SPLASH 2019Workshops Chair in Organizing Committee
Workshops Co-Chair in Organizers within the Workshops-track
DPA 2018Author 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)
SPLASH 2018Author 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
ICSE 2019Author of Gigahorse: Thorough, Declarative Decompilation of Smart Contracts within the Technical Track-track
WODA 2017Author of Better Program Analysis Through Heap Profiling within the WODA 2017-track
ECOOP 2018Author of Efficient Reflection String Analysis via Graph Coloring within the ECOOP Research Papers-track
ISSTA 2018Author 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
ECOOP and ISSTAAuthor 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
SPLASH 2017Author 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