cs.cornell.edu: 26 stories from 22 submitters

  1. 36
    Flattening ASTs (and Other Compiler Data Structures) compilers cs.cornell.edu
    teymour avatar via teymour 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 16 comments
  2. 13
    Try Snapshot Testing for Compilers and Compiler-Like Things compilers programming testing cs.cornell.edu
    andyc avatar via andyc 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  3. 57
    Bril: An Intermediate Language for Teaching Compilers compilers education cs.cornell.edu
    asb avatar via asb 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  4. 17
    Flattening ASTs (and Other Compiler Data Structures) plt rust cs.cornell.edu
    brendan avatar via brendan 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  5. 14
    A Flexible Type System for Fearless Concurrency compsci cs.cornell.edu
    mpweiher avatar via mpweiher 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 22
    Reticle: A Virtual Machine for Programming Modern FPGAs pdf compilers hardware cs.cornell.edu
    seasidedrum avatar via seasidedrum 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  7. 22
    CS 6120: Advanced Compilers: The Self-Guided Online Course compilers cs.cornell.edu
    bcongdon avatar via bcongdon 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  8. 15
    The Cult of Posits math programming cs.cornell.edu
    knl avatar via knl 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  9. 2
    Masked Types for Sound Object Initialization (2009) pdf compsci cs.cornell.edu
    dbremner avatar via dbremner 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 35
    "The Great ISAs" reading list hardware cs.cornell.edu
    eatonphil avatar via eatonphil 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  11. 8
    Hyperproperties pdf formalmethods math cs.cornell.edu
    hwayne avatar via hwayne 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 2
    Probabilistic Programming ☶ ai plt cs.cornell.edu
    LolPython avatar via LolPython 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 18
    Measuring Computer Systems is Almost Certainly Harder Than You Think programming cs.cornell.edu
    calvin avatar via calvin 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  14. 9
    The Promise, and Limitations, of Gossip Protocols (2007) pdf distributed cs.cornell.edu
    pushcx avatar via pushcx 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 40
    Functional Programming in OCaml book ml cs.cornell.edu
    lelf avatar via lelf 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  16. 15
    Data Structures and Functional Programming (ocaml and coq) ☶ compsci formalmethods ml cs.cornell.edu
    senorsmile avatar via senorsmile 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  17. 5
    Common Knowledge Revisited (1995) pdf compsci cs.cornell.edu
    jtfmumm avatar via jtfmumm 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 6
    LLVM for Grad Students [2015] compilers cs.cornell.edu
    av avatar via av 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 3
    Malicious Code Detection for Open Firmware (2002) pdf compilers formalmethods programming security cs.cornell.edu
    nickpsecurity avatar via nickpsecurity 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  20. 11
    Typed Assembly Language (1998) compilers compsci formalmethods programming cs.cornell.edu
    nickpsecurity avatar via nickpsecurity 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  21. 6
    Verification of a practical, hardware, security architecture through static, info-flow analysis 2017 pdf hardware programming security cs.cornell.edu
    nickpsecurity avatar via nickpsecurity 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 4
    Fabric - High-level language for secure, distributed apps (2010-present) compsci cryptography distributed privacy security web cs.cornell.edu
    nickpsecurity avatar via nickpsecurity 8 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  23. 9
    Yarn-Based Cloth Simulation art compsci graphics science cs.cornell.edu
    animatronic avatar via animatronic 9 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 8
    Generating Compiler Optimizations from Proofs compilers compsci cs.cornell.edu
    animatronic avatar via animatronic 9 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 4
    A History of the Virtual Synchrony Replication Model pdf distributed cs.cornell.edu
    cemerick avatar via cemerick 11 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
Page 2 >>