HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
91.
▲
XFaaS: Hyperscale and Low Cost Serverless Functions at Meta [pdf]
cis.upenn.edu
discuss
2 years ago
code_reader
2 points
92.
▲
Every update is a Downgrade (2004)
itre.cis.upenn.edu
discuss
2 years ago
behnamoh
2 points
93.
▲
Yesterday's Technology, Tomorrow (2004)
itre.cis.upenn.edu
discuss
2 years ago
csdvrx
2 points
94.
▲
A Concise Guide to Clojure
cis.upenn.edu
discuss
14 years ago
rlander
2 points
95.
▲
Yesterday's technology tomorrow (2004)
itre.cis.upenn.edu
discuss
15 years ago
jronkone
2 points
96.
▲
The Algorithmic Foundations of Differential Privacy (2014) [pdf]
cis.upenn.edu
discuss
4 years ago
Tomte
2 points
97.
▲
"Software Foundations" course
cis.upenn.edu
discuss
15 years ago
Rexxar
2 points
98.
▲
Defunctionalize the Continuation (2020)
cis.upenn.edu
discuss
5 years ago
tosh
2 points
99.
▲
Verification of Machine Learning Programs [pdf]
cis.upenn.edu
discuss
6 years ago
matt_d
2 points
100.
▲
A Concise Guide to Erlang
cis.upenn.edu
discuss
15 years ago
fogus
2 points
101.
▲
Effective Program Debloating via Reinforcement Learning [pdf]
cis.upenn.edu
discuss
8 years ago
lainon
2 points
102.
▲
Software Foundations: intro into mathematical underpinnings of reliable software
softwarefoundations.cis.upenn.edu
discuss
8 years ago
espeed
2 points
103.
▲
Mysteries of Dropbox: Property-Based Testing of a Distributed Sync Service [pdf]
cis.upenn.edu
discuss
8 years ago
kawera
2 points
104.
▲
Total Haskell Is Reasonable Coq [pdf]
cis.upenn.edu
discuss
8 years ago
adamnemecek
2 points
105.
▲
HardBound Architectural Support for Spatial Safety of the C Programming Language [pdf]
acg.cis.upenn.edu
discuss
9 years ago
gbrown_
2 points
106.
▲
Software Foundations
softwarefoundations.cis.upenn.edu
discuss
9 years ago
noch
2 points
107.
▲
DStress: Efficient Differentially Private Computations on Distributed Data [pdf]
cis.upenn.edu
discuss
9 years ago
blacksmythe
2 points
108.
▲
Computer Security is Not a Science (but it should be) [pdf]
cis.upenn.edu
discuss
9 years ago
lainon
2 points
109.
▲
Ironclad C++ [pdf] (2013)
acg.cis.upenn.edu
discuss
10 years ago
joseraul
2 points
110.
▲
Advanced Module Systems: A Guide for the Perplexed (2001)[ps]
cis.upenn.edu
discuss
11 years ago
seliopou
2 points
111.
▲
Software Foundations
cis.upenn.edu
discuss
11 years ago
wbl
2 points
112.
▲
Software Foundations: Preface
cis.upenn.edu
1 comment
12 years ago
tchajed
1 points
113.
▲
Bug in original PageRank paper (1998) [pdf]
cis.upenn.edu
1 comment
2 months ago
Abhavk
1 points
114.
▲
Thou shalt not report odds ratios
itre.cis.upenn.edu
1 comment
14 years ago
danso
1 points
115.
▲
Types considered harmful (2008) [pdf]
cis.upenn.edu
1 comment
10 years ago
vmorgulis
1 points
116.
▲
Types and Programming Languages the Next Generation (2003) [pdf]
cis.upenn.edu
discuss
11 years ago
justinwr
1 points
117.
▲
Experiments in Social Computation by Michael Kearns (2012) [pdf]
cis.upenn.edu
discuss
11 years ago
tubbs
1 points
118.
▲
Doing the Kenosha Kid
itre.cis.upenn.edu
discuss
13 years ago
jmduke
1 points
119.
▲
Computational Sprinting
acg.cis.upenn.edu
discuss
13 years ago
luu
1 points
120.
▲
The Piraha and us
itre.cis.upenn.edu
discuss
19 years ago
byrneseyeview
1 points
More