William R. Cook
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Binary-Compatible Verification of Filesystems with ACL2 | 2023-02-03 | Paper |
| Separation logic-based verification atop a binary-compatible filesystem model | 2021-07-08 | Paper |
| A virtual class calculus Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-08-21 | Paper |
| Extracting queries by static analysis of transparent persistence Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| Functional programming with structured graphs Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| MRI: modular reasoning about interference in incremental programming Journal of Functional Programming | 2013-06-28 | Paper |
| Theory and techniques for synthesizing efficient breadth-first search algorithms FM 2012: Formal Methods | 2012-11-08 | Paper |
| A class of greedy algorithms and its relation to greedoids Lecture Notes in Computer Science | 2010-08-31 | Paper |
| The Orc Programming Language Formal Techniques for Distributed Systems | 2009-06-26 | Paper |
| A timed semantics of Orc Theoretical Computer Science | 2008-08-06 | Paper |
| A Language for Task Orchestration and Its Semantic Properties CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
| scientific article; zbMATH DE number 814801 (Why is no real title available?) | 1996-04-16 | Paper |
Research outcomes over time
This page was built for person: William R. Cook
