Home
Recent
Comments
Search
Login
Search
Search:
Stories
Comments
Order By:
Relevance
Newest
Points
17 results for "domain:princeton.edu"
4
Formal Verification of Coalescing Graph-Coloring Register Allocation (2010)
☶
pdf
compilers
formalmethods
cs.princeton.edu
via
nickpsecurity
1 month ago
|
cached
|
no comments
0
7
A Verified Messaging System (2017)
☶
pdf
c
formalmethods
security
cs.princeton.edu
via
nickpsecurity
5 months ago
|
cached
|
no comments
0
3
Security Testing of a Secure, Cache Design (2016)
pdf
compsci
hardware
security
palms.ee.princeton.edu
via
nickpsecurity
7 months ago
|
cached
|
1 comment
1
9
Unix and Beyond: An Interview with Ken Thompson
☶
person
unix
cs.princeton.edu
via
dgv
8 months ago
|
cached
|
1 comment
1
5
New silicon structure opens the gate to quantum computers
hardware
princeton.edu
via
Yogthos
8 months ago
|
cached
|
no comments
0
2
In Computer Languages, Clarity Is Key
person
programming
paw.princeton.edu
via
calvin
1 year ago
|
cached
|
no comments
0
4
Quicksort analyzed
pdf
compsci
programming
cs.princeton.edu
via
vyodaiken
1 year ago
|
cached
|
no comments
0
10
Sedgewick, Cardinality Estimation
pdf
compsci
math
cs.princeton.edu
via
tf
1 year ago
|
cached
|
no comments
0
9
OpenPiton - open source research processor
☶
hardware
parallel.princeton.edu
via
sevan
2 years ago
|
cached
|
no comments
0
21
Brian Kernighan book on Go Language
book
go
princeton.edu
via
softinio
2 years ago
|
cached
|
2 comments
2
5
The Zephyr Abstract Syntax Description Language
pdf
compilers
cs.princeton.edu
via
pushcx
2 years ago
|
cached
|
no comments
0
3
Experience with the Linotron 202 (1980)
☶
pdf
reversing
cs.princeton.edu
via
tedu
2 years ago
|
cached
|
1 comment
1
8
Unix Pipes Inspired by APL
unix
princeton.edu
via
rubenbarroso
2 years ago
|
cached
|
no comments
0
11
The Most Dangerous Equation
☶
pdf
math
press.princeton.edu
via
pushcx
2 years ago
|
cached
|
1 comment
1
5
A Regular Expression Matcher
c
compsci
programming
cs.princeton.edu
via
sin
2 years ago
|
cached
|
1 comment
1
7
Tracking the Flow of Ideas through the Programming Languages Literature
pdf
compsci
practices
cs.princeton.edu
via
pushcx
3 years ago
|
cached
|
no comments
0
3
A Regular Expression Matcher
c
programming
cs.princeton.edu
via
jdp
4 years ago
|
cached
|
no comments
0