bibliographer - Byron Cook

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Repair of Boolean Programs with an Application to C Andreas Griesmayer Roderick Bloem Byron Cook [github]

TERMINATOR: Beyond Safety Byron Cook Andreas Podelski Andrey Rybalchenko [github]

Proving Program Termination Byron Cook Andreas Podelski Andrey Rybalchenko [github]

Proving that programs eventually do something good Byron Cook Alexey Gotsman Andreas Podelski Andrey Rybalchenko Moshe Y. Vardi [github]

Formal Reasoning About the Security of Amazon Web Services Byron Cook [github]

T2: Temporal Property Verification Marc Brockschmidt Byron Cook Samin Ishtiaq Heidy Khlaaf Nir Piterman [github]

Ranking function synthesis for bit-vector relations Byron Cook Daniel Kroening Philipp Rümmer Christoph M. Wintersteiger [github]

Precision and the Conjunction Rule in Concurrent Separation Logic Alexey Gotsman Josh Berdine Byron Cook [github]

Verification of Boolean programs with unbounded thread creation Byron Cook Daniel Kroening Natasha Sharygina [github]

Thorough static analysis of device drivers Thomas Ball Ella Bounimova Byron Cook Vladimir Levin Jakob Lichtenberg Con McGarvey Bohus Ondrusek Sriram K. Rajamani Abdullah Ustuner [github]

Semantic-based Automated Reasoning for AWS Access Policies using SMT John Backes Pauline Bolignano Byron Cook Catherine Dodge Andrew Gacek Kasper Luckow Neha Rungta Oksana Tkachuk Carsten Varming [github]

Library Size: 13G (11 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]