#### Filter Results:

- Full text PDF available (93)

#### Publication Year

1985

2018

- This year (3)
- Last 5 years (37)
- Last 10 years (61)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Manuel Blum, Sampath Kannan
- STOC
- 1989

A program correctness checker is an algorithm for checking the output of a computation. That is, given a program and an instance on which the program is run, the checker certifies whether the outputâ€¦ (More)

- Sampath Kannan, Moni Naor, Steven Rudich
- STOC
- 1988

How to represent a graph in memory is a fundamental data structuring question. In the usual representations of an <italic>n</italic>-node graph, the names of the nodes (i.e. integers from 1 toâ€¦ (More)

- Manuel Blum, William S. Evans, Peter Gemmell, Sampath Kannan, Moni Naor
- Algorithmica
- 1991

We extend the notion of program checking to include programs which alter their environment. In particular, we consider programs which store and retrieve data from memory. The model we consider allowsâ€¦ (More)

- Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky
- Formal Methods in System Design
- 2004

We describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs. The MaC architecture provides assurance that the target program is runningâ€¦ (More)

- Martin Farach-Colton, Sampath Kannan, Tandy J. Warnow
- Algorithmica
- 1993

Constructing evolutionary trees for species sets is a fundamental problem in computational biology. One of the standard models assumes the ability to compute distances between every pair of species,â€¦ (More)

- Nader H. Bshouty, Richard Cleve, Ricard GavaldÃ , Sampath Kannan, Christino Tamon
- Electronic Colloquium on Computational Complexity
- 1995

We show that the class of all circuits is exactly learnable in randomized expected polynomial time using subset and superset queries. This is a consequence of the following result which we considerâ€¦ (More)

Massive data sets are increasingly important in a wide range of applications, including observational sciences, product marketing, and the monitoring and operations of large systems. In networkâ€¦ (More)

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 dr iving incorrectly. We explore aâ€¦ (More)

We investigate the importance of space when solving problems based on graph distance in the streaming model. In this model, the input graph is presented as a stream of edges in an arbitrary order.â€¦ (More)

- Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan
- PDPTA
- 1999

We describe the Monitoring and Checking (MaC) framework which assures the correctness of the current execution at run-time. Monitoring is performed based on a formal specification of systemâ€¦ (More)