H-Index & Metrics Best Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 37 Citations 7,718 120 World Ranking 5383 National Ranking 35

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Object-oriented programming

Yannis Smaragdakis spends much of his time researching Java, Programming language, Static analysis, Algorithm and Program analysis. His work on Software engineering expands to the thematically related Java. His work in Mixin, Data structure, Object-oriented programming, White-box testing and Manual testing are all subfields of Programming language research.

As a part of the same scientific family, Yannis Smaragdakis mostly works in the field of Object-oriented programming, focusing on Implementation and, on occasion, Scalability. His Static analysis research includes themes of Automated theorem proving, Component, Pointer and Static program analysis. While the research belongs to areas of Algorithm, Yannis Smaragdakis spends his time largely on the problem of Extended static checking, intersecting his research to questions surrounding False positive paradox, Usability and Data mining.

His most cited work include:

  • JCrasher: an automatic robustness tester for Java (372 citations)
  • Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs (274 citations)
  • Implementing Layered Designs with Mixin Layers (237 citations)

What are the main themes of his work throughout his whole career to date?

Programming language, Java, Static analysis, Theoretical computer science and Object-oriented programming are his primary areas of study. His Java course of study focuses on Heap and Set. His Static analysis research is multidisciplinary, incorporating elements of Program analysis, Soundness, Code, Algorithm and Speedup.

The concepts of his Program analysis study are interwoven with issues in False positive paradox and Scalability. His research integrates issues of Time complexity, Inference and Static program analysis in his study of Theoretical computer science. His work on Mixin as part of general Object-oriented programming research is frequently linked to Engineering drawing, thereby connecting diverse disciplines of science.

He most often published in these fields:

  • Programming language (52.81%)
  • Java (33.71%)
  • Static analysis (19.10%)

What were the highlights of his more recent work (between 2017-2020)?

  • Static analysis (19.10%)
  • Java (33.71%)
  • Programming language (52.81%)

In recent papers he was focusing on the following fields of study:

Yannis Smaragdakis focuses on Static analysis, Java, Programming language, Artifact and Scalability. His work deals with themes such as Heap, Computer engineering, Code, Benchmark and Speedup, which intersect with Static analysis. His Java research is multidisciplinary, incorporating perspectives in Feature, Machine code and Code generation.

In his works, Yannis Smaragdakis undertakes multidisciplinary study on Programming language and Mathematical proof. His Scalability research integrates issues from Program analysis and Decompiler. In his study, Algorithm is strongly linked to Pointer analysis, which falls under the umbrella field of Artificial intelligence.

Between 2017 and 2020, his most popular works were:

  • MadMax: surviving out-of-gas conditions in Ethereum smart contracts (122 citations)
  • Gigahorse: thorough, declarative decompilation of smart contracts (27 citations)
  • Scalability-first pointer analysis with self-tuning context-sensitivity (13 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Object-oriented programming

His scientific interests lie mostly in Static analysis, Exploit, Scalability, Heap and Java. His Static analysis study is related to the wider topic of Programming language. His studies deal with areas such as Theoretical computer science and Smart contract as well as Exploit.

His Scalability research incorporates elements of Program analysis and Parallel computing. The Heap study combines topics in areas such as Reflection and String analysis. His Java research includes elements of Logical rules, Code generation and Pointer analysis.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

JCrasher: an automatic robustness tester for Java

Christoph Csallner;Yannis Smaragdakis.
Software - Practice and Experience (2004)

564 Citations

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

Yannis Smaragdakis;Don Batory.
ACM Transactions on Software Engineering and Methodology (2002)

430 Citations

Implementing Layered Designs with Mixin Layers

Y. Smaragdakis;D. Batory.
european conference on object oriented programming (1998)

401 Citations

Strictly declarative specification of sophisticated points-to analyses

Martin Bravenboer;Yannis Smaragdakis.
conference on object-oriented programming systems, languages, and applications (2009)

324 Citations

Check 'n' crash: combining static checking and testing

Christoph Csallner;Yannis Smaragdakis.
international conference on software engineering (2005)

294 Citations

J-Orchestra: Automatic Java Application Partitioning

Eli Tilevich;Yannis Smaragdakis.
european conference on object oriented programming (2002)

294 Citations

JTS: tools for implementing domain-specific languages

D. Batory;B. Lofaso;Y. Smaragdakis.
international conference on software reuse (1998)

286 Citations

Pick your contexts well: understanding object-sensitivity

Yannis Smaragdakis;Martin Bravenboer;Ondrej Lhoták.
symposium on principles of programming languages (2011)

284 Citations

DSD-Crasher: A hybrid analysis tool for bug finding

Christoph Csallner;Yannis Smaragdakis;Tao Xie.
ACM Transactions on Software Engineering and Methodology (2008)

275 Citations

DySy: dynamic symbolic execution for invariant inference

Christoph Csallner;Nikolai Tillmann;Yannis Smaragdakis.
international conference on software engineering (2008)

228 Citations

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

Contact us

Best Scientists Citing Yannis Smaragdakis

Sven Apel

Sven Apel

Saarland University

Publications: 59

Don Batory

Don Batory

The University of Texas at Austin

Publications: 48

Gunter Saake

Gunter Saake

Otto-von-Guericke University Magdeburg

Publications: 42

Christian Kästner

Christian Kästner

Carnegie Mellon University

Publications: 35

Jingling Xue

Jingling Xue

UNSW Sydney

Publications: 34

Tao Xie

Tao Xie

Peking University

Publications: 32

Gordon Fraser

Gordon Fraser

University of Passau

Publications: 31

Michael D. Ernst

Michael D. Ernst

University of Washington

Publications: 27

Bertrand Meyer

Bertrand Meyer

Schaffhausen Institute of Technology

Publications: 27

Mira Mezini

Mira Mezini

TU Darmstadt

Publications: 24

Eelco Visser

Eelco Visser

Delft University of Technology

Publications: 19

Nikolai Tillmann

Nikolai Tillmann

Facebook (United States)

Publications: 18

Sarfraz Khurshid

Sarfraz Khurshid

The University of Texas at Austin

Publications: 18

Maged M. Michael

Maged M. Michael

Facebook (United States)

Publications: 18

Koushik Sen

Koushik Sen

University of California, Berkeley

Publications: 17

Darko Marinov

Darko Marinov

University of Illinois at Urbana-Champaign

Publications: 16

Something went wrong. Please try again later.