cs.cornell.edu
Home
Recent
Comments
Search
Login
20 stories from 16 submitters
22
CS 6120: Advanced Compilers: The Self-Guided Online Course
compilers
cs.cornell.edu
via
bcongdon
1 month ago
|
cached
|
1 comment
1
14
The Cult of Posits
math
programming
cs.cornell.edu
via
knl
1 month ago
|
cached
|
8 comments
8
2
Masked Types for Sound Object Initialization (2009)
pdf
compsci
cs.cornell.edu
via
dbremner
8 months ago
|
cached
|
no comments
0
35
"The Great ISAs" reading list
hardware
cs.cornell.edu
via
eatonphil
9 months ago
|
cached
|
3 comments
3
8
Hyperproperties
pdf
formalmethods
math
cs.cornell.edu
via
hwayne
1 year ago
|
cached
|
no comments
0
2
Probabilistic Programming
☶
ai
plt
cs.cornell.edu
via
LolPython
1 year ago
|
cached
|
no comments
0
18
Measuring Computer Systems is Almost Certainly Harder Than You Think
programming
cs.cornell.edu
via
calvin
1 year ago
|
cached
|
1 comment
1
9
The Promise, and Limitations, of Gossip Protocols (2007)
pdf
distributed
cs.cornell.edu
via
pushcx
1 year ago
|
cached
|
no comments
0
39
Functional Programming in OCaml
book
ml
cs.cornell.edu
via
lelf
1 year ago
|
cached
|
7 comments
7
14
Data Structures and Functional Programming (ocaml and coq)
☶
compsci
formalmethods
ml
cs.cornell.edu
via
senorsmile
2 years ago
|
cached
|
2 comments
2
5
Common Knowledge Revisited (1995)
pdf
compsci
cs.cornell.edu
via
jtfmumm
2 years ago
|
cached
|
no comments
0
6
LLVM for Grad Students [2015]
compilers
cs.cornell.edu
via
av
2 years ago
|
cached
|
no comments
0
3
Malicious Code Detection for Open Firmware (2002)
pdf
compilers
formalmethods
programming
security
cs.cornell.edu
via
nickpsecurity
3 years ago
|
cached
|
1 comment
1
11
Typed Assembly Language (1998)
compilers
compsci
formalmethods
programming
cs.cornell.edu
via
nickpsecurity
3 years ago
|
cached
|
6 comments
6
6
Verification of a practical, hardware, security architecture through static, info-flow analysis 2017
pdf
hardware
programming
security
cs.cornell.edu
via
nickpsecurity
3 years ago
|
cached
|
no comments
0
4
Fabric - High-level language for secure, distributed apps (2010-present)
compsci
crypto
distributed
privacy
security
web
cs.cornell.edu
via
nickpsecurity
4 years ago
|
cached
|
1 comment
1
9
Yarn-Based Cloth Simulation
art
compsci
graphics
science
cs.cornell.edu
via
animatronic
5 years ago
|
cached
|
no comments
0
8
Generating Compiler Optimizations from Proofs
compilers
compsci
cs.cornell.edu
via
animatronic
5 years ago
|
cached
|
no comments
0
4
A History of the Virtual Synchrony Replication Model
pdf
distributed
cs.cornell.edu
via
cemerick
7 years ago
|
cached
|
1 comment
1
2
Designs, Lessons and Advice from Building Large Distributed Systems
pdf
scaling
cs.cornell.edu
via
SeanTAllen
7 years ago
|
cached
|
no comments
0