cseweb.ucsd.edu
Home
Recent
Comments
Search
Login
9 stories from 7 submitters
4
Programming with a Read-Eval-Synth Loop
☶
pdf
compilers
cseweb.ucsd.edu
via
craigstuntz
3 months ago
|
cached
|
no comments
0
11
The Geometry Engine: A VLSI Geometry System for Graphics (1982)
pdf
graphics
hardware
historical
cseweb.ucsd.edu
via
calvin
10 months ago
|
cached
|
2 comments
2
3
Reliably Erasing Data from Flash-Based Solid State Drives [2010]
☶
pdf
slides
security
cseweb.ucsd.edu
via
mz
12 months ago
|
cached
|
4 comments
4
1
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (2015)
☶
pdf
formalmethods
plt
programming
security
cseweb.ucsd.edu
via
nickpsecurity
2 years ago
|
cached
|
no comments
0
1
Principled and Practical Web Application Security (2015)
☶
pdf
formalmethods
javascript
security
web
cseweb.ucsd.edu
via
nickpsecurity
2 years ago
|
cached
|
no comments
0
3
FaCT: Flexible, Constant-Time, Programming Language (2017)
pdf
compsci
programming
security
cseweb.ucsd.edu
via
nickpsecurity
3 years ago
|
cached
|
no comments
0
6
The Inside Story on Shared Libraries and Dynamic Loading
pdf
c
linux
cseweb.ucsd.edu
via
tkozik
4 years ago
|
cached
|
no comments
0
6
Printing Floating-Point Numbers - A Faster, Always Correct Method
pdf
math
programming
cseweb.ucsd.edu
via
av
5 years ago
|
cached
|
no comments
0
8
The State Machine Approach: A tutorial
pdf
distributed
cseweb.ucsd.edu
via
SeanTAllen
5 years ago
|
cached
|
1 comment
1