Get started
Author

Neville Grech

Observed name: Grech, Neville
Institution: University of Malta
ORCID: 0000-0002-6790-2872
Observed ORCID: 0000-0002-6790-2872
OpenAlex ID: A5068595267
MadMax: surviving out-of-gas conditions in Ethereum smart contracts
2018 · Neville Grech, Michael Kong, et al. · Proceedings of the ACM on Programming Languages · 384
PDF
Ethainter: a smart contract security analyzer for composite vulnerabilities
2020 · Lexi Brent, Neville Grech, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 186
Gigahorse: Thorough, Declarative Decompilation of Smart Contracts
2019 · Neville Grech, Lexi Brent, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 162
P/Taint: unified points-to and taint analysis
2017 · Neville Grech, Yannis Smaragdakis · Proceedings of the ACM on Programming Languages · 107
PDF
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models
2014 · Umer Liqat, Steve Kerrison, et al. · Lecture notes in computer science · 107
Static analysis of energy consumption for LLVM IR programs
2015 · Neville Grech, Kyriakos Georgiou, et al. · International Workshop on Software and Compilers for Embedded Systems (SCOPES) · 69
PDF
Elipmoc: advanced decompilation of Ethereum smart contracts
2022 · Neville Grech, Sifis Lagouvardos, et al. · Proceedings of the ACM on Programming Languages · 54
PDF
MadMax: analyzing the out-of-gas world of smart contracts
2020 · Neville Grech, Michael Kong, et al. · Communications of the ACM · 50
Static Analysis of Shape in TensorFlow Programs
2020 · Lagouvardos, Sifis, Dolby, Julian, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 40
PDF
Precise static modeling of Ethereum “memory”
2020 · Sifis Lagouvardos, Neville Grech, et al. · Proceedings of the ACM on Programming Languages · 34
Shooting from the heap: ultra-scalable static analysis with heap snapshots
2018 · Neville Grech, George Fourtounis, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 29
Heaps don't lie: countering unsoundness with heap snapshots
2017 · Neville Grech, George Fourtounis, et al. · Proceedings of the ACM on Programming Languages · 29
PDF
Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts
2021 · Yannis Smaragdakis, Neville Grech, et al. · Proceedings of the ACM on Programming Languages · 26
PDF
Efficient Reflection String Analysis via Graph Coloring
2018 · Grech, Neville, Kastrinis, George, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 14
PDF
Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities
2020 · Lexi Brent, Neville Grech, et al. · Artifact Digital Object Group · 11
JEqualityGen: generating equality and hashing methods
2010 · Neville Grech, Julian Rathke, et al. · International Conference on Generative Programming and Component Engineering (GPCE) · 11
PDF
The Incredible Shrinking Context... in a Decompiler Near You
2025 · Sifis Lagouvardos, Yannis Bollanos, et al. · Proceedings of the ACM on software engineering. · 10
PDF
Preemptive Type Checking in Dynamically Typed Languages
2013 · Neville Grech, Julian Rathke, et al. · Lecture notes in computer science · 9
Precise Static Identification of Ethereum Storage Variables (Extended Version)
2025 · Lagouvardos, Sifis, Bollanos, Yannis, et al. · arXiv (Cornell University) · 4
PDF
JEqualityGen: generating equality and hashing methods
2010 · Neville Grech, Julian Rathke, et al. · ACM SIGPLAN Notices · 4
Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
2019 · Grech, Neville, PLDI '19: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation 2019 Phoenix AZ USA, et al. · 3
Generating correct and efficient equality and hashing methods using JEqualityGen
2010 · Neville Grech, Julian Rathke, et al. · ePrints Soton (University of Southampton) · 3
PDF
Precise Static Identification of Ethereum Storage Variables (Artifact)
2025 · Lagouvardos, Sifis, Bollanos, Yannis, et al. · Zenodo (CERN European Organization for Nuclear Research) · 2
Preemptive type checking
2018 · Neville Grech, Bernd Fischer, et al. · Journal of Logical and Algebraic Methods in Programming · 2
Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)
2025 · Anastasios Antoniadis, Ilias Tsatiris, et al. · Proceedings of the ACM on Programming Languages · 1
PDF
Works count: 39
Citation count: 1,362
H-index: 14
I10-index: 17
Year
Topic
Type