Neville Grech
Neville Grech
University of Malta
Vahvistettu sähköpostiosoite verkkotunnuksessa um.edu.mt - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
1332018
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
732013
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
622015
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
262019
P/Taint: unified points-to and taint analysis
N Grech, Y Smaragdakis
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-28, 2017
242017
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
192017
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
142018
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
92018
Ethainter: a smart contract security analyzer for composite vulnerabilities
L Brent, N Grech, S Lagouvardos, B Scholz, Y Smaragdakis
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
62020
Preemptive type checking in dynamically typed languages
N Grech, J Rathke, B Fischer
International Colloquium on Theoretical Aspects of Computing, 195-212, 2013
62013
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), 2020
32020
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 (10), 2020
22020
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
12018
Precise static modeling of Ethereum “memory”
S Lagouvardos, N Grech, I Tsatiris, Y Smaragdakis
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-26, 2020
2020
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
Static Analysis of Shape in TensorFlow Programs (Artifact)
S Lagouvardos, J Dolby, N Grech, A Antoniadis, Y Smaragdakis
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2020
2020
Generating correct and efficient equality and hashing methods using JEqualityGen
N Grech, J Rathke, B Fischer
2010
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–19