Search
 
   

4 results for "domain:ts.data61.csiro.au"

  1. 20
    The Jury is In: Monolithic OS Design is Flawed ☶ pdf osdev security ts.data61.csiro.au
    nickpsecurity avatar via nickpsecurity 11 days ago | cached | 15 comments
  2. 3
    Complx: A Verification Framework for Concurrent, Imperative Programs (2017) pdf c formalmethods ts.data61.csiro.au
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  3. 5
    Formal Semantics for C++ (2007) pdf c++ formalmethods ts.data61.csiro.au
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments
  4. 29
    Rust as a language for high performance GC implementation ☶ rust ts.data61.csiro.au
    fitzgen avatar via fitzgen 1 year ago | cached | 11 comments