Byron Cook

Identifiers

• name variant Byron Cook 0.60 · backfill

Papers (5)

1. Verifying the Rust Standard Library cs.LO · 2026 · author #1
2. Learning How to Cube cs.LG · 2026 · author #6
3. T2: Temporal Property Verification cs.LO · 2015 · author #2
4. Spatial Interpolants cs.LO · 2015 · author #3
5. Predicate Abstraction via Symbolic Decision Procedures cs.LO · 2006 · author #3

Mentions

• 2606.17374 #1 · arxiv_oai · confidence 0.70 Byron Cook
• 1501.04100 #3 · backfill · confidence 0.70 Byron Cook
• 2605.16632 #6 · arxiv_oai · confidence 0.70 Byron Cook

Frequent Coauthors

• Aws Albarghouthi 1 shared papers
• Bart Jacobs 1 shared papers
• Carolyn Zech 1 shared papers
• Celina Val 1 shared papers
• Felipe R. Monteiro 1 shared papers
• Ferhat Erata 1 shared papers
• Heidy Khlaaf 1 shared papers
• Josh Berdine 1 shared papers
• Marc Brockschmidt 1 shared papers
• Michael Tautschnig 1 shared papers
• Nir Piterman 1 shared papers
• Rahul Kumar 1 shared papers
• Ranjit Jhala 1 shared papers
• Rebecca Rumbul 1 shared papers
• Remi Delmas 1 shared papers
• Robert B. Jones 1 shared papers
• Ruzica Piskac 1 shared papers
• Samin Ishtiaq 1 shared papers
• Sam Kouteili 1 shared papers
• Shuvendu K. Lahiri 1 shared papers