Neville Grech
Neville Grech
University of Athens
Verified email at um.edu.mt - Homepage
TitleCited byYear
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
642013
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
612018
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
492015
P/Taint: unified points-to and taint analysis
N Grech, Y Smaragdakis
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-28, 2017
172017
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
102017
JEqualityGen: Generating equality and hashing methods
N Grech, J Rathke, B Fischer
ACM SIGPLAN Notices 46 (2), 177-186, 2010
102010
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
82019
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
82018
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
Preemptive type checking
N Grech, B Fischer, J Rathke
Journal of logical and algebraic methods in programming 101, 151-181, 2018
2018
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–13