Yannis Smaragdakis
National and Kapodistrian University of Athens
H-index: 48
Europe-Greece
Top articles of Yannis Smaragdakis
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 |
Making pointer analysis more precise by unleashing the power of selective context sensitivity | Tian Tan Yue Li Xiaoxing Ma Chang Xu Yannis SMARAGDAKIS | 2021/10 | |
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 |
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 | |
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 | |
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 |
Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room | Anastasios Antoniadis Nikos Filippakis Paddy Krishnan Raghavendra Ramesh Nicholas Allen | 2020/6/11 | |
Symbolic Reasoning for Automatic Signal Placement | ACM SIGOPS Operating Systems Review | Kostas Ferles Jacob Van Geffen Isil Dillig Yannis Smaragdakis | 2020/8/31 |
A principled approach to selective context sensitivity for pointer analysis | ACM Transactions on Programming Languages and Systems (TOPLAS) | Yue Li Tian Tan Anders Møller Yannis Smaragdakis | 2020 |
Macaron-A tool for examining solidity smart contract transactions on the ethereum blockchain | Ioannis A Cheilaris Yannis Smaragdakis | 2020/12 | |
Deep static modeling of invokedynamic | arXiv preprint arXiv:2001.02545 | George Fourtounis Yannis Smaragdakis | 2020/1/8 |
Identifying java calls in native code via binary scanning | George Fourtounis Leonidas Triantafyllou Yannis Smaragdakis | 2020/7/18 |