10 stories from 10 submitters
  1. 19
    Stacked Borrows: An Aliasing Model for Rust (the paper) pdf formalmethods rust ralfj.de
    notriddle avatar via notriddle 4 months ago | cached | 1 comment
  2. 19
    "What The Hardware Does" is not What Your Program Does: Uninitialized Memory c plt rust ralfj.de
    kornel avatar via kornel 8 months ago | cached | 22 comments
  3. 15
    Stacked Borrows Implemented formalmethods rust ralfj.de
    skade avatar via skade 1 year ago | cached | 7 comments
  4. 7
    The Tale of a Bug in Arc: Synchronization and Data Races rust ralfj.de
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  5. 3
    Stacked Borrows: An Aliasing Model For Rust rust ralfj.de
    sanxiyn avatar via sanxiyn 1 year ago | cached | no comments
  6. 16
    Pointers Are Complicated, or: What's in a Byte? compilers ralfj.de
    GeoffWozniak avatar via GeoffWozniak 1 year ago | cached | 9 comments
  7. 12
    How MutexGuard was Sync When It Should Not Have Been rust ralfj.de
    klingtnet avatar via klingtnet 2 years ago | cached | 1 comment
  8. 4
    Exploring MIR Semantics through miri compilers rust ralfj.de
    fitzgen avatar via fitzgen 2 years ago | cached | no comments
  9. 12
    The Scope of Unsafe rust ralfj.de
    antifuchs avatar via antifuchs 4 years ago | cached | 1 comment
  10. 18
    Formalizing Rust release rust ralfj.de
    steveklabnik avatar via steveklabnik 4 years ago | cached | no comments