Neville Grech -

Registered user since Wed 16 Nov 2016

Name: Neville Grech

Affiliation: University of Athens, Greece

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

Research interests: Program Analysis, Security

Contributions

SOAP 2020	Author of Explaining Bug Provenance with Trace Witnesses within the SOAP 2020-track
ISSTA 2020	Committee Member in Program Committee within the WoSCA-track
ECOOP 2020	Author of Static Analysis of Shape in TensorFlow Programs within the Research Papers-track
SPLASH 2020	Workshops Co-Chair in Organizing Committee
PLDI 2020	Author of Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities within the PLDI Research Papers-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
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
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)
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
ICSE 2019	Author of Gigahorse: Thorough, Declarative Decompilation of Smart Contracts within the Technical Track-track
WODA 2017	Author of Better Program Analysis Through Heap Profiling within the WODA 2017-track
ECOOP 2018	Author of Efficient Reflection String Analysis via Graph Coloring within the ECOOP Research Papers-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
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
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