Corey Lewis (NICTA)

Identifiers

• name variant Corey Lewis (NICTA) 0.60 · backfill

Papers (1)

1. Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System cs.LO · 2015 · author #3

Mentions

• 1511.04170 #3 · backfill · confidence 0.70 Corey Lewis (NICTA)

Frequent Coauthors

• Carroll Morgan (NICTA 1 shared papers
• June Andronick (NICTA 1 shared papers
• UNSW) 1 shared papers