Seuraa
Neville Grech
Neville Grech
Dedaub
Vahvistettu sähköpostiosoite verkkotunnuksessa dedaub.com - 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
4522018
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
1822020
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
1462019
P/taint: Unified points-to and taint analysis
N Grech, Y Smaragdakis
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-28, 2017
1052017
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
922015
Energy consumption analysis of programs based on XMOS ISA-level models
U Liqat, S Kerrison, A Serrano, K Georgiou, P Lopez-Garcia, N Grech, ...
Logic-Based Program Synthesis and Transformation: 23rd International …, 2014
912014
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
572020
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
562020
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
422017
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
322018
Elipmoc: Advanced decompilation of ethereum smart contracts
N Grech, S Lagouvardos, I Tsatiris, Y Smaragdakis
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-27, 2022
302022
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
252020
Symbolic value-flow static analysis: deep, precise, complete modeling of ethereum smart contracts
Y Smaragdakis, N Grech, S Lagouvardos, K Triantafyllou, I Tsatiris
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-30, 2021
192021
Efficient reflection string analysis via graph coloring
N Grech, G Kastrinis, Y Smaragdakis
32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018
172018
Jequalitygen: Generating equality and hashing methods
N Grech, J Rathke, B Fischer
ACM SIGPLAN Notices 46 (2), 177-186, 2010
132010
Preemptive type checking in dynamically typed languages
N Grech, J Rathke, B Fischer
Theoretical Aspects of Computing–ICTAC 2013: 10th International Colloquium …, 2013
82013
Preemptive type checking
N Grech, B Fischer, J Rathke
Journal of logical and algebraic methods in programming 101, 151-181, 2018
32018
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
22020
Preemptive type checking in dynamically typed programs
N Grech
University of Southampton, 2013
22013
The Incredible Shrinking Context... in a decompiler near you
S Lagouvardos, Y Bollanos, N Grech, Y Smaragdakis
arXiv preprint arXiv:2409.11157, 2024
2024
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20