World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
46
Citations
9391
World Ranking
6807
National Ranking
46

Overview

Yannis Smaragdakis is affiliated with the National and Kapodistrian University of Athens in Greece. Their research predominantly focuses on the field of Computer Science, with particular attention to Information Systems and Artificial Intelligence. Other areas of study include Signal Processing, Software, and Computer Networks and Communications.

The scientist's work covers multiple main topics, emphasizing Software Engineering Research and Advanced Malware Detection Techniques. Additional focal points in their research include Security and Verification in Computing, Blockchain Technology Applications and Security, Digital and Cyber Forensics, Software Testing and Debugging Techniques, and Cryptography and Data Security.

Yannis Smaragdakis has published extensively, including these recent papers:

  • A Principled Approach to Selective Context Sensitivity for Pointer Analysis, 2020, ACM Transactions on Programming Languages and Systems
  • MadMax, 2020, Communications of the ACM
  • Static Analysis of Shape in TensorFlow Programs, 2020, Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • Making pointer analysis more precise by unleashing the power of selective context sensitivity, 2021, Proceedings of the ACM on Programming Languages
  • Elipmoc: advanced decompilation of Ethereum smart contracts, 2022, Proceedings of the ACM on Programming Languages

The scientist frequently publishes in venues such as Proceedings of the ACM on Programming Languages, Leibniz-Zentrum für Informatik (Schloss Dagstuhl), Artifact Digital Object Group, arXiv (Cornell University), and Zenodo (CERN European Organization for Nuclear Research).

Their frequent collaborators include Neville Grech, Sifis Lagouvardos, George Fourtounis, Anastasios Antoniadis, and Ilias Tsatiris.

Best Publications

  • JCrasher: an automatic robustness tester for Java

    Christoph Csallner;Yannis Smaragdakis

  • Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs

    Yannis Smaragdakis;Don Batory

  • Implementing layered designs with mixin layers

    Y. Smaragdakis;D. Batory

  • Strictly declarative specification of sophisticated points-to analyses

    Martin Bravenboer;Yannis Smaragdakis

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

    Neville Grech;Michael Kong;Anton Jurisevic;Lexi Brent

  • Check 'n' crash: combining static checking and testing

    Christoph Csallner;Yannis Smaragdakis

  • In defense of soundiness: a manifesto

    Benjamin Livshits;Manu Sridharan;Yannis Smaragdakis;Ondřej Lhoták

  • Pick your contexts well: understanding object-sensitivity

    Yannis Smaragdakis;Martin Bravenboer;Ondrej Lhoták

  • J-Orchestra: Automatic Java application partitioning

    Eli Tilevich;Yannis Smaragdakis

  • DySy: dynamic symbolic execution for invariant inference

    Christoph Csallner;Nikolai Tillmann;Yannis Smaragdakis

  • DSD-Crasher: A hybrid analysis tool for bug finding

    Christoph Csallner;Yannis Smaragdakis;Tao Xie

  • JTS: tools for implementing domain-specific languages

    D. Batory;B. Lofaso;Y. Smaragdakis

  • EELRU: simple and effective adaptive page replacement

    Yannis Smaragdakis;Scott Kaplan;Paul Wilson

  • The case for compressed caching in virtual memory systems

    Paul R. Wilson;Scott F. Kaplan;Yannis Smaragdakis

  • Sound predictive race detection in polynomial time

    Yannis Smaragdakis;Jacob Evans;Caitlin Sadowski;Jaeheon Yi

  • Hybrid context-sensitivity for points-to analysis

    George Kastrinis;Yannis Smaragdakis

  • Object-Oriented Frameworks and Product Lines

    Don S. Batory;Richard Cardone;Yannis Smaragdakis

  • Pointer Analysis

    Yannis Smaragdakis;George Balatsouras

  • Adaptive Caches: Effective Shaping of Cache Behavior to Workloads

    Ranjith Subramanian;Yannis Smaragdakis;Gabriel H. Loh

  • Introspective analysis: context-sensitivity, across the board

    Yannis Smaragdakis;George Kastrinis;George Balatsouras

Frequent Co-Authors

Don Batory
Don Batory The University of Texas at Austin
Anders Møller
Anders Møller Aarhus University
Neil Immerman
Neil Immerman University of Massachusetts Amherst
Isil Dillig
Isil Dillig The University of Texas at Austin
Elizabeth D. Mynatt
Elizabeth D. Mynatt Northeastern University
Blair MacIntyre
Blair MacIntyre Georgia Institute of Technology
Manu Sridharan
Manu Sridharan University of California, Riverside
Eelco Visser
Eelco Visser Delft University of Technology
Frank Pfenning
Frank Pfenning Carnegie Mellon University
Julian Dolby
Julian Dolby IBM (United States)

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA can open doors to a range of online degree options and career paths. For those looking to enhance their technical expertise while balancing other commitments, a most affordable online masters in computer science or related fields can be a smart financial and academic choice. Online master’s programs offer flexibility and can be more cost-effective than traditional on-campus options.

If you’re just starting out or aiming for a quicker route into the workforce, an associate degree in 6 months online could provide foundational knowledge and a pathway to entry-level tech positions. For those interested in leadership or academic roles, pursuing a phd in leadership and management online or a edd in educational leadership are robust options to develop strategic and organizational skills.

Each of these pathways provides a different route toward career advancement in technology and leadership, allowing you to select the program that best fits your goals, timeline, and budget.

Best Scientists Citing Yannis Smaragdakis

Trending Scientists