Active
Recent
Comments
Search
Login
Login
dl.acm.org: 130 stories from 85 submitters
11
Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior
pdf
compilers
dl.acm.org
via
GeoffWozniak
8 months ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
5 comments
5
6
When Is Parallelism Fearless and Zero-Cost with Rust?
distributed
performance
rust
dl.acm.org
via
Moonchild
8 months ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
4
Producer: A tool for translating Smalltalk-80 to Objective-C (1987)
pdf
compilers
objectivec
dl.acm.org
via
calvin
8 months ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
9
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back (2022)
☶
pdf
plt
dl.acm.org
via
5d22b
9 months ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
3 comments
3
5
The size-change principle for program termination (2001)
plt
dl.acm.org
via
5d22b
9 months ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
3
automemcpy: a framework for automatic generation of fundamental memory operations
performance
dl.acm.org
via
fanf
9 months ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
6
Understanding misunderstandings in source code
programming
science
dl.acm.org
via
pushcx
10 months ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
9
SEQUEL: a structured English query language (May 1974)
databases
dl.acm.org
via
fanf
10 months ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
9 comments
9
2
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance
c
formalmethods
dl.acm.org
via
fanf
10 months ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
7
Survey of Distributed File System Design Choices
distributed
osdev
dl.acm.org
via
eatonphil
11 months ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
10
Interval Parsing Grammars for File Format Parsing
pdf
programming
dl.acm.org
via
wryl
11 months ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
9
More Fixpoints! (Functional Pearl)
☶
pdf
compilers
haskell
dl.acm.org
via
dpercy
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
1
Kernel extension verification is untenable
linux
security
dl.acm.org
via
jerrinot
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
3 comments
3
2
Towards Modern Development of Cloud Applications (2023)
programming
dl.acm.org
via
signal-11
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
4 comments
4
7
Kernel vs. User-Level Networking: Don't Throw Out the Stack with the Interrupts
linux
networking
performance
dl.acm.org
via
ignaloidas
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
8 comments
8
2
Phantom: Exploiting Decoder-detectable Mispredictions
hardware
security
dl.acm.org
via
knl
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
17
Clockhands: Rename-free Instruction Set Architecture for Out-of-order Processors
hardware
dl.acm.org
via
knl
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
4 comments
4
5
META II: Digital Vellum in the Digital Scriptorium
compilers
historical
dl.acm.org
via
surprisetalk
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
5
Aesop: White-Box Best-First Proof Search for Lean
formalmethods
dl.acm.org
via
jakob
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
5
An Empirical Comparison of the RISCV and AArch64 Instruction Sets
☶
pdf
assembly
hardware
scaling
dl.acm.org
via
brucehoult
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
11
CHERI-picking: Leveraging capability hardware for prefetching
pdf
hardware
osdev
dl.acm.org
via
david_chisnall
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
3
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers
compilers
performance
plt
dl.acm.org
via
5d22b
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
1
Waffle: A Workload-Aware and Query-Sensitive Framework for Disk-Based Spatial Indexing
databases
dl.acm.org
via
razetime
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
38
When Concurrency Matters: Behaviour-Oriented Concurrency
pdf
programming
dl.acm.org
authored by
david_chisnall
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
20 comments
20
15
The object oriented pre-compiler (1983)
objectivec
plt
dl.acm.org
via
lorddimwit
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
5 comments
5
<< Page 1
|
Page 3 >>