Yannis Smaragdakis

Statistics

Publications

Citations

6.5K

H-Index

Active since

1996

Affiliations

National and Kapodistrian University of Athens(Current)

Georgia Institute of Technology

University of Massachusetts Amherst

The University of Texas at Austin

University of Oregon

Yannis Smaragdakis is an author at National and Kapodistrian University of Athens specializing in computer science, computing, and programming languages.

ORCID

Publications per year

1996–2022

Publications

JCrasher: an automatic robustness tester for Java

Christoph Csallner, Yannis Smaragdakis · Software Practice and Experience · 2004 · 428 citations

Computing, Computer Science, Fault Tolerance +16

MadMax: surviving out-of-gas conditions in Ethereum smart contracts

Neville Grech, Michael Kong, Anton Jurisevic et al. · Proceedings of the ACM on Programming Languages · 2018 · 346 citations · Full text

Computing, Computer Science, Cybersecurity +13

Mixin layers

Yannis Smaragdakis, Don Batory · ACM Transactions on Software Engineering and Methodology · 2002 · 318 citations

Computing, Computer Science, Compilers +16

Strictly declarative specification of sophisticated points-to analyses

Martin Bravenboer, Yannis Smaragdakis · 2009 · 291 citations

Computing, Computer Science, Algorithms +13

Strictly declarative specification of sophisticated points-to analyses

Martin Bravenboer, Yannis Smaragdakis · ACM SIGPLAN Notices · 2009 · 230 citations

Computing, Computer Science, Algorithms +13

1–5 of 91