Yannis Smaragdakis

Statistics

Publications

Citations

6.3K

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, engineering, and program analysis.

ORCID

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringFormal MethodsFormal VerificationSystem SoftwareSoftware TestingComputer Engineering

Publications per year

1996–2022

Publications

JCrasher: an automatic robustness tester for Java

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

Engineering, Automatic Robustness Tester, Verification +17

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 · 340 citations · Full text

Engineering, Information Security, Software Engineering +24

Mixin layers

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

Software Maintenance, Mixin Layers, Engineering +15

Strictly declarative specification of sophisticated points-to analyses

Martin Bravenboer, Yannis Smaragdakis · 2009 · 284 citations

Engineering, Verification, Software Engineering +21

Strictly declarative specification of sophisticated points-to analyses

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

Engineering, Verification, Software Engineering +22

1–5 of 90