Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Refactoring the FreeBSD Kernel with Checked C [pdf]
(cs.rochester.edu)
163 points
wglb
5 years ago
41 comments
2.
▲
Refactoring the FreeBSD Kernel with Checked C [pdf]
(cs.rochester.edu)
85 points
lelf
6 years ago
13 comments
3.
▲
Simple, Fast, Practical Non-Blocking and Blocking Concurrent Queue Algorithms
(cs.rochester.edu)
70 points
luu
12 years ago
5 comments
4.
▲
The 2012 Millennium Artifact
(cs.rochester.edu)
36 points
1970-01-01
3 years ago
22 comments
5.
▲
Understanding and optimizing persistent memory allocation (2020) [pdf]
(cs.rochester.edu)
30 points
romesmoke
4 years ago
2 comments
6.
▲
Undecidability (1999)
(cs.rochester.edu)
17 points
susam
4 years ago
3 comments
7.
▲
Refactoring the FreeBSD Kernel with Checked C [pdf]
(cs.rochester.edu)
8 points
matt_d
6 years ago
1 comment
8.
▲
George's “Required for Computer Science” List
(cs.rochester.edu)
5 points
pauloue
6 years ago
discuss
9.
▲
Quantifying The Cost of Context Switch
(cs.rochester.edu)
3 points
simonreed
13 years ago
discuss
10.
▲
Interval-Based Memory Reclamation (2018) [pdf]
(cs.rochester.edu)
3 points
ibraheemdev
5 years ago
discuss
11.
▲
Refactoring the FreeBSD Kernel with Checked C [pdf]
(cs.rochester.edu)
3 points
azhenley
6 years ago
discuss
12.
▲
Programming Language Pragmatics
(cs.rochester.edu)
3 points
memexy
6 years ago
discuss
13.
▲
Simplifying Transactional Memory Support in C++ [pdf]
(cs.rochester.edu)
3 points
matt_d
7 years ago
discuss
14.
▲
Loving the Earth for the Next 10,000 Years
(cs.rochester.edu)
2 points
luu
12 years ago
discuss
15.
▲
Practical Non-Blocking and Blocking Concurrent Queue Algorithms [pdf]
(cs.rochester.edu)
2 points
supriyo-biswas
2 years ago
discuss
16.
▲
Refactoring the FreeBSD Kernel with Checked C [pdf]
(cs.rochester.edu)
2 points
iamd3vil
6 years ago
discuss
17.
▲
Deterministic Parallel Ruby
(cs.rochester.edu)
1 point
chrisseaton
12 years ago
3 comments
18.
▲
Undecidability (1999)
(cs.rochester.edu)
1 point
susam
2 years ago
discuss
19.
▲
Understanding and optimizing persistent memory allocation (2020) [pdf]
(cs.rochester.edu)
1 point
romesmoke
5 years ago
discuss
20.
▲
Refactoring the FreeBSD Kernel with Checked C [pdf]
(cs.rochester.edu)
1 point
ingve
6 years ago
discuss