55 stories from 29 submitters
  1. 5
    Functional Perl: Programming with Recursion Schemes in Python pdf ml plt python satire cs.cmu.edu
    calvin avatar via calvin 2 months ago | cached | no comments
  2. 3
    No Hands Across America ai historical cs.cmu.edu
    355E3B avatar via 355E3B 8 months ago | cached | no comments
  3. 17
    CMU 15-819 - Homotopy Type Theory video education plt cs.cmu.edu
    jtm avatar via jtm 10 months ago | cached | 1 comment
  4. 11
    Using Z: Specification, Refinement, and Proof pdf formalmethods math cs.cmu.edu
    lorddimwit avatar via lorddimwit 1 year ago | cached | 9 comments
  5. 5
    Pegasus: A Framework for Sound Continuous Invariant Generation ☶ pdf formalmethods programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  6. 2
    The Next 50 Years of Databases (2015) databases cs.cmu.edu
    calvin avatar via calvin 1 year ago | cached | no comments
  7. 5
    The Vector Heat Method graphics math cs.cmu.edu
    friendlysock avatar via friendlysock 1 year ago | cached | 2 comments
  8. 4
    Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5 (2018) ☶ pdf formalmethods hardware cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 2 years ago | cached | 2 comments
  9. 2
    Voxel Coloring graphics cs.cmu.edu
    pekkavaa avatar via pekkavaa 2 years ago | cached | no comments
  10. 11
    Functional Languages for Real-Time Control compsci plt programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 2 years ago | cached | 7 comments
  11. 4
    VeriPhy: Verified Controller Executables from Verified Cyber-Physical Models ☶ pdf formalmethods programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 2 years ago | cached | no comments
  12. 5
    Quotations for Learning and Programming ☶ practices programming cs.cmu.edu
    ceh avatar via ceh 2 years ago | cached | 2 comments
  13. 2
    Semantic Crash Bucketing ☶ pdf testing cs.cmu.edu
    ceh avatar via ceh 2 years ago | cached | 1 comment
  14. 1
    QWeSST: Type-Safe, Web Programming Language (2011) ☶ pdf slides plt web cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 3 years ago | cached | no comments
  15. 7
    Social Processes and Proofs of Theorems and Programs (1979) ☶ pdf formalmethods practices cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 3 years ago | cached | 5 comments
  16. 4
    ABC: A C compiler for printable x86 pdf c compilers release cs.cmu.edu
    pushcx avatar via pushcx 3 years ago | cached | 1 comment
  17. 64
    A C89 compiler that produces executables that are also valid ASCII text files pdf compilers cs.cmu.edu
    dl avatar via dl 3 years ago | cached | 4 comments
  18. 9
    Refinement Types in ML (1991) pdf compilers compsci ml programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 3 years ago | cached | 2 comments
  19. 16
    Interview with Simon Peyton-Jones (POPL 2018) haskell person cs.cmu.edu
    puffnfresh avatar via puffnfresh 3 years ago | cached | no comments
  20. 4
    People of Programming Languages plt cs.cmu.edu
    evhan avatar via evhan 3 years ago | cached | no comments
  21. 17
    Interview of Xavier Leroy ­— POPL 18 compilers compsci ml person cs.cmu.edu
    c-cube avatar via c-cube 3 years ago | cached | 2 comments
  22. 9
    People of Programming Languages: Interviews With PL Researchers ☶ formalmethods ml plt cs.cmu.edu
    seako avatar via seako 3 years ago | cached | no comments
  23. 4
    The World's Fastest Scrabble Program (1988) pdf compsci performance cs.cmu.edu
    pushcx avatar via pushcx 3 years ago | cached | 1 comment
  24. 4
    Larch: Languages and Tools for Formal Specification (1993) pdf formalmethods historical programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 3 years ago | cached | 1 comment
  25. 4
    Great Ideas in Theoretical Science compsci education programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 3 years ago | cached | 1 comment
Page 2 >>