Active
Recent
Comments
Search
Login
Login
cs.utexas.edu: 30 stories from 26 submitters
22
Proving the Coding Interview
formalmethods
cs.utexas.edu
via
azhenley
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
7 comments
7
9
Edsger W. Dijkstra: a Commemoration
pdf
person
cs.utexas.edu
via
sjamaan
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
7
A Flying Demo of ACL2 (2000)
formalmethods
cs.utexas.edu
via
meithecatte
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
17
Why numbering should start at zero (1982)
pdf
education
cs.utexas.edu
via
uzl
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
13 comments
13
6
On Understanding Data Abstraction, Revisited (2009)
pdf
programming
cs.utexas.edu
via
dbremner
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
1
The Dangers and Complexities of SQLite Benchmarking (2017)
pdf
databases
performance
cs.utexas.edu
via
calvin
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
7
To the members of the Budget Council (2001)
pdf
culture
haskell
historical
cs.utexas.edu
via
calvin
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
7
Synthesizing JIT Compilers for In-Kernel DSLs
pdf
compilers
formalmethods
cs.utexas.edu
via
hyperpape
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
7
On the cruelty of really teaching computing science (1988)
practices
cs.utexas.edu
via
friendlysock
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
3 comments
3
6
How do we tell truths that might hurt? (Dijkstra, 1982)
pdf
compsci
historical
cs.utexas.edu
via
zge
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
1
The strengths of the academic enterprise (1994)
culture
cs.utexas.edu
via
NinjaTrappeur
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
4
Simulation and Formal Verification of x86 Machine-Code Programs that make System Calls
☶
pdf
assembly
c
formalmethods
lisp
osdev
cs.utexas.edu
via
nickpsecurity
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
10
50th Anniversary of "Go-to statement considered harmful"
pdf
programming
cs.utexas.edu
via
zpojqwfejwfhiunz
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
4
Mondrian Memory Protection
pdf
osdev
security
cs.utexas.edu
via
enkiv2
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
1
Embedding ACL2 Models in End-User Applications (2013)
☶
pdf
formalmethods
hardware
ruby
cs.utexas.edu
via
nickpsecurity
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
6
A Survey of Rollback-Recovery Protocols in Message-Passing Systems (2002)
pdf
distributed
cs.utexas.edu
via
jtfmumm
5 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
6
Non-photorealism
pdf
slides
graphics
cs.utexas.edu
via
friendlysock
5 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
2
Industrial Hardware and Software Verification with ACL2
pdf
formalmethods
lisp
cs.utexas.edu
via
mjn
5 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
3
On the cruelty of really teaching computing science (1988)
☶
culture
cs.utexas.edu
via
puffnfresh
6 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
2
UpRight Cluster Services (2009)
☶
pdf
compsci
distributed
java
networking
programming
cs.utexas.edu
via
nickpsecurity
6 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
12
ACM Turing Lecture 1972: The Humble Programmer
programming
cs.utexas.edu
via
sin
6 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
3 comments
3
2
My Recollections of Operating System Design (2001)
pdf
programming
cs.utexas.edu
via
geocar
7 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
7
E.W. Dijkstra Archive: Computing Science: Achievements and Challenges
compsci
culture
cs.utexas.edu
via
hails
7 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
16
E.W. Dijkstra Archive: Why numbering should start at zero
math
philosophy
cs.utexas.edu
via
av
7 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
3 comments
3
12
Dr. R. W. Hamming's Advice on Research
compsci
cs.utexas.edu
via
cmeiklejohn
7 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
Page 2 >>