What is he best known for?
The fields of study he is best known for:
- Programming language
- Algorithm
- Operating system
His main research concerns Theoretical computer science, Programming language, Algorithm, Program slicing and Debugging.
His Theoretical computer science research is mostly focused on the topic Abstract interpretation.
His work carried out in the field of Algorithm brings together such families of science as Value, Data flow diagram and Regular language.
The study incorporates disciplines such as Context and Reachability in addition to Program slicing.
Thomas Reps works mostly in the field of Reachability, limiting it down to topics relating to Finite set and, in certain cases, Set and Dataflow.
His work in Debugging addresses issues such as Executable, which are connected to fields such as High-level programming language and x86.
His most cited work include:
- Interprocedural slicing using dependence graphs (1356 citations)
- Precise interprocedural dataflow analysis via graph reachability (908 citations)
- Parametric shape analysis via 3-valued logic (735 citations)
What are the main themes of his work throughout his whole career to date?
Thomas Reps mostly deals with Programming language, Theoretical computer science, Algorithm, Abstract interpretation and Program analysis.
Semantics, Static analysis, Source code, Compiler and Machine code are subfields of Programming language in which his conducts study.
His Source code research integrates issues from Executable and Code.
His Theoretical computer science study combines topics from a wide range of disciplines, such as Correctness, Set and Program slicing.
His research in Program slicing is mostly concerned with Program Dependence Graph.
His study on Abstract interpretation is mostly dedicated to connecting different topics, such as Shape analysis.
He most often published in these fields:
- Programming language (38.81%)
- Theoretical computer science (34.23%)
- Algorithm (15.90%)
What were the highlights of his more recent work (between 2017-2021)?
- Programming language (38.81%)
- Static analysis (9.97%)
- Theoretical computer science (34.23%)
In recent papers he was focusing on the following fields of study:
His scientific interests lie mostly in Programming language, Static analysis, Theoretical computer science, Probabilistic logic and Recursion.
His work deals with themes such as Space and Usability, which intersect with Programming language.
His Static analysis research incorporates elements of Abstraction, Algorithm, Metadata and Representation.
His Theoretical computer science research incorporates themes from Adversary and Robustness.
His study in Probabilistic logic is interdisciplinary in nature, drawing from both Algebraic number, Protocol, Dataflow, Control flow and Coroutine.
His Recursion research includes themes of Semantics, Program analysis, Exponential function and Benchmark.
Between 2017 and 2021, his most popular works were:
- Code vectors: understanding programs through embedded abstracted symbolic traces (31 citations)
- Non-Linear Reasoning For Invariant Synthesis (30 citations)
- PMAF: an algebraic framework for static analysis of probabilistic programs (21 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Algorithm
- Operating system
Thomas Reps mainly focuses on Programming language, Code, Benchmark, Representation and Algebraic number.
His primary area of study in Programming language is in the field of Assertion.
His Code study integrates concerns from other disciplines, such as Symbolic execution, Embedding, Word, Linux kernel and Robustness.
The concepts of his Benchmark study are interwoven with issues in Program analysis, Graph, Correctness, Dataflow and Recursion.
His Representation research is multidisciplinary, incorporating elements of Rational number, Simple, Automated reasoning and Class.
As a part of the same scientific family, he mostly works in the field of Algebraic number, focusing on Regular expression and, on occasion, 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.
