Neville Grech
University of Malta
H-index: 13
Europe-Malta
Top articles of Neville Grech
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Elipmoc: advanced decompilation of ethereum smart contracts | Proceedings of the ACM on Programming Languages | Neville Grech Sifis Lagouvardos Ilias Tsatiris Yannis Smaragdakis | 2022/4/29 |
Symbolic value-flow static analysis: deep, precise, complete modeling of ethereum smart contracts | Proceedings of the ACM on Programming Languages | Yannis Smaragdakis Neville Grech Sifis Lagouvardos Konstantinos Triantafyllou Ilias Tsatiris | 2021/10/15 |
Static Analysis of Shape in TensorFlow Programs (Artifact). | Dagstuhl Artifacts Ser. | Sifis Lagouvardos Julian Dolby Neville Grech Anastasios Antoniadis Yannis Smaragdakis | 2020/11/6 |
MadMax: Analyzing the Out-of-Gas World of Smart Contracts | COMMUNICATIONS OF THE ACM | Neville Grech Michael Kong Anton Jurisevic Lexi Brent Bernhard Scholz | 2020/10 |
Explaining bug provenance with trace witnesses | Jixiang Shen Xi Wu Neville Grech Bernhard Scholz Yannis Smaragdakis | 2020/6/15 | |
Ethainter: a smart contract security analyzer for composite vulnerabilities | Lexi Brent Neville Grech Sifis Lagouvardos Bernhard Scholz Yannis Smaragdakis | 2020/6/11 | |
Precise static modeling of ethereum “memory” | Proceedings of the ACM on Programming Languages | Sifis Lagouvardos Neville Grech Ilias Tsatiris Yannis Smaragdakis | 2020/11/13 |
Static analysis of shape in TensorFlow programs | Sifis Lagouvardos Julian Dolby Neville Grech Anastasios Antoniadis Yannis Smaragdakis | 2020 |