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., and Dai, P. VTRACE Methodology and Communication Performance Analysis. Tech. rep., Brown University, Nov. 1995. [ pdf ]
Doeppner, T. W. The Brown C++ Threads Library. Tech. rep., Brown University, Jan. 1995.
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. The Thread-Monitor Library: A System for Monitoring Solaris-Threads Programs. Tech. rep., Brown University, Sept. 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.
1992
Doeppner, T. W. Open Software: UNIX/OSF/UI, Etc. Tech. rep., Brown University, Nov. 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).
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, June 1988.
1987
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, June 1987. [ pdf ]
Doeppner, T. W., Bloom, J. M., and Johnson, D. D. A White Paper on Concurrent Programming. Tech. rep., Brown University, Apr. 1987.
Doeppner, T. W. A Threads Tutorial. Tech. rep., Brown University, Mar. 1987. [ pdf ]
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, June 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. Thoughts on the Implementation of ADA Multi-Tasking. Tech. rep., Brown University, Nov. 1979.
Doeppner, T. W., Reiss, S., and Wegner, P. Comparison of Red and Green Languages. Tech. rep., Brown University, Apr. 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: Tue Oct 13 09:24:42 2009 |