What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Compiler
Peter Sewell mostly deals with Programming language, Semantics, Memory model, Concurrency and Compiler.
In his research, Peter Sewell performs multidisciplinary study on Programming language and Constraint.
His Semantics study which covers Computer programming that intersects with Abstract machine and x86.
His work carried out in the field of Memory model brings together such families of science as Axiom, Theoretical computer science and Distributed memory.
In his study, Thread, Concurrent computing, Programmer, Concurrent data structure and Multiprocessing is strongly linked to Correctness, which falls under the umbrella field of Concurrency.
In his study, System programming and Data structure is inextricably linked to Shared memory, which falls within the broad field of Compiler.
His most cited work include:
- x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors (313 citations)
- A Better x86 Memory Model: x86-TSO (277 citations)
- Mechanized metatheory for the masses: the PoplMark challenge (269 citations)
What are the main themes of his work throughout his whole career to date?
Peter Sewell mainly focuses on Programming language, Semantics, Concurrency, Theoretical computer science and Operational semantics.
His Programming language research includes themes of Memory model and Semantics.
Peter Sewell works mostly in the field of Memory model, limiting it down to concerns involving Axiom and, occasionally, Set.
His Semantics research is multidisciplinary, incorporating perspectives in Process calculus, Computer programming, Bisimulation, Code and Abstract machine.
His biological study spans a wide range of topics, including Software, Concurrent computing, Executable and Shared memory.
His work deals with themes such as Marshalling and Denotational semantics, which intersect with Theoretical computer science.
He most often published in these fields:
- Programming language (57.58%)
- Semantics (29.55%)
- Concurrency (26.52%)
What were the highlights of his more recent work (between 2013-2021)?
- Programming language (57.58%)
- Concurrency (26.52%)
- Semantics (29.55%)
In recent papers he was focusing on the following fields of study:
His primary areas of study are Programming language, Concurrency, Semantics, Executable and Software.
His Programming language research includes elements of Semantics and Code.
The Concurrency study combines topics in areas such as Memory model and Axiom.
In general Semantics, his work in Operational semantics is often linked to Power linking many areas of study.
Peter Sewell combines subjects such as Pseudocode, Concurrent computing, Correctness, Oracle and Formal specification with his study of Executable.
His Software study combines topics in areas such as Instruction set and Formal proof.
Between 2013 and 2021, his most popular works were:
- Modelling the ARMv8 architecture, operationally: concurrency and ISA (94 citations)
- The Problem of Programming Language Concurrency Semantics (75 citations)
- Lem: reusable engineering of real-world semantics (57 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Compiler
His primary scientific interests are in Programming language, Concurrency, Executable, Semantics and Memory model.
His Programming language research focuses on Semantics and how it relates to HOL.
In his study, ARM architecture, Dependency and Formal semantics is inextricably linked to Axiom, which falls within the broad field of Concurrency.
His study explores the link between Executable and topics such as Correctness that cross with problems in Dependent type, Formal verification, Software, Instruction set and Pseudocode.
His Semantics study incorporates themes from RISC-V, Soundness and Software development.
Peter Sewell has researched Memory model in several fields, including De facto standard and Oracle.
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.
