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