Neville Grech

According to our database, Neville Grech authored at least 21 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Elipmoc: advanced decompilation of Ethereum smart contracts.

Neville Grech, Sifis Lagouvardos, Ilias Tsatiris, Yannis Smaragdakis

Proc. ACM Program. Lang., 2022

2021

Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts.

Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, Ilias Tsatiris

Proc. ACM Program. Lang., 2021

2020

Precise static modeling of Ethereum "memory".

Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, Yannis Smaragdakis

Proc. ACM Program. Lang., 2020

Static Analysis of Shape in TensorFlow Programs (Artifact).

Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis

Dagstuhl Artifacts Ser., 2020

MadMax: analyzing the out-of-gas world of smart contracts.

Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis

Commun. ACM, 2020

Explaining bug provenance with trace witnesses.

Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, Yannis Smaragdakis

Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2020

Ethainter: a smart contract security analyzer for composite vulnerabilities.

Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, Yannis Smaragdakis

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Static Analysis of Shape in TensorFlow Programs.

Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Gigahorse: thorough, declarative decompilation of smart contracts.

Neville Grech, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

MadMax: surviving out-of-gas conditions in Ethereum smart contracts.

Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis

Proc. ACM Program. Lang., 2018

Preemptive type checking.

Neville Grech, Bernd Fischer, Julian Rathke

J. Log. Algebraic Methods Program., 2018

Shooting from the heap: ultra-scalable static analysis with heap snapshots.

Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Efficient Reflection String Analysis via Graph Coloring.

Neville Grech, George Kastrinis, Yannis Smaragdakis

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017

P/Taint: unified points-to and taint analysis.

Neville Grech, Yannis Smaragdakis

Proc. ACM Program. Lang., 2017

Heaps don't lie: countering unsoundness with heap snapshots.

Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis

Proc. ACM Program. Lang., 2017

2015

Static analysis of energy consumption for LLVM IR programs.

Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder

Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, 2015

2014

Static energy consumption analysis of LLVM IR programs.

Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Kerstin Eder

CoRR, 2014

2013

Pre-emptive type checking in dynamically typed programs.

Neville Grech

PhD thesis, 2013

Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models.

Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro López-García, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

Preemptive Type Checking in Dynamically Typed Languages.

Neville Grech, Julian Rathke, Bernd Fischer

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

2010

JEqualityGen: generating equality and hashing methods.

Neville Grech, Julian Rathke, Bernd Fischer

Proceedings of the Generative Programming And Component Engineering, 2010