Thomas W. Doeppner Jr.

Publication Activity (10 Years)

Years Active: 1976-2000
Publications (10 Years): 0

Publications

Thomas W. Doeppner Jr., Philip N. Klein, Andrew Koyfman
Using router stamping to identify the source of IP packets. CCS (2000)
Bryan Cantrill, Thomas W. Doeppner Jr.
ThreadMon: A Tool for Monitoring Multithreaded Program Performance. HICSS (1) (1997)
Thomas W. Doeppner Jr.
Distributed File Systems and Distributed Memory. ACM Comput. Surv. 28 (1) (1996)
Alessandro Giacalone, Martin C. Rinard, Thomas W. Doeppner Jr.
IDEOSY: An Ideographic and Interactive Program Description System. Software Development Environments (SDE) (1984)
Thomas W. Doeppner Jr., Alessandro Giacalone
A Formal Description of the UNIX Operating System. PODC (1983)
Alessandro Giacalone, Thomas W. Doeppner Jr., Michael J. Braca
Toward a Formally Based Programming Environment. ECICS (1982)
Thomas W. Doeppner Jr.
Parallel Program Correctness Through Refinement. POPL (1977)
Thomas W. Doeppner Jr.
On Abstractions of Parallel Programs STOC (1976)