Byron Cook (@byroncook) profile picture

Byron Cook

@byroncook

logic, math, proof, computation

www0.cs.ucl.ac.uk/staff/b.cook/
Joined February 2009
  • Tweets163
  • Following8
  • Followers1.7K
32Media
Photo by Byron Cook (@byroncook)Photo by Byron Cook (@byroncook)Photo by Byron Cook (@byroncook)Photo by Byron Cook (@byroncook)Photo by Byron Cook (@byroncook)Photo by Byron Cook (@byroncook)Photo by Byron Cook (@byroncook)Photo by Byron Cook (@byroncook)Photo by Byron Cook (@byroncook)
I gave a talk at Univ. of Washington last week that I'm pretty happy with. youtube.com/watch?v=zoE3Dqgl…
On Making Mathematic Proof a Business: Byron Cook

On Making Mathematic Proof a Business: Byron Cook

Distinguished Lecture SeriesTitle: On Making Mathematic Proof a Bu...

youtube.com
2
12
1
65
7,925
mitpress.mit.edu/97802625462…
Program Proofs

Program Proofs

Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to writ...

mitpress.mit.edu
1
6
1
31
4,847
dafny.org/blog/2023/03/03/da…

Dafny 4 is released

News and education materials from the Dafny maintainers and guests.

dafny.org
2
17
1,856
Byron Cook retweeted
reto (@oter) profile picture
reto@oter27 Oct 2022
Great post illustrating how you can get even more from existing fuzz tests, and build on that expertise to go even further. Cool work by @ukonat, and teams!
Adrian Palacios (@ukonat) profile pictureAdrian Palacios@ukonat27 Oct 2022
Bolero is a property-testing framework that allows users to test Rust code with multiple fuzzing engines. Interesting, right? In our latest post, we discuss the integration of Kani, our open-source formal verification tool, in the Bolero framework 🦀🛠️ model-checking.github.io/kan…

From Fuzzing to Proof: Using Kani with the Bolero Property-Testing Framework

Today we’re going to talk about how you can use fuzzing and verification in a unified framework, which is enabled by the integration of the Kani Rust Verifier in Bolero. Bolero is a property-testing...

model-checking.github.io
1
5
Amazon researchers and engineers gathered for the annual Amazon Formal Reasoning Enthusiasts (FReE) workshop to discuss formal methods tools that improve quality of Amazon software and customer experience. 🙌
Image from Amazon Science (@AmazonScience)
3
14
6
83
amazon.science/blog/a-billio…
A billion SMT queries a day

A billion SMT queries a day

CAV keynote lecture by the director of applied science for AWS Identity explains how AWS is making the power of automated reasoning available to all customers.

amazon.science
7
16
CAV'22 award goes to predicate abstraction: Construction of abstract state graphs with PVS. S Graf, H Saïdi CAV 97, 72-83, 1997. Susanne receiving the award @FLoC2022 from Orna (CAV'97 chair here in Haifa). Very much deserved! Congratulations!
Image from Armin Biere (@ArminBiere)
2
11
3
79
Byron Cook retweeted
Joey Dodds (@n1nj4) profile picture
Joey Dodds@n1nj48 Aug 2022
I'm one week in as an applied scientist at @awscloud. Automated reasoning for cryptography and systems already... This is going to be fun!
1
3
37
As @FLoC2022 begins its second week, Amazon automated-reasoning leaders @byroncook, @DiffKroening & Marijn Heule discuss decomposing complex problems into instances of SAT, integrating formal methods into software development, cloud-based SAT solvers, and more. #FLoC2022

5
3
14
amazon.science/blog/automate…
Automated reasoning at Amazon: A conversation

Automated reasoning at Amazon: A conversation

To mark the occasion of the eighth Federated Logic Conference (FloC), Amazon’s Byron Cook, Daniel Kröning, and Marijn Heule discussed automated reasoning’s prospects.

amazon.science
1
5
Great talk from Neha who runs our AWS Identity Automated Reasoning team
Neha (@neharungta) profile pictureNeha@neharungta8 Aug 2022
Watch my CAV 2022 Keynote, "A Billion SMT Queries a Day" youtu.be/zT8E4kMY4cM @FLoC2022 @AWSIdentity
1
2
14
Byron Cook retweeted
Neha (@neharungta) profile picture
Neha@neharungta8 Aug 2022
Watch my CAV 2022 Keynote, "A Billion SMT Queries a Day" youtu.be/zT8E4kMY4cM @FLoC2022 @AWSIdentity
2
21
3
79
Thanks to @udopia I got hold of some plots of the SAT competition. While the main track deteriorated to a Kissat hack track (the plot only shows top ten solvers all with Kissat genes), but we saw substantial improvement for parallel/cloud solvers @thesatconf
Image from Armin Biere (@ArminBiere)
Image from Armin Biere (@ArminBiere)
Image from Armin Biere (@ArminBiere)
5
4
1
36
New post on the Kani blog! This time, we apply Kani to an example from Firecracker, an open source virtualization project for serverless applications 🦀🔍🔥 model-checking.github.io/kan…

Using the Kani Rust Verifier on a Firecracker Example

In this post we’ll apply the Kani Rust Verifier (or Kani for short), our open-source formal verification tool that can prove properties about Rust code, to an example from Firecracker, an open source...

model-checking.github.io
12
1
36
amazon.science/research-awar…
75 Amazon Research Awards recipients announced

75 Amazon Research Awards recipients announced

The awardees represent 52 universities in 17 countries. Recipients have access to more than 300 Amazon public datasets, and can utilize AWS AI/ML services and tools.

amazon.science
7
Multiple jobs, multiple locations: amazon.jobs/en/jobs/2094657/…
4
7
github.com/aws/aws-encryptio…
GitHub - aws/aws-encryption-sdk: AWS Encryption SDK

GitHub - aws/aws-encryption-sdk: AWS Encryption SDK

AWS Encryption SDK. Contribute to aws/aws-encryption-sdk development by creating an account on GitHub.

github.com
3
18
model-checking.github.io/kan…

Announcing the Kani Rust Verifier Project

The Kani Rust Verifier (Kani) is an open-source automated reasoning tool that proves properties about Rust code. This is the project website: news, blog, projects, and research.

model-checking.github.io
15
27
A new world-class institution is born today: insait.ai/
11
Byron Cook retweeted
Werner Vogels (@Werner) profile picture
Werner Vogels
@Werner15 Mar 2022
Curious about automated reasoning - The next episode of the Curiosity series where we dive into Automated Reasoning and Formal Verification with @byroncook allthingsdistributed.com/202… - #aws #allthingsdistributed
Curious about automated reasoning

Curious about automated reasoning

Diving into Automated Reasoning and Formal Verification with Dr. Byron Cook in this new video series for those Curious about new technologies

allthingsdistributed.com
1
14
5
47
Load more