CUFinder

Byron Cook

Byron Cook

University College London

H-index: 49

Europe-United Kingdom

Contact Byron Cook

About Byron Cook

Byron Cook, With an exceptional h-index of 49 and a recent h-index of 23 (since 2020), a distinguished researcher at University College London, specializes in the field of Programming languages, formal verification, program analysis, theory.

His recent articles reflect a diverse array of research interests and contributions to the field:

Partitioning Strategies for Distributed SMT Solving

Generating and exploiting automated reasoning proof certificates

Code‐level model checking in the software development workflow at Amazon web services

Using model checking tools to triage the severity of security bugs in the Xen hypervisor

Stratified abstraction of access control policies

Byron Cook Information

University

Position

Professor of Computer Science Amazon

Citations(all)

7182

Citations(since 2020)

1627

Cited By

6451

hIndex(all)

49

hIndex(since 2020)

23

i10Index(all)

80

i10Index(since 2020)

47

Email

University Profile Page

Google Scholar

Byron Cook Skills & Research Interests

Programming languages

formal verification

program analysis

theory

Top articles of Byron Cook

Partitioning Strategies for Distributed SMT Solving

CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2023

2023/10/24

Andrew Reynolds
Andrew Reynolds

H-Index: 22

Byron Cook
Byron Cook

H-Index: 25

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Clark Barrett
Clark Barrett

H-Index: 29

Generating and exploiting automated reasoning proof certificates

Communications of the ACM

2023/9/22

Haniel Barbosa
Haniel Barbosa

H-Index: 8

Clark Barrett
Clark Barrett

H-Index: 29

Byron Cook
Byron Cook

H-Index: 25

Aina Niemetz
Aina Niemetz

H-Index: 11

Andres Nötzli
Andres Nötzli

H-Index: 8

Mathias Preiner
Mathias Preiner

H-Index: 11

Andrew Reynolds
Andrew Reynolds

H-Index: 22

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Yoni Zohar
Yoni Zohar

H-Index: 5

Code‐level model checking in the software development workflow at Amazon web services

Software: Practice and Experience

2021/4

Byron Cook
Byron Cook

H-Index: 25

Konstantinos Kallas
Konstantinos Kallas

H-Index: 3

Michael Tautschnig
Michael Tautschnig

H-Index: 14

Using model checking tools to triage the severity of security bugs in the Xen hypervisor

2020

Byron Cook
Byron Cook

H-Index: 25

Norbert Manthey
Norbert Manthey

H-Index: 12

Michael Tautschnig
Michael Tautschnig

H-Index: 14

Stratified abstraction of access control policies

2020

Byron Cook
Byron Cook

H-Index: 25

Ranjit Jhala
Ranjit Jhala

H-Index: 31

See List of Professors in Byron Cook University(University College London)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine