Neville Grech
Neville Grech
University of Athens
Verified email at um.edu.mt - Homepage
Title
Cited by
Cited by
Year
Madmax: Surviving out-of-gas conditions in ethereum smart contracts
N Grech, M Kong, A Jurisevic, L Brent, B Scholz, Y Smaragdakis
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018
1122018
Energy consumption analysis of programs based on XMOS ISA-level models
U Liqat, S Kerrison, A Serrano, K Georgiou, P Lopez-Garcia, N Grech, ...
International Symposium on Logic-Based Program Synthesis and Transformation …, 2013
702013
Static analysis of energy consumption for LLVM IR programs
N Grech, K Georgiou, J Pallister, S Kerrison, J Morse, K Eder
Proceedings of the 18th International Workshop on Software and Compilers for …, 2015
552015
Gigahorse: thorough, declarative decompilation of smart contracts
N Grech, L Brent, B Scholz, Y Smaragdakis
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
232019
P/Taint: unified points-to and taint analysis
N Grech, Y Smaragdakis
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-28, 2017
222017
Heaps don't lie: countering unsoundness with heap snapshots
N Grech, G Fourtounis, A Francalanza, Y Smaragdakis
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-27, 2017
162017
Shooting from the heap: Ultra-scalable static analysis with heap snapshots
N Grech, G Fourtounis, A Francalanza, Y Smaragdakis
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
122018
JEqualityGen: Generating equality and hashing methods
N Grech, J Rathke, B Fischer
ACM SIGPLAN Notices 46 (2), 177-186, 2010
102010
Efficient reflection string analysis via graph coloring
N Grech, G Kastrinis, Y Smaragdakis
32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018
82018
Preemptive type checking in dynamically typed languages
N Grech, J Rathke, B Fischer
International Colloquium on Theoretical Aspects of Computing, 195-212, 2013
62013
Preemptive type checking in dynamically typed programs
N Grech
University of Southampton, 2013
22013
Ethainter: a smart contract security analyzer for composite vulnerabilities.
L Brent, N Grech, S Lagouvardos, B Scholz, Y Smaragdakis
PLDI, 454-469, 2020
12020
MadMax: Analyzing the Out-of-Gas World of Smart Contracts
N Grech, M Kong, A Jurisevic, L Brent, B Scholz, Y Smaragdakis
COMMUNICATIONS OF THE ACM 63 (6), 2020
12020
Static Analysis of Shape in TensorFlow Programs
S Lagouvardos, J Dolby, N Grech, A Antoniadis, Y Smaragdakis
34th European Conference on Object-Oriented Programming (ECOOP 2020) 15, 1-15, 2020
12020
Preemptive type checking
N Grech, B Fischer, J Rathke
Journal of logical and algebraic methods in programming 101, 151-181, 2018
12018
Explaining bug provenance with trace witnesses
J Shen, X Wu, N Grech, B Scholz, Y Smaragdakis
Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of …, 2020
2020
Generating correct and efficient equality and hashing methods using JEqualityGen
N Grech, J Rathke, B Fischer
2010
The system can't perform the operation now. Try again later.
Articles 1–17