Skip to main content
Computer Science Principles and Methodologies

Starting on November 23, 2002, I'll be on a bridge-to-retirement leave of absence from IBM.
My new email address is stock@acm.org and my new homepage is pages.sbcglobal.net/stockmeyer


I am in the Computer Science Principles and Methodologies Department, part of the Computer Science Function at the IBM Almaden Research Center.

Research Interests

Computational complexity
Interactive proof systems
Parallel and distributed computing
Storage systems

More Information

Recent papers
Computational complexity
Interactive proof systems
Parallel and distributed computing
Storage systems
Other
Survey papers
Selected prior publications
Brief biography

Recent Papers

Computational Complexity

L. Stockmeyer and D. S. Modha, Links between complexity theory and constrained block coding, IEEE Trans. on Information Theory 48, 1 (2002), pp. 59-88. [abstract] [copyright]

M. Ajtai, R. Fagin, and L. Stockmeyer, The closure of monadic NP, J. Comput. System Sci. 60 (2000), 660-716. [abstract] [copyright]

Interactive Proof Systems

C. Dwork and L. Stockmeyer, 2-round zero knowledge and proof auditors, extended abstract appears in Proc. 34th ACM Symp. on Theory of Computing, May 2002. [abstract]

C. Dwork, M. Naor, O. Reingold, and L. Stockmeyer, Magic functions, extended abstract appears in Proc. 40th IEEE Symp. on Foundations of Computer Science, Oct. 1999, 523-534. [abstract]

Parallel and Distributed Computing

C.-T. Ho and L. Stockmeyer, A new approach to fault-tolerant wormhole routing in mesh-connected parallel computers, abridged version appears in Proc. 16th Intl. Parallel & Distributed Processing Symp., April 2002. [abstract]

Storage Systems

R. C. Burns, R. M. Rees, L. J. Stockmeyer, and D. D. E. Long, Scalable session locking for a distributed file system, Cluster Computing 4 (2001), pp. 295-306. [abstract]

M. Ajtai, R. C. Burns, R. Fagin, D. D. E. Long, and L. Stockmeyer, Compactly encoding unstructured inputs with differential compression, IBM Research Report RJ10187, April 2000 (revised Aug. 2001), to appear in J. Assoc. Comput. Mach. [abstract]

L. Stockmeyer, Simulations of the age-threshold and fitness free space collection algorithms on a long trace, IBM Research Report RJ10222, Oct. 2001. [abstract]

G. A. Alvarez, W. A. Burkhard, L. Stockmeyer, and F. Cristian, Declustered disk array architectures with optimal and near-optimal parallelism, Proc. 25th Intl. Symp. on Computer Architecture, June 1998, 109-120. [abstract] [copyright]

J. Menon and L. Stockmeyer, An age-threshold algorithm for garbage collection in log-structured arrays and file systems, IBM Research Report RJ 10120, May 1998; an abridged version appears in High Performance Computing Systems and Applications, J. Schaeffer, ed., Kluwer, 1998, 119-132. [abstract]

Other

R. Fagin and L. Stockmeyer, Relaxing the triangle inequality in pattern matching, Intl. J. Computer Vision 30 (1998), 219-231.

Survey Papers

L. Stockmeyer, Computational complexity, in: Handbooks in Operations Research and Management Science, Volume 3, Computing, E.G. Coffman, Jr., J.K. Lenstra, and A.H.G. Rinnooy Kan, eds., North-Holland, 1992, 455-517.

L. Stockmeyer, Classifying the computational complexity of problems, J. Symbolic Logic 52 (1987), 1-43. [table of contents] [copyright]

L. J. Stockmeyer and A. K. Chandra, Intrinsically difficult problems, Scientific American 240 (May, 1979), 140-159; reprinted in Trends in Computing, Scientific American Inc., 1988, 88-97.


Last modified: June 17, 2002


[ IBM Almaden Computer Science | IBM Almaden | IBM Research | Search | Privacy | Legal ]