What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Object-oriented programming
His scientific interests lie mostly in Programming language, Java, Object-oriented programming, Real time Java and The Internet.
His work in Programming language is not limited to one particular discipline; it also encompasses Benchmark.
The Java study combines topics in areas such as Virtual machine, Software, Encapsulation and Scalability.
His Object-oriented programming research is multidisciplinary, incorporating elements of Compiler, Distributed computing, Object, Semantics and Semantics.
While the research belongs to areas of Real time Java, Jan Vitek spends his time largely on the problem of Programming paradigm, intersecting his research to questions surrounding Application programming interface, Software design pattern, Partition, Soundness and Memory model.
His The Internet research incorporates themes from Mobile agent and Internet privacy.
His most cited work include:
- An analysis of the dynamic behavior of JavaScript programs (308 citations)
- Flexible Alias Protection (302 citations)
- STMBench7: a benchmark for software transactional memory (193 citations)
What are the main themes of his work throughout his whole career to date?
His primary areas of study are Programming language, Java, Real time Java, Operating system and Compiler.
His studies examine the connections between Programming language and genetics, as well as such issues in Code, with regards to JavaScript.
His research in Java intersects with topics in Software engineering, Virtual machine, Distributed computing and Garbage collection.
His Distributed computing research is mostly focused on the topic Mobile agent.
His work deals with themes such as Scala and Java applet, which intersect with Real time Java.
His Compiler study typically links adjacent topics like Correctness.
He most often published in these fields:
- Programming language (47.79%)
- Java (28.51%)
- Real time Java (15.66%)
What were the highlights of his more recent work (between 2015-2021)?
- Programming language (47.79%)
- Compiler (13.25%)
- Code (8.03%)
In recent papers he was focusing on the following fields of study:
His primary areas of investigation include Programming language, Compiler, Code, Optimizing compiler and Garbage collection.
His research combines Type and Programming language.
His study in Compiler is interdisciplinary in nature, drawing from both Matching and Reference implementation.
His Code research includes themes of Overhead, Programming paradigm, Speedup and Source code.
His research integrates issues of Machine code, Formal semantics, Programmer, Static analysis and eval in his study of Optimizing compiler.
He interconnects Synchronization, Scalability and Message passing in the investigation of issues within Garbage collection.
Between 2015 and 2021, his most popular works were:
- DéjàVu: a map of code duplicates on GitHub (75 citations)
- Is sound gradual typing dead (62 citations)
- Julia: dynamism and performance reconciled by design (23 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Object-oriented programming
Jan Vitek mainly investigates Programming language, Gradual typing, Type, Code and Semantics.
Compiler, Optimizing compiler, Multiple dispatch, Machine code and R Programming Language are among the areas of Programming language where Jan Vitek concentrates his study.
As a part of the same scientific study, Jan Vitek usually deals with the Compiler, concentrating on Correctness and frequently concerns with Compiler correctness.
His Optimizing compiler research is multidisciplinary, incorporating perspectives in Reflection, Primitive data type, Dataflow and Static program analysis.
His study connects Implementation and Gradual typing.
The study incorporates disciplines such as Large set, Relation, Tuple and Subtyping in addition to Semantics.
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.
