Byron Cook

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Model checking boot code from AWS data centers	2021-08-30	Paper
Stratified abstraction of access control policies	2021-02-04	Paper
Fairness for Infinite-State Systems	2019-09-17	Paper
Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems	2018-05-17	Paper
On automation of \(\mathsf{CTL}^*\) verification for infinite-state systems	2018-03-01	Paper
Precision and the Conjunction Rule in Concurrent Separation Logic	2016-07-15	Paper
Spatial Interpolants	2016-04-26	Paper
Proving that non-blocking algorithms don't block	2015-07-03	Paper
Proving termination of nonlinear command sequences	2014-11-11	Paper
Variance analyses from invariance analyses	2014-09-12	Paper
Proving that programs eventually do something good	2014-09-12	Paper
Ranking function synthesis for bit-vector relations	2014-06-30	Paper
Making prophecies with decision predicates	2014-04-10	Paper
Temporal property verification as a program analysis task	2014-03-28	Paper
Ramsey vs. Lexicographic Termination Proving	2013-08-05	Paper
Tractable Reasoning in a Fragment of Separation Logic	2011-09-02	Paper
Proving Stabilization of Biological Systems	2011-02-15	Paper
Ranking Function Synthesis for Bit-Vector Relations	2010-04-27	Paper
Computer Aided Verification	2010-04-20	Paper
Summarization for termination: No return!	2010-02-05	Paper
Interprocedural Shape Analysis with Separated Heap Abstractions	2009-03-12	Paper
Arithmetic Strengthening for Shape Analysis	2009-03-03	Paper
Proving Conditional Termination	2008-07-15	Paper
Scalable Shape Analysis for Systems Code	2008-07-15	Paper
Local Reasoning for Storable Locks and Threads	2008-05-15	Paper
Ranking Abstractions	2008-04-11	Paper
Verification of Boolean programs with unbounded thread creation	2007-12-18	Paper
Shape Analysis for Composite Data Structures	2007-11-29	Paper
Predicate Abstraction via Symbolic Decision Procedures	2007-10-11	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Automatic Termination Proofs for Programs with Shape-Shifting Heaps	2007-09-05	Paper
Repair of Boolean Programs with an Application to C	2007-09-05	Paper
Shape Analysis by Graph Decomposition	2007-09-03	Paper
Model Checking Software	2006-11-01	Paper
Static Analysis	2006-10-31	Paper
Computer Aided Verification	2006-01-10	Paper
Computer Aided Verification	2006-01-10	Paper
Computer Aided Verification	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4787252	2003-01-09	Paper

Research outcomes over time

This page was built for person: Byron Cook