| 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 | 519 | 2018 |
| 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 | 232 | 2020 |
| 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 | 199 | 2019 |
| P/taint: Unified points-to and taint analysis N Grech, Y Smaragdakis Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-28, 2017 | 121 | 2017 |
| 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 | 99 | 2015 |
| 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 | 91 | 2013 |
| 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 …, 2020 | 68 | 2020 |
| 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 | 67 | 2020 |
| 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 | 62 | 2022 |
| 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 | 44 | 2017 |
| 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 | 35 | 2020 |
| 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 | 35 | 2018 |
| 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 | 31 | 2021 |
| Efficient reflection string analysis via graph coloring N Grech, G Kastrinis, Y Smaragdakis 32nd European Conference on Object-Oriented Programming (ECOOP 2018), 26: 1 …, 2018 | 19 | 2018 |
| Jequalitygen: Generating equality and hashing methods N Grech, J Rathke, B Fischer ACM SIGPLAN Notices 46 (2), 177-186, 2010 | 14 | 2010 |
| Preemptive type checking in dynamically typed languages N Grech, J Rathke, B Fischer International Colloquium on Theoretical Aspects of Computing, 195-212, 2013 | 9 | 2013 |
| Program analysis for high-value smart contract vulnerabilities: Techniques and insights Y Smaragdakis, N Grech, S Lagouvardos, K Triantafyllou, I Tsatiris, ... arXiv preprint arXiv:2507.20672, 2025 | 5 | 2025 |
| The Incredible Shrinking Context... in a decompiler near you S Lagouvardos, Y Bollanos, N Grech, Y Smaragdakis Proceedings of the ACM on Software Engineering 2 (ISSTA), 1350-1373, 2025 | 3 | 2025 |
| Preemptive type checking N Grech, B Fischer, J Rathke Journal of logical and algebraic methods in programming 101, 151-181, 2018 | 3 | 2018 |
| Precise Static Identification of Ethereum Storage Variables S Lagouvardos, Y Bollanos, M Debono, N Grech, Y Smaragdakis arXiv preprint arXiv:2503.20690, 2025 | 2 | 2025 |
Yannis SmaragdakisUniversity of AthensVerified email at di.uoa.gr
