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