• Publications
  • Influence
Designing programs that check their work
TLDR
A program correctness checker is an algorithm for checking the output of a computation. Expand
  • 586
  • 26
  • PDF
On graph problems in a semi-streaming model
TLDR
We formalize a potentially rich new streaming model, the semi-streaming model, that we believe is necessary for the fruitful study of efficient algorithms for solving problems on massive graphs whose edge sets cannot be stored in memory. Expand
  • 254
  • 24
  • PDF
Checking the correctness of memories
TLDR
We extend the notion of program checking to include programs which alter their environment. Expand
  • 221
  • 20
Implicit Representation of Graphs
TLDR
How to represent a graph in memory is a fundamental data structuring question. Expand
  • 149
  • 20
Oracles and Queries That Are Sufficient for Exact Learning
TLDR
We show that the class of all circuits is exactly learnable in randomized expected polynomial time using weak subset and weak superset queries. Expand
  • 193
  • 17
  • PDF
Spot-checkers
On Labor Day weekend, the highway patrol sets up spot-checks at random points on the freeways with the intention of deterring a large fraction of motorists from driving incorrectly. We explore a veryExpand
  • 185
  • 15
  • PDF
Implicit representation of graphs
TLDR
How to represent a graph in memory is a fundamental data structuring question. Expand
  • 107
  • 14
  • PDF
The relationship between public key encryption and oblivious transfer
TLDR
In this paper we study the relationships among some of the most fundamental primitives and protocols in cryptography: public-key encryption (which is equivalent to general secure multi-party computation), key agreement and trapdoor permutations. Expand
  • 186
  • 13
  • PDF
Randomized pursuit-evasion in a polygonal environment
This paper contains two main results. First, we revisit the well-known visibility-based pursuit-evasion problem, and show that in contrast to deterministic strategies, a single pursuer can locate anExpand
  • 200
  • 13
  • PDF
Java-MaC: A Run-Time Assurance Approach for Java Programs
TLDR
We describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs. Expand
  • 235
  • 12
  • PDF