Neville Grech
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2010–2020
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ECOOP | Static Analysis of Shape in TensorFlow Programs. | Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis |
| 2020 | PLDI | Ethainter: a smart contract security analyzer for composite vulnerabilities. | Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, Yannis Smaragdakis |
| 2020 | PLDI | Explaining bug provenance with trace witnesses. | Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, Yannis Smaragdakis |
| 2019 | ICSE | Gigahorse: thorough, declarative decompilation of smart contracts. | Neville Grech, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis |
| 2018 | ECOOP | Efficient Reflection String Analysis via Graph Coloring. | Neville Grech, George Kastrinis, Yannis Smaragdakis |
| 2018 | ISSTA | Shooting from the heap: ultra-scalable static analysis with heap snapshots. | Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis |
| 2015 | SCOPES | Static analysis of energy consumption for LLVM IR programs. | Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder |
| 2013 | ICTAC | Preemptive Type Checking in Dynamically Typed Languages. | Neville Grech, Julian Rathke, Bernd Fischer |
| 2013 | LOPSTR | Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. | Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro Lpez-Garca, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder |
| 2010 | GPCE | JEqualityGen: generating equality and hashing methods. | Neville Grech, Julian Rathke, Bernd Fischer |