cs.utexas.edu: 30 stories from 26 submitters

  1. 22
    Proving the Coding Interview formalmethods cs.utexas.edu
    azhenley avatar via azhenley 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  2. 9
    Edsger W. Dijkstra: a Commemoration pdf person cs.utexas.edu
    sjamaan avatar via sjamaan 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 7
    A Flying Demo of ACL2 (2000) formalmethods cs.utexas.edu
    meithecatte avatar via meithecatte 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 17
    Why numbering should start at zero (1982) pdf education cs.utexas.edu
    uzl avatar via uzl 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  5. 6
    On Understanding Data Abstraction, Revisited (2009) pdf programming cs.utexas.edu
    dbremner avatar via dbremner 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  6. 1
    The Dangers and Complexities of SQLite Benchmarking (2017) pdf databases performance cs.utexas.edu
    calvin avatar via calvin 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 7
    To the members of the Budget Council (2001) pdf culture haskell historical cs.utexas.edu
    calvin avatar via calvin 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 7
    Synthesizing JIT Compilers for In-Kernel DSLs pdf compilers formalmethods cs.utexas.edu
    hyperpape avatar via hyperpape 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 7
    On the cruelty of really teaching computing science (1988) practices cs.utexas.edu
    friendlysock avatar via friendlysock 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  10. 6
    How do we tell truths that might hurt? (Dijkstra, 1982) pdf compsci historical cs.utexas.edu
    zge avatar via zge 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  11. 1
    The strengths of the academic enterprise (1994) culture cs.utexas.edu
    NinjaTrappeur avatar via NinjaTrappeur 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  12. 4
    Simulation and Formal Verification of x86 Machine-Code Programs that make System Calls ☶ pdf assembly c formalmethods lisp osdev cs.utexas.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  13. 10
    50th Anniversary of "Go-to statement considered harmful" pdf programming cs.utexas.edu
    zpojqwfejwfhiunz avatar via zpojqwfejwfhiunz 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  14. 4
    Mondrian Memory Protection pdf osdev security cs.utexas.edu
    enkiv2 avatar via enkiv2 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 1
    Embedding ACL2 Models in End-User Applications (2013) ☶ pdf formalmethods hardware ruby cs.utexas.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 6
    A Survey of Rollback-Recovery Protocols in Message-Passing Systems (2002) pdf distributed cs.utexas.edu
    jtfmumm avatar via jtfmumm 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 6
    Non-photorealism pdf slides graphics cs.utexas.edu
    friendlysock avatar via friendlysock 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 2
    Industrial Hardware and Software Verification with ACL2 pdf formalmethods lisp cs.utexas.edu
    mjn avatar via mjn 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 3
    On the cruelty of really teaching computing science (1988) ☶ culture cs.utexas.edu
    puffnfresh avatar via puffnfresh 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 2
    UpRight Cluster Services (2009) ☶ pdf compsci distributed java networking programming cs.utexas.edu
    nickpsecurity avatar via nickpsecurity 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  21. 12
    ACM Turing Lecture 1972: The Humble Programmer programming cs.utexas.edu
    sin avatar via sin 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  22. 2
    My Recollections of Operating System Design (2001) pdf programming cs.utexas.edu
    geocar avatar via geocar 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  23. 7
    E.W. Dijkstra Archive: Computing Science: Achievements and Challenges compsci culture cs.utexas.edu
    hails avatar via hails 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 16
    E.W. Dijkstra Archive: Why numbering should start at zero math philosophy cs.utexas.edu
    av avatar via av 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  25. 12
    Dr. R. W. Hamming's Advice on Research compsci cs.utexas.edu
    cmeiklejohn avatar via cmeiklejohn 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
Page 2 >>