Home
Recent
Comments
Search
Login
Search
Search:
Stories
Comments
Order By:
Relevance
Newest
Points
69 results for "domain:cmu.edu"
4
VeriPhy: Verified Controller Executables from Verified Cyber-Physical Models
☶
pdf
formalmethods
programming
cs.cmu.edu
via
nickpsecurity
21 days ago
|
cached
|
no comments
0
1
When "ASLR" Is Not Really ASLR - The Case of Incorrect Assumptions and Bad Defaults
security
windows
insights.sei.cmu.edu
via
fro
24 days ago
|
cached
|
no comments
0
5
Quotations for Learning and Programming
☶
practices
programming
cs.cmu.edu
via
ceh
25 days ago
|
cached
|
2 comments
2
2
Semantic Crash Bucketing
☶
pdf
testing
cs.cmu.edu
via
ceh
26 days ago
|
cached
|
1 comment
1
6
SEI CERT C Coding Standard
☶
c
wiki.sei.cmu.edu
via
klingtnet
1 month ago
|
cached
|
2 comments
2
1
Dancing with Giants: Wimpy Kernels for On-demand Isolated I/O (2014)
☶
pdf
security
virtualization
cylab.cmu.edu
via
nickpsecurity
1 month ago
|
cached
|
no comments
0
3
Building Safer UGV's with Run-time, Safety Invariants (2009)
pdf
slides
programming
security
users.ece.cmu.edu
via
nickpsecurity
1 month ago
|
cached
|
3 comments
3
4
Toward a Framework for Highly Automated Vehicle Safety Validation, Philip Koopman & Michael Wagner
pdf
formalmethods
practices
testing
users.ece.cmu.edu
via
trn
4 months ago
|
cached
|
no comments
0
3
The Evolution of an x86 Virtual Machine Monitor (2010)
☶
pdf
hardware
historical
virtualization
ece.cmu.edu
via
nickpsecurity
4 months ago
|
cached
|
no comments
0
6
Stack Computers: The New Wave: A Survey of Computers with Hardware Stack Support [1989]
hardware
historical
users.ece.cmu.edu
via
trn
5 months ago
|
cached
|
1 comment
1
1
QWeSST: Type-Safe, Web Programming Language (2011)
☶
pdf
slides
plt
web
cs.cmu.edu
via
nickpsecurity
6 months ago
|
cached
|
no comments
0
7
Social Processes and Proofs of Theorems and Programs (1979)
☶
pdf
formalmethods
practices
cs.cmu.edu
via
nickpsecurity
6 months ago
|
cached
|
5 comments
5
64
A C89 compiler that produces executables that are also valid ASCII text files
pdf
compilers
cs.cmu.edu
via
dl
6 months ago
|
cached
|
4 comments
4
1
Task Assignment with Unknown Duration
pdf
distributed
networking
repository.cmu.edu
via
grahamc
6 months ago
|
cached
|
no comments
0
12
The Setenv Fiasco (2015)
unix
club.cc.cmu.edu
via
pushcx
7 months ago
|
cached
|
6 comments
6
9
Refinement Types in ML (1991)
pdf
compilers
compsci
ml
programming
cs.cmu.edu
via
nickpsecurity
7 months ago
|
cached
|
2 comments
2
16
Interview with Simon Peyton-Jones (POPL 2018)
haskell
person
cs.cmu.edu
via
puffnfresh
7 months ago
|
cached
|
no comments
0
4
People of Programming Languages
plt
cs.cmu.edu
via
evhan
7 months ago
|
cached
|
no comments
0
17
Interview of Xavier Leroy — POPL 18
compilers
compsci
ml
person
cs.cmu.edu
via
c-cube
8 months ago
|
cached
|
2 comments
2
9
People of Programming Languages: Interviews With PL Researchers
☶
formalmethods
ml
plt
cs.cmu.edu
via
seako
8 months ago
|
cached
|
no comments
0
Page:
1
2
3
4