Search
 
   

14 results for "domain:homes.cs.washington.edu"

  1. 5
    Building a program synthesis tool to generate programs from specifications lisp programming homes.cs.washington.edu
    Yogthos avatar via Yogthos 1 month ago | cached | 1 comment
  2. 6
    Hyperkernel: Push-Button Verification of an OS Kernel (2017) pdf compsci formalmethods unix homes.cs.washington.edu
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments
  3. 11
    A Primer on Boolean Satisfiability compsci math homes.cs.washington.edu
    hwayne avatar via hwayne 7 months ago | cached | no comments
  4. 2
    MapReduce: A major step backwards (2008) databases distributed homes.cs.washington.edu
    calvin avatar via calvin 11 months ago | cached | no comments
  5. 4
    How to give a technical presentation (how to give a scientific talk) practices homes.cs.washington.edu
    mt avatar via mt 11 months ago | cached | no comments
  6. 8
    Barriers to Equality in Academia: Women in Computer Science at MIT (1983) ☶ culture historical homes.cs.washington.edu
    GeoffWozniak avatar via GeoffWozniak 11 months ago | cached | no comments
  7. 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 1 year ago | cached | no comments
  8. 3
    Worker-Owned Cooperative Models for Training Artificial Intelligence ☶ pdf cogsci finance homes.cs.washington.edu
    james avatar via james 1 year ago | cached | 1 comment
  9. 9
    IM2CAD ☶ compsci graphics homes.cs.washington.edu
    friendlysock avatar via friendlysock 1 year ago | cached | no comments
  10. 2
    A Few Useful Things to Know about Machine Learning pdf cogsci homes.cs.washington.edu
    Dawny33 avatar via Dawny33 1 year ago | cached | no comments
  11. 5
    Brandon Holt — Musings from PaPoC distributed homes.cs.washington.edu
    cmeiklejohn avatar via cmeiklejohn 3 years ago | cached | no comments
  12. 6
    How Not to Measure Computer System Performance compsci homes.cs.washington.edu
    kb avatar via kb 3 years ago | cached | 1 comment
  13. 4
    Quala: Custom Type Systems for Clang compsci programming homes.cs.washington.edu
    BruceM avatar via BruceM 4 years ago | cached | no comments
  14. 5
    DeadDrop / StrongBox Security Assessment pdf security homes.cs.washington.edu
    wally avatar via wally 4 years ago | cached | no comments