What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Algorithm
Reinhard Wilhelm mostly deals with Cache, Abstract interpretation, Shape analysis, Theoretical computer science and Static analysis.
His work in Cache tackles topics such as Branch predictor which are related to areas like Process, Probabilistic timing analysis, Application software and Pipeline.
As a part of the same scientific study, Reinhard Wilhelm usually deals with the Abstract interpretation, concentrating on Semantics and frequently concerns with Basis.
His work carried out in the field of Shape analysis brings together such families of science as Alias analysis, Data structure and Pointer analysis.
To a larger extent, Reinhard Wilhelm studies Programming language with the aim of understanding Static analysis.
Reinhard Wilhelm is interested in Microarchitecture, which is a field of Parallel computing.
His most cited work include:
- The worst-case execution-time problem—overview of methods and survey of tools (1487 citations)
- Parametric shape analysis via 3-valued logic (735 citations)
- Solving shape-analysis problems in languages with destructive updating (300 citations)
What are the main themes of his work throughout his whole career to date?
Reinhard Wilhelm mainly focuses on Programming language, Theoretical computer science, Abstract interpretation, Compiler and Parallel computing.
His works in Compiler construction, Semantics, Fifth-generation programming language, Second-generation programming language and Functional programming are all subjects of inquiry into Programming language.
His research in Theoretical computer science tackles topics such as Algorithm which are related to areas like Real-time operating system.
His Abstract interpretation research includes themes of Program analysis, Computer engineering, Set, Model checking and Static analysis.
The Static analysis study which covers Static program analysis that intersects with Artificial intelligence.
His studies in Cache, Cache algorithms and Microarchitecture are all subfields of Parallel computing research.
He most often published in these fields:
- Programming language (26.13%)
- Theoretical computer science (18.02%)
- Abstract interpretation (13.96%)
What were the highlights of his more recent work (between 2011-2021)?
- Distributed computing (7.21%)
- Static timing analysis (9.01%)
- Humanities (3.15%)
In recent papers he was focusing on the following fields of study:
His primary scientific interests are in Distributed computing, Static timing analysis, Humanities, Real-time computing and Operating system.
His Distributed computing research incorporates elements of Systems design, Performance prediction, Shared resource and Embedded system.
In his study, which falls under the umbrella issue of Embedded system, Compiler is strongly linked to Profiling.
His Static timing analysis research is multidisciplinary, relying on both Independence, Principle of compositionality and Set.
The study incorporates disciplines such as Domain and Pipeline in addition to Real-time computing.
His research investigates the connection with Static analysis and areas like Abstract interpretation which intersect with concerns in Task analysis.
Between 2011 and 2021, his most popular works were:
- Building timing predictable embedded systems (85 citations)
- Towards compositionality in execution time analysis: definition and challenges (58 citations)
- Impact of resource sharing on performance and performance prediction: a survey (36 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Algorithm
Distributed computing, Static timing analysis, Real-time computing, Systems design and Programming language are his primary areas of study.
His biological study spans a wide range of topics, including Failure mode and effects analysis and Source code.
His Static timing analysis research incorporates themes from Independence, Context, Task and Principle of compositionality.
Reinhard Wilhelm has researched Real-time computing in several fields, including Domain, Pipeline and Memory hierarchy.
He has included themes like Multithreading, Computer architecture and Multi-core processor in his Systems design study.
His Programming language course of study focuses on Transformation and Semantics and Static 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.
