Search
 
   

48 results for "domain:cs.cmu.edu"

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