Get started
Author

Yannis Smaragdakis

Observed names: Dr. Yannis Smaragdakis, Smaragdakis, Yannis, Y. Smaragdakis, YANNIS SMARAGDAKIS
Observed institutions: Tufts University, Georgia Institute of Technology, University of Oregon, National and Kapodistrian University of Athens, University of Massachusetts Amherst, Institute of Electrical and Electronics Engineers, Alcatel-Lucent (France), The University of Texas at Austin
ORCID: 0000-0002-0499-0182
Observed ORCID: 0000-0002-0499-0182
OpenAlex ID: A5043949214
JCrasher: an automatic robustness tester for Java
2004 · Christoph Csallner, Yannis Smaragdakis · Software Practice and Experience · 435
MadMax: surviving out-of-gas conditions in Ethereum smart contracts
2018 · Neville Grech, Michael Kong, et al. · Proceedings of the ACM on Programming Languages · 380
PDF
Strictly declarative specification of sophisticated points-to analyses
2009 · Martin Bravenboer, Yannis Smaragdakis · Conference on Object-Oriented Programming Systems, Languages, and Applications · 347
Mixin layers
2002 · Yannis Smaragdakis, Don Batory · ACM Transactions on Software Engineering and Methodology · 318
Implementing layered designs with mixin layers
1998 · Yannis Smaragdakis, Don Batory · Lecture notes in computer science · 290
In defense of soundiness
2015 · Benjamin Livshits, Manu Sridharan, et al. · Communications of the ACM · 274
Strictly declarative specification of sophisticated points-to analyses
2009 · Martin Bravenboer, Yannis Smaragdakis · ACM SIGPLAN Notices · 234
Check 'n' crash
2005 · Christoph Csallner, Yannis Smaragdakis · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 221
JTS: tools for implementing domain-specific languages
2002 · D. Batory, B. Lofaso, et al. · International Conference on Software Reuse · 220
Pointer Analysis
2015 · Yannis Smaragdakis, George Balatsouras · Foundations and Trends® in Programming Languages · 219
Pick your contexts well
2011 · Yannis Smaragdakis, Martin Bravenboer, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 210
DySy
2008 · Christoph Csallner, Nikolai Tillmann, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 208
J-Orchestra: Automatic Java Application Partitioning
2002 · Eli Tilevich, Yannis Smaragdakis · Lecture notes in computer science · 199
Ethainter: a smart contract security analyzer for composite vulnerabilities
2020 · Lexi Brent, Neville Grech, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 181
Pick your contexts well
2011 · Yannis Smaragdakis, Martin Bravenboer, et al. · ACM SIGPLAN Notices · 169
Gigahorse: Thorough, Declarative Decompilation of Smart Contracts
2019 · Neville Grech, Lexi Brent, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 160
The case for compressed caching in virtual memory systems
1999 · Paul R. Wilson, Scott F. Kaplan, et al. · 148
Sound predictive race detection in polynomial time
2012 · Yannis Smaragdakis, Jacob Evans, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 146
Hybrid context-sensitivity for points-to analysis
2013 · George Kastrinis, Yannis Smaragdakis · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 142
EELRU
1999 · Yannis Smaragdakis, Scott Kaplan, et al. · ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS) · 141
PDF
DSD-Crasher
2008 · Christoph Csallner, Yannis Smaragdakis, et al. · ACM Transactions on Software Engineering and Methodology · 129
Sound predictive race detection in polynomial time
2012 · Yannis Smaragdakis, Jacob Evans, et al. · ACM SIGPLAN Notices · 127
Introspective analysis
2014 · Yannis Smaragdakis, George Kastrinis, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 119
J-Orchestra
2009 · Eli Tilevich, Yannis Smaragdakis · ACM Transactions on Software Engineering and Methodology · 113
P/Taint: unified points-to and taint analysis
2017 · Neville Grech, Yannis Smaragdakis · Proceedings of the ACM on Programming Languages · 106
PDF
Works count: 253
Citation count: 8,587
H-index: 49
I10-index: 110
Year
Topic
Type