ralfj.de: 15 stories from 12 submitters

  1. 13
    The last two years in Miri rust ralfj.de
    sanxiyn avatar via sanxiyn 3 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 16
    Pointers Are Complicated III, or: Pointer-integer casts exposed c compsci rust ralfj.de
    algesten avatar via algesten 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  3. 33
    Do we really need Undefined Behavior? c plt ralfj.de
    raymii avatar via raymii 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  4. 25
    Pointers Are Complicated II, or: We need better language specs compsci ralfj.de
    inactive-user avatar via inactive-user 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  5. 16
    Why even unused data needs to be valid plt rust ralfj.de
    skade avatar via skade 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 19
    Stacked Borrows: An Aliasing Model for Rust (the paper) pdf formalmethods rust ralfj.de
    inactive-user avatar via inactive-user 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  7. 20
    "What The Hardware Does" is not What Your Program Does: Uninitialized Memory c plt rust ralfj.de
    kornel avatar via kornel 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 22 comments
  8. 15
    Stacked Borrows Implemented formalmethods rust ralfj.de
    skade avatar via skade 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  9. 7
    The Tale of a Bug in Arc: Synchronization and Data Races rust ralfj.de
    nickpsecurity avatar via nickpsecurity 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 3
    Stacked Borrows: An Aliasing Model For Rust rust ralfj.de
    sanxiyn avatar via sanxiyn 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 16
    Pointers Are Complicated, or: What's in a Byte? compilers ralfj.de
    GeoffWozniak avatar via GeoffWozniak 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  12. 12
    How MutexGuard was Sync When It Should Not Have Been rust ralfj.de
    klingtnet avatar via klingtnet 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  13. 4
    Exploring MIR Semantics through miri compilers rust ralfj.de
    fitzgen avatar via fitzgen 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 12
    The Scope of Unsafe rust ralfj.de
    antifuchs avatar via antifuchs 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  15. 18
    Formalizing Rust release rust ralfj.de
    steveklabnik avatar via steveklabnik 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments