cs.cmu.edu: 71 stories from 38 submitters

  1. 12
    Functional Languages for Real-Time Control compsci plt programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  2. 4
    VeriPhy: Verified Controller Executables from Verified Cyber-Physical Models ☶ pdf formalmethods programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 5
    Quotations for Learning and Programming ☶ practices programming cs.cmu.edu
    ceh avatar via ceh 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  4. 2
    Semantic Crash Bucketing ☶ pdf testing cs.cmu.edu
    ceh avatar via ceh 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 1
    QWeSST: Type-Safe, Web Programming Language (2011) ☶ pdf slides plt web cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 7
    Social Processes and Proofs of Theorems and Programs (1979) ☶ pdf formalmethods practices cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  7. 64
    A C89 compiler that produces executables that are also valid ASCII text files 2 pdf compilers cs.cmu.edu
    dl avatar via dl 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  8. 9
    Refinement Types in ML (1991) pdf compilers compsci ml programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  9. 16
    Interview with Simon Peyton-Jones (POPL 2018) haskell person cs.cmu.edu
    puffnfresh avatar via puffnfresh 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 5
    People of Programming Languages plt cs.cmu.edu
    evhan avatar via evhan 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 18
    Interview of Xavier Leroy ­— POPL 18 compilers compsci ml person cs.cmu.edu
    c-cube avatar via c-cube 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  12. 10
    People of Programming Languages: Interviews With PL Researchers ☶ formalmethods ml plt cs.cmu.edu
    seako avatar via seako 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 4
    The World's Fastest Scrabble Program (1988) pdf compsci performance cs.cmu.edu
    pushcx avatar via pushcx 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  14. 4
    Larch: Languages and Tools for Formal Specification (1993) pdf formalmethods historical programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  15. 4
    Great Ideas in Theoretical Science compsci education programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  16. 8
    Cuckoo Filter: Practically Better Than Bloom pdf compsci cs.cmu.edu
    petergao avatar via petergao 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 4
    Building a New Database Management System in Academia databases cs.cmu.edu
    pushcx avatar via pushcx 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 1
    CMU 15-816: Substructural Logics math cs.cmu.edu
    adamnemecek avatar via adamnemecek 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 11
    The glEnd() of Zelda: Automatic 3Dification of NES Games video graphics cs.cmu.edu
    pushcx avatar via pushcx 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 2
    NESL - A Nested, Data-Parallel, Programming Language (1990's) ml programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 3
    DeepDoggo: Learning to Answer “Who's a Good Dog?” pdf cogsci satire cs.cmu.edu
    calvin avatar via calvin 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 2
    CMU Artificial Intelligence Repository (1994) ☶ historical cs.cmu.edu
    bsima avatar via bsima 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 2
    CMU 15-816: Substructural Logics education math cs.cmu.edu
    adamnemecek avatar via adamnemecek 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 21
    There was a Coke machine connected to the ARPANET in the 70's historical cs.cmu.edu
    julienxx avatar via julienxx 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  25. 2
    Flask Security Architecture - System Support for Diverse, Security Policies (1999) ☶ pdf security cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 8 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
<< Page 1 | Page 3 >>