Folgen
Neville Grech
Neville Grech
Dedaub
Bestätigte E-Mail-Adresse bei dedaub.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
3842018
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
1302020
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
1112019
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
932014
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
902015
P/taint: Unified points-to and taint analysis
N Grech, Y Smaragdakis
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-28, 2017
882017
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
472020
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
392017
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
382020
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
292018
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
202020
Efficient reflection string analysis via graph coloring
N Grech, G Kastrinis, Y Smaragdakis
32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018
142018
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
132022
Jequalitygen: Generating equality and hashing methods
N Grech, J Rathke, B Fischer
ACM SIGPLAN Notices 46 (2), 177-186, 2010
132010
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
112021
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
Static Analysis of Shape in TensorFlow Programs (Artifact).
S Lagouvardos, J Dolby, N Grech, A Antoniadis, Y Smaragdakis
Dagstuhl Artifacts Ser. 6 (2), 06:1-06:3, 2020
2020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20