What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Algorithm
Jens Palsberg mostly deals with Programming language, Theoretical computer science, Type inference, Inference and Algorithm.
His work on Programming language deals in particular with Inheritance, Compiler, Object-oriented programming, Java and Programming paradigm.
His research integrates issues of Context and Scalability in his study of Java.
His Theoretical computer science study integrates concerns from other disciplines, such as Time complexity, Set, Subtyping and Operational semantics.
His Type inference research includes elements of Graph and Programmer.
The concepts of his Inference study are interwoven with issues in Simple, Isolation and Lambda calculus.
His most cited work include:
- Avrora: scalable sensor network simulation with precise timing (602 citations)
- Modern Compiler Implementation in Java (413 citations)
- Object-oriented type inference (286 citations)
What are the main themes of his work throughout his whole career to date?
His primary areas of study are Programming language, Theoretical computer science, Type inference, Compiler and Algorithm.
His study in Java, Compiler construction, Compiler correctness, Object-oriented programming and Correctness is carried out as part of his studies in Programming language.
In his research on the topic of Object-oriented programming, Substitution is strongly related with Inheritance.
In his study, Semantics is strongly linked to Program analysis, which falls under the umbrella field of Theoretical computer science.
His Type inference study which covers Subtyping that intersects with Type and Recursive data type.
As part of one scientific family, Jens Palsberg deals mainly with the area of Compiler, narrowing it down to issues related to the Parallel computing, and often Register allocation.
He most often published in these fields:
- Programming language (41.04%)
- Theoretical computer science (25.10%)
- Type inference (19.52%)
What were the highlights of his more recent work (between 2009-2020)?
- Programming language (41.04%)
- Deadlock (3.98%)
- Java (11.95%)
In recent papers he was focusing on the following fields of study:
His primary areas of investigation include Programming language, Deadlock, Java, Theoretical computer science and Algorithm.
Programming language and Memory model are two areas of study in which Jens Palsberg engages in interdisciplinary work.
His study looks at the relationship between Deadlock and topics such as Concurrency, which overlap with Just-in-time compilation, Compiler correctness, Object-oriented programming, Tracing and Profiling.
His Java research incorporates elements of Scalability, Concurrent data structure, Data structure, Atomicity and Code refactoring.
The study incorporates disciplines such as Compiler, Time complexity, Computation, Heuristic and Decision problem in addition to Theoretical computer science.
His Algorithm research includes themes of Liveness, Normalization and Lambda calculus.
Between 2009 and 2020, his most popular works were:
- Concurrent Collections (128 citations)
- Featherweight X10: a core calculus for async-finish parallelism (69 citations)
- Sherlock: scalable deadlock detection for concurrent programs (45 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Algorithm
Jens Palsberg mainly investigates Programming language, Concurrency, Deadlock, Java and Distributed computing.
His Programming language research integrates issues from Determinism, Type and Data parallelism.
His research in Concurrency intersects with topics in Compiler and Parallel computing.
His Deadlock research is multidisciplinary, relying on both Correctness, Static analysis, Parallel algorithm, Type inference and Calculus.
Jens Palsberg usually deals with Java and limits it to topics linked to Exponential number and Theoretical computer science and Decidability.
Jens Palsberg studied Theoretical computer science and Reduction that intersect with Programming paradigm.
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.
