homes.cs.washington.edu: 18 stories from 15 submitters

  1. 10
    Capability-Based Computer Systems (1984) book pdf hardware historical osdev homes.cs.washington.edu
    calvin avatar via calvin 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 6
    Programming Synthesis Explained formalmethods programming homes.cs.washington.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 5
    Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control ☶ pdf databases distributed networking homes.cs.washington.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 16
    SMT Solving on an iPhone formalmethods ios homes.cs.washington.edu
    nadim avatar via nadim 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 5
    Building a program synthesis tool to generate programs from specifications lisp programming homes.cs.washington.edu
    Yogthos avatar via Yogthos 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 6
    Hyperkernel: Push-Button Verification of an OS Kernel (2017) pdf compsci formalmethods unix homes.cs.washington.edu
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 11
    A Primer on Boolean Satisfiability compsci math homes.cs.washington.edu
    hwayne avatar via hwayne 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 2
    MapReduce: A major step backwards (2008) databases distributed homes.cs.washington.edu
    calvin avatar via calvin 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 4
    How to give a technical presentation (how to give a scientific talk) practices homes.cs.washington.edu
    mt avatar via mt 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 8
    Barriers to Equality in Academia: Women in Computer Science at MIT (1983) ☶ culture historical homes.cs.washington.edu
    GeoffWozniak avatar via GeoffWozniak 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 7
    An Empirical Study on the Correctness of Formally Verified Distributed Systems pdf compsci distributed practices testing homes.cs.washington.edu
    koomi avatar via koomi 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 3
    Worker-Owned Cooperative Models for Training Artificial Intelligence ☶ pdf cogsci finance homes.cs.washington.edu
    james avatar via james 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  13. 9
    IM2CAD ☶ compsci graphics homes.cs.washington.edu
    friendlysock avatar via friendlysock 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 2
    A Few Useful Things to Know about Machine Learning pdf cogsci homes.cs.washington.edu
    Dawny33 avatar via Dawny33 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 5
    Brandon Holt — Musings from PaPoC distributed homes.cs.washington.edu
    cmeiklejohn avatar via cmeiklejohn 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 6
    How Not to Measure Computer System Performance compsci homes.cs.washington.edu
    kb avatar via kb 8 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  17. 4
    Quala: Custom Type Systems for Clang compsci programming homes.cs.washington.edu
    BruceM avatar via BruceM 8 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 5
    DeadDrop / StrongBox Security Assessment pdf security homes.cs.washington.edu
    wally avatar via wally 9 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments