We propose a rich foundational theory of typed data streams and stream
t...
"A generator is a parser of randomness." This perspective on generators ...
What exactly does "stack safety" mean? The phrase is associated with a
v...
We present a rigorous framework for automatically testing application-la...
Applying differential privacy at scale requires convenient ways to check...
We present "interaction trees" (ITrees), a general-purpose data structur...
Curators of sensitive datasets sometimes need to know whether queries ag...
We present the first formal verification of a networked server implement...
Lenses are programs that can be run both "front to back" and "back to fr...
We propose a new formal criterion for secure compilation, giving strong
...
We propose a new formal criterion for secure compilation, providing stro...
Bidirectional transformations between different data representations occ...
We propose a rigorous characterization of what it means for a programmin...