D-Index & Metrics Best Publications

D-Index & Metrics

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 40 Citations 6,199 94 World Ranking 4609 National Ranking 2269

Research.com Recognitions

Awards & Achievements

2019 - Fellow of the Royal Academy of Engineering (UK)

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Algorithm
  • Operating system

His scientific interests lie mostly in Programming language, Program analysis, Separation logic, Symbolic execution and Heap. His Model checking and Predicate abstraction study, which is part of a larger body of work in Programming language, is frequently linked to Safety property, bridging the gap between disciplines. His Program analysis study combines topics from a wide range of disciplines, such as Termination analysis and Abstract interpretation.

His Separation logic research includes themes of Shape analysis, Memory safety and Proof search. Byron Cook has researched Symbolic execution in several fields, including Interface, Simulation and Data structure. Byron Cook interconnects Static analysis and Concurrency in the investigation of issues within Heap.

His most cited work include:

  • Thorough static analysis of device drivers (365 citations)
  • Termination proofs for systems code (323 citations)
  • SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft (242 citations)

What are the main themes of his work throughout his whole career to date?

Byron Cook spends much of his time researching Programming language, Theoretical computer science, Model checking, Formal verification and Formal methods. His study connects Gas meter prover and Programming language. His Theoretical computer science study also includes

  • Data structure that connect with fields like Separation logic,
  • Heap together with Symbolic execution.

His biological study spans a wide range of topics, including Program transformation, Software, Software engineering and Temporal logic. In his study, which falls under the umbrella issue of Formal verification, Key is strongly linked to Mathematical proof. Byron Cook studied Program analysis and Algorithm that intersect with Shape analysis.

He most often published in these fields:

  • Programming language (46.27%)
  • Theoretical computer science (29.10%)
  • Model checking (23.88%)

What were the highlights of his more recent work (between 2015-2021)?

  • Software engineering (13.43%)
  • Cloud computing (7.46%)
  • Amazon web services (8.21%)

In recent papers he was focusing on the following fields of study:

Byron Cook mainly investigates Software engineering, Cloud computing, Amazon web services, Model checking and Formal verification. His research integrates issues of Software, Mathematical proof and Code in his study of Software engineering. His Cloud computing study also includes fields such as

  • Access control that connect with fields like Formal methods,
  • Focus and Construct most often made with reference to Computer security,
  • Service and related Application security, Predicate abstraction, Security policy, Network security and Provisioning,
  • The Internet, which have a strong connection to Semantics and Encoding.

Programming language covers Byron Cook research in Model checking. The Liveness, Property, Class and Compiler research Byron Cook does as part of his general Programming language study is frequently linked to other disciplines of science, such as Architecture, therefore creating a link between diverse domains of science. His work carried out in the field of Formal verification brings together such families of science as Formal reasoning and Key.

Between 2015 and 2021, his most popular works were:

  • T2: Temporal Property Verification (34 citations)
  • Formal Reasoning About the Security of Amazon Web Services (27 citations)
  • Formal Reasoning About the Security of Amazon Web Services (27 citations)

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.

Best Publications

Thorough static analysis of device drivers

Thomas Ball;Ella Bounimova;Byron Cook;Vladimir Levin.
european conference on computer systems (2006)

521 Citations

Termination proofs for systems code

Byron Cook;Andreas Podelski;Andrey Rybalchenko.
programming language design and implementation (2006)

454 Citations

SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft

Thomas Ball;Byron Cook;Vladimir Levin;Sriram K. Rajamani.
integrated formal methods (2004)

390 Citations

Scalable Shape Analysis for Systems Code

Hongseok Yang;Oukseh Lee;Josh Berdine;Cristiano Calcagno.
computer aided verification (2008)

323 Citations

Shape analysis for composite data structures

Josh Berdine;Cristiano Calcagno;Byron Cook;Dino Distefano.
computer aided verification (2007)

279 Citations

TERMINATOR: beyond safety

Byron Cook;Andreas Podelski;Andrey Rybalchenko.
computer aided verification (2006)

163 Citations

SLAYER: memory safety for systems-level code

Josh Berdine;Byron Cook;Samin Ishtiaq.
computer aided verification (2011)

154 Citations

Automatic termination proofs for programs with shape-shifting heaps

Josh Berdine;Byron Cook;Dino Distefano;Peter W. O'Hearn.
computer aided verification (2006)

154 Citations

Local reasoning for storable locks and threads

Alexey Gotsman;Josh Berdine;Byron Cook;Noam Rinetzky.
asian symposium on programming languages and systems (2007)

152 Citations

Abstraction refinement for termination

Byron Cook;Andreas Podelski;Andrey Rybalchenko.
static analysis symposium (2005)

148 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Byron Cook

Daniel Kroening

Daniel Kroening

Amazon (United States)

Publications: 60

Andrey Rybalchenko

Andrey Rybalchenko

Microsoft (United States)

Publications: 31

Mooly Sagiv

Mooly Sagiv

Tel Aviv University

Publications: 30

Jürgen Giesl

Jürgen Giesl

RWTH Aachen University

Publications: 26

Aarti Gupta

Aarti Gupta

Princeton University

Publications: 22

Andreas Podelski

Andreas Podelski

University of Freiburg

Publications: 22

Peter W. O'Hearn

Peter W. O'Hearn

University College London

Publications: 22

Sumit Gulwani

Sumit Gulwani

Microsoft (United States)

Publications: 20

Shuvendu K. Lahiri

Shuvendu K. Lahiri

Microsoft (United States)

Publications: 18

Thomas Reps

Thomas Reps

University of Wisconsin–Madison

Publications: 18

Bart Jacobs

Bart Jacobs

Radboud University Nijmegen

Publications: 17

Hongseok Yang

Hongseok Yang

Korea Advanced Institute of Science and Technology

Publications: 16

Dirk Beyer

Dirk Beyer

Ludwig-Maximilians-Universität München

Publications: 16

Frank Piessens

Frank Piessens

KU Leuven

Publications: 16

Krishnendu Chatterjee

Krishnendu Chatterjee

Institute of Science and Technology Austria

Publications: 16

Eran Yahav

Eran Yahav

Technion – Israel Institute of Technology

Publications: 15

Something went wrong. Please try again later.