Thomas W. Doeppner's Publications
2000
Doeppner, T. W., Klein, P. N., and Koyfman, A. Using router stamping to identify the source of IP packets. In Proceedings of the Seventh ACM Conference on Computer and Communications Security (2000), pp. 184-189. [ pdf ]
1997
Cantrill, B., and Doeppner, T. ThreadMon: A Tool for Monitoring Multithreaded Program Performance. In Proceedings of 30th Hawaii International Conference on System Sciences (Jan 1997). [ pdf ]
1996
Doeppner, T. Distributed File Systems and Distributed Memory. Computing Surveys 28, 1 (Mar 1996). [ pdf ]
1995
Doeppner, T. W. The Brown C++ Threads Library. Tech. rep., Brown University, Jan 1995.
Doeppner, T. W., and Dai, P. VTRACE Methodology and Communication Performance Analysis. Tech. rep., Brown University, Nov 1995. [ pdf ]
1994
Doeppner, T. W. An Introduction to the Spring Operating System, Course Notes. SunSoft, 1994.
Doeppner, T. W. Programming with Threads, Course Notes. SunSoft, 1994.
1993
Doeppner, T. W. Design of the OSF/1 Operating System. Prentice Hall, 1993.
Doeppner, T. W. Open Software: UNIX, DCE and Competitors. In Course Notes for the 1993 CERN School of Computing. 1993.
Doeppner, T. W. The Thread-Monitor Library: A System for Monitoring Solaris-Threads Programs. Tech. rep., Brown University, Sep 1993.
1992
Doeppner, T. W. DCE Internals Course Notes. Open Software Foundation, Cambridge, MA, 1992.
Doeppner, T. W. OSF/1 Microkernel Course Notes. Open Software Foundation, Cambridge, MA, 1992.
Doeppner, T. W. Open Software - UNIX/OSF/DCE Etc. In Proceedings of the International Conference on Computing in High Energy Physics (1992).
Doeppner, T. W. Open Software: UNIX/OSF/UI, Etc. Tech. rep., Brown University, Nov 1992.
1991
Doeppner, T. W. OSF/1 Internals Course Notes. Open Software Foundation, Cambridge, MA, 1991.
1989
Doeppner, T. W., Araal, Z., Bloom, J., Gertner, I., Langerman, A., and Schaffer, G. Variable Weight Processes with Flexible Shared Resources. In Proceedings of the Advanced Computing Systems Association (USENIX) Meeting (1989). [ pdf ]
1988
Doeppner, T. W. A Threads Tutorial (Fortran Version). Tech. rep., Brown University, Jun 1988.
1987
Doeppner, T. W. A Threads Tutorial. Tech. rep., Brown University, Mar 1987. [ pdf ]
Doeppner, T. W., and Gebele, A. C++ on a Parallel machine. In Proceedings of the 1st Advanced Computing Systems (USENIX) Association Workshop on C++ (Nov 1987). [ pdf ]
Doeppner, T. W. Threads: A System for the Support of Concurrent Programming. Tech. rep., Brown University, Jun 1987. [ pdf ]
Doeppner, T. W., Bloom, J. M., and Johnson, D. D. A White Paper on Concurrent Programming. Tech. rep., Brown University, Apr 1987.
1986
Doeppner, T. W. System Manual for Threads. Tech. rep., Brown University, Dec 1986.
Doeppner, T. W. Towards a Workstation Operating System. In Proceedings of the 19th Hawaii International Conference on System Sciences (Jan 1986).
1985
Doeppner, T. W. A Minimal Operating System for Nil-like Environments. Tech. rep., Brown University, Jan 1985.
1984
Doeppner, T. W., Giacalone, A., and Rinard, M. Ideosy - An Ideographic and Interactive Program Description System. In Proceedings of ACM Symposium on Practical Software Development Environments (May 1984), ACM Press.
1983
Doeppner, T. W., and Giacalone, A. A Formal Description of the UNIX Operating System. In Proceedings of the 2nd ACM Symposium on Principles of Distributed Computing (Aug 1983), ACM Press.
Doeppner, T. W., Giacalone, A., and Braca, M. J. Toward a Formally-Based Programming Environment. In Proceedings of the European Conference on Integrated Interactive Systems (1983), North Holland Publishing Company.
1982
Doeppner, T. W., Braca, M. J., and Giacalone, A. A Formally-Based Programming Environment. Tech. rep., Brown University, May 1982.
Doeppner, T. W., Braca, M. J., and Giacalone, A. Toward a Formally-Based Software Development Environment. Tech. rep., Brown University, Jan 1982.
1981
Doeppner, T. W., and Smolka, S. A. A Procedure for the Static Detection of Deadlock in CSP Programs. Tech. rep., Brown University, Jun 1981.
1980
Doeppner, T. W., Sedgewick, R., and van Dam, A. A Computing Environment for Experimental Research in Computer Science. Tech. rep., Brown University, Dec 1980.
1979
Doeppner, T. W., Reiss, S., and Wegner, P. Comparison of Red and Green Languages. Tech. rep., Brown University, Apr 1979.
Doeppner, T. W. Thoughts on the Implementation of ADA Multi-Tasking. Tech. rep., Brown University, Nov 1979.
Doeppner, T. W. Towards a Semantics of Nonterminating Parallel Programs. Tech. rep., Brown University, Jan 1979.
1977
Doeppner, T. W. Parallel Program Correctness through Refinement. PhD thesis, Princeton University, Department of Electrical Engineering and Computer Science, May 1977.
Doeppner, T. W. Parallel Program Correctness through Refinement. In Proceedings of the Fourth Annual ACM Symposium on Priniciples of Programming Languages (POPL77) (Jan 1977), ACM Press.
1976
Doeppner, T. W. On Abstractions of Parallel Programs. In Proceedings of the 8th Annual ACM Symposium on Theory of Computing (STOC76) (May 1976).
1975
Doeppner, T. W., and Keller, R. M. On the Relevance of Abstract Models in Modelling Semaphore Implementations. Tech. rep., Princeton University, Department of Electrical Engineering, Computer Sciences Laboratory, Oct 1975.
| Page Owner: Thomas W. Doeppner | Last Modified: Mon Nov 20 16:12:38 2006 |