June Andronick (NICTA

Identifiers

• name variant June Andronick (NICTA 0.60 · backfill

Papers (1)

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

Mentions

• 1511.04170 #1 · backfill · confidence 0.70 June Andronick (NICTA

Frequent Coauthors

• Carroll Morgan (NICTA 1 shared papers
• Corey Lewis (NICTA) 1 shared papers
• UNSW) 1 shared papers