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.
