cs.princeton.edu: 18 stories from 14 submitters

  1. 39
    How did Dennis Ritchie Produce his PhD Thesis? A Typographical Mystery pdf design historical cs.princeton.edu
    calvin avatar via calvin 4 days ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  2. 8
    A Regular Expression Matcher c cs.princeton.edu
    WilhelmVonWeiner avatar via WilhelmVonWeiner 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 6
    Lucid: A Language for Control in the Data Plane pdf hardware networking plt cs.princeton.edu
    calvin avatar via calvin 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 5
    Verified sequential malloc/free pdf c formalmethods cs.princeton.edu
    sanxiyn avatar via sanxiyn 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 25
    How to recognize AI snake oil pdf slides ai cs.princeton.edu
    GeoffWozniak avatar via GeoffWozniak 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 11 comments
  6. 11
    Unix: A History and a Memoir book historical unix cs.princeton.edu
    julienxx avatar via julienxx 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 7
    Forest 1.0: A Language and Toolkit for Programming with Filestores (2011) databases plt cs.princeton.edu
    breck avatar via breck 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  8. 3
    HICAMP: Architectural Support for Efficient Concurrency-safe Shared Structured Data Access ☶ pdf compsci hardware cs.princeton.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 4
    Formal Verification of Coalescing Graph-Coloring Register Allocation (2010) ☶ pdf compilers formalmethods cs.princeton.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 7
    A Verified Messaging System (2017) ☶ pdf c formalmethods security cs.princeton.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 9
    Unix and Beyond: An Interview with Ken Thompson ☶ person unix cs.princeton.edu
    dgv avatar via dgv 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  12. 4
    Quicksort analyzed pdf compsci programming cs.princeton.edu
    inactive-user avatar via inactive-user 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 10
    Sedgewick, Cardinality Estimation pdf compsci math cs.princeton.edu
    tf avatar via tf 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 5
    The Zephyr Abstract Syntax Description Language pdf compilers cs.princeton.edu
    pushcx avatar via pushcx 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 3
    Experience with the Linotron 202 (1980) ☶ pdf reversing cs.princeton.edu
    tedu avatar via tedu 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  16. 6
    A Regular Expression Matcher c compsci programming cs.princeton.edu
    sin avatar via sin 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  17. 7
    Tracking the Flow of Ideas through the Programming Languages Literature pdf compsci practices cs.princeton.edu
    pushcx avatar via pushcx 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 3
    A Regular Expression Matcher c programming cs.princeton.edu
    jdp avatar via jdp 9 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments