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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Byron Cook