Searching for authors named "Byron Cook" – sorted by Relevance.
-
Disposable Memo Functions
- Disposable Memo Functions y Byron Cook byron@(email omitted); John Launchbury jl
- Cited by 8 (0 self) – Add To MetaCart
-
Over-Approximating Boolean Programs with Unbounded Thread Creation
- Over-Approximating Boolean Programs with Unbounded Thread Creation Byron Cook Microsoft Research
- Cited by 3 (1 self) – Add To MetaCart
-
Using Stålmarck's algorithm to prove inequalities
- Using St˚almarck’s algorithm to prove inequalities Byron Cook and Georges Gonthier Microsoft
- Cited by 1 (1 self) – Add To MetaCart
-
Symbolic model checking for asynchronous boolean programs
- Symbolic Model Checking for Asynchronous Boolean Programs Byron Cook 1 ,DanielKroening 2
- Cited by 11 (5 self) – Add To MetaCart
-
Proving that programs eventually do something good
- Proving That Programs Eventually Do Something Good Byron Cook Microsoft Research bycook
- Cited by 13 (3 self) – Add To MetaCart
-
Formal verification of explicitly parallel microarchitectures
- Formal veri cation of explicitly parallel microprocessors ? Byron Cook, John Launchbury, John
- Add To MetaCart
-
Top-level Refinement in Processor Verification
- Top-level Refinement in Processor Verification Sava Krsti'c, Byron Cook, John Launchbury, and John
- Add To MetaCart
-
A Correctness Proof of a Speculative, Superscalar, Out-of-Order, Renaming Microarchitecture
- | extended technical report Sava Krstic, Byron Cook, John Launchbury, and John Matthews fkrstic,byron
- Add To MetaCart
-
Specifying superscalar microprocessors in Hawk
- Specifying superscalar microprocessors in Hawk Byron Cook, John Launchbury, and John Matthews
- Cited by 21 (4 self) – Add To MetaCart
-
Microprocessor Specification in Hawk
- Microprocessor Specification in Hawk John Matthews johnm@(email omitted); Byron Cook byron
- Cited by 25 (2 self) – Add To MetaCart

