Toby Murray (NICTA

Identifiers

• name variant Toby Murray (NICTA 0.60 · backfill

Papers (1)

1. Specifying a Realistic File System cs.LO · 2015 · author #2

Mentions

• 1511.04169 #2 · backfill · confidence 0.70 Toby Murray (NICTA

Frequent Coauthors

• Australia) 1 shared papers
• Sidney Amani 1 shared papers
• University of New South Wales 1 shared papers