Bhl-cv-08. dvi
Yüklə 199,21 Kb. Pdf görüntüsü
|
Interoperability for Large and Small Objects Workshop on Persistent Objects Bases, LaJolla, CA, October 1994. The Meaning of Subtypes University of Texas/Austin, October 1994. Integrating Persistent Object Bases with Communication Bell Labs, Murray Hill, New Jersey, October 1994. Distinguished Lecture, University of Texas, October 1994. Distinguished Lecture, University of California/Santa Barbara, October 1994. Harvard University, February 1995. Keynote Address, 15th International Conference on Distributed Computing Systems, Vancouver, BC, June 1995. Integrating Persistent Object Bases with Communication: A New Direction for Object-Oriented Systems Distinguished Lecture, University of Michigan, October 1995. Dartmouth University, November 1995. Safe Heterogeneous Sharing in the Thor Object-Oriented Database System Distinguished Lecture, Northeastern University, Boston MA, April 1996 Distinguished Lecture, University of Kentucky, Lexington KY, April 1996 Invited Lecture, 1996 NEC Symposium, Princeton NJ, May 1996. Safe Heterogeneous Computing can be Fast Workshop on Persistent Object Systems, Cape May NJ, May 1996. Safe and Efficient Sharing of Persistent Objects in Thor International SIGMOD Conference, Montreal Canada, June 1996. Achieving High Performance and Scalability in Thor Laboratory for Computer Science Annual Meeting, Nantucket MA, June 1996. Efficient and Reliable Storage in the Interactive World-Wide Metacomputer DARPA, Washington DC., June 1996 Research Issues in Distributed Object Storage Systems Distinguished Lecture, Brown University, October 1996. Distinguished Lecture, University of Pennsylvania, November 1996. Thor: A Persistent Object Storage System DARPA Quorum Meeting, Dallas TX, December 1996. Survivability in Distributed Systems DARPA, Washington DC., May 1997. PolyJ: Parameterized Types for Java Keynote Lecture, IBM Symposium, Yorktown Heights, NY, Nov. 1997. A Decentralized Model of Information Flow Control Distinguished Lecture, University of Virginia, Charlottesville VA, Nov. 1997. Distinguished Lecture, INRIA, Rocquencourt, France, May, 1998. Software Updates NEC Corporation, Tokyo, Japan, March 1999. Safe yet Efficient Sharing in Wide-Area Distributed Systems Keynote Address, 13th International parallel processing Symposium, San Juan, Puerto Rico, April 1999.
24 Keynote Address, Conference on Object-Oriented Technologies and Systems, San Diego, CA, May 1999.
Keynote Address, European Conference on Object-Oriented Programming, Lisbon, Portugal, June 1999.
A Decentralized Model for Information Flow Control DARPA Presentation, Cambridge MA, June 1999. Providing Persistent Objects in a Distributed Environment Distinguished Lecture, Duke University, Raleigh NC, Nov. 1999. Distinguished Lecture, Rice University, Houston TX, Nov. 1999. Distinguished Lecture, University of Minnesota, St. Paul, MN, April 2000. Distinguished Lecture, University of Illinois, Urbana-Champaign IL, April 2000. Distinguished Lecture, University of California at Berkeley, Berkeley CA, Nov. 2000. Distinguished Lecture, University of Toronto, Toronto, Canada, Mar. 2001. Practical Byzantine Fault Tolerance with Proactive Recovery University of California at Berkeley, Berkeley CA, Nov. 2000. Practical Byzantine Fault Tolerance EPOCH Conference, Taipei, Taiwan, May 2001. Software Upgrades in Distributed Systems Keynote Address, Symposium on Operating Systems Principles, Lake Louise, Ontario, Canada, October 2001. Byzantine Fault Tolerance in Distributed Systems EECS Lecture Series, December 2001. Ownership Types for Object Encapsulation Invited Talk, Symposium on Principles of Programming Languages, New Orleans, LA, January 2003 Issues in Peer-to-Peer Computing Plenary Talk, Federated Computing Conference, San Diego, CA, June 2003 Large Scale BFT Storage in a Dynamic Environment Distinguised Lecture, Cornell University, Ithaca, NY, October 2003. Magnificent Pathways Cornell University, Ithaca, NY, October 2003. Lazy Modular Upgrades in Persistent Object Stores Oopsla 2003, San Diego, CA, October 2003. TimeLine: A High Performance Archive for a Distributed Object Store NSDI 2004, San Francisco, California, March 2004. Data Replication Treasury Department, Washington DC., March 2005. Providing Secure Storage on the Internet Saul Gorn Memorial Lecture, University of Pennsylvania, Philadelphia, Pennsylvania, April 2005. Global Storage Challenges Max Planck Institute on Computer Systems, Kaiserslautern, Germany, September 2005. 25
Global Storage ETH, Zurich, Zurich, Switzerland, November 2005. Software Upgrades in Distributed Systems Distinguished Lecture, College of William and Mary, Williamsburgh, Virginia, February 2006. Sun Microsystems, Woburn, Massachusetts, March 2006. Robert Stewart Distinguished Lecture, Iowa State University, Ames, Iowa, April 2006. From ViewStamped Replication to BFT Workshop on Replication, Monte Verita, Switzerland, March 2007. Distinguished Lecture, University of Waterloo, Waterloo, Ontario, Canada., April 2007. Systems Research SOSP Womens’ Workshop, Stevenson WA, Oct. 2007. Security of Online Storage Symposium on Computing Research the Changed the World, Library of Congress, Washington DC, March 2009. 26
PhD Dissertations Supervised 1. Laventhal, Mark S. Synthesis of Synchronization Code for Data Abstractions. (June 1978). 2. Snyder, L. Alan. A Machine Architecture to Support an Object-Oriented Language. (September 1978). 3. Berzins, Valdis. Abstract Model Specifications for Data Abstractions. (September 1979). 4. Atkinson, Russell R. Automatic Verification of Serializers. (June 1980). 5. Kapur, Deepak. Towards a Theory for Abstract Data Types. (June 1980). 6. Moss, J. Eliot B. Nested Transactions: An Approach to Reliable Distributed Computing. (June 1981). 7. Schaffert, Justin C. Specification and Verification of Programs using Data Abstractions and Sharing. (February 1982). 8. Bloom, T. Dynamic Module Replacement in a Distributed System. (June 1983). 9. Chiu, Sheng-Yang. A Debugging System for Argus, a Guardian and Transaction-Based Language for Distributed Computations. (February 1984). 10. Herlihy, Maurice P. Modular Composition of Fault-Tolerant Systems (June 1984). 11. Weihl, William E. A Method for the Construction of Modular, Reliable, Concurrent Systems. (June 1984). 12. Oki, Brian M. Viewstamped Replication for Highly Available Distributed Systems. (June 1988). 13. Ladin, Rivka. Methods for Managing Distributed Object Spaces. (June 1989). 14. Hwang, Deborah J. Indexing for Fast Associative Access to Large Object Sets. (June 1994). 15. Day, Mark. Managing a Cache of Swizzled Objects and Surrogates. (February 1995). 16. Ghemawat, Sanjay. The Modified Object Buffer: A Storage Management Technique for Object-Oriented Databases. (February 1996). 17. Gruber, Robert. Optimism vs. Locking: A Study of Concurrency Control for Client-Server Object- Oriented Databases. (February 1997). 18. Maheshwari, Umesh. Garbage Collection in a Large, Distributed, Object Store. (September 1997). 19. Myers, Andrew C. Mostly-Static Decentralized Information Flow Control. (January 1999). 20. Adya, Atul. Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions. (March 1999). 21. Castro, Miguel. Practical Byzantine Fault Tolerance. (November 2000). 22. Ajmani, Sameer. Automatic Software Upgrades for Distributed Systems. (September 2004). 23. Rodrigues, Rodrigo. Robust Services in Dynamic Systems. (February 2005). 24. Leong, Ben. New Techniques in Geographic Routing. (May 2006). 25. Vandiver, Ben. Detecting and Tolerating Byzantine Faults in Database Systems. (May 2007). 26. Cheng, Winnie Wing-Yee, Information Flow for Secure Distributed Applications. (Sept. 2009). 27
MS Dissertations Supervised 1. Ellis, David J. Data Structures and References in the Base Language. (September 1973). 2. Laventhal, Mark S. Verification of Programs Operating on Structured Data. (February l974). 3. Aiello, Jack M. An investigation of Current Language support for the Data Requirements of Structured Programming. (June 1974). 4. Snyder, L. Alan. A Portable Compiler for the Language C. (June 1974). 5. Atkinson, Russell R. Optimization Techniques for a Structured Programming Language. (June 1976). 6. Moss, J. Eliot B. An Abstract Data Type Facility for a Programming Language. (February 1978). 7. Schaffert, Justin C. Specifying Meaning in Object-Oriented Languages. (February 1978). 8. Principato, Robert N. A Formalization of the Parnas Module Specification Technique. (June 1978). 9. Scheifler, Robert W. A Denotational Semantics of CLU. (June 1978). 10. Bloom, Toby. Synchronization of Data Abstractions. (February 1979). 11. Herlihy, Maurice. Communicating Abstract Values in Messages. (June 1980). 12. Humphries, Thorna. Overloading in Programming Languages with Data Abstractions. (June 1981). 13. Ng. Pui. Distributed Compilation and Recompilation of Database Queries. (February 1982). 14. Henderson, Cecilia E. Locating Migratory Objects in an Internet. (June 1982). 15. Oki, Brian M. A Stable Storage System for Argus. (June 1983). 16. Gilbert, Lucy. The Task Construct in the Programming Language Ada. (September 1983). 17. Lancaster, Julia N. A Non-Procedural Approach to Program Composition for CLU. (September 1983). 18. Dirks, Patrick W. Control and Management of Distributed Computation Using Remote Procedure Call-based Protocols. (June 1984). 19. Walker, Edward F. Orphan Detection in the Argus System. (June 1984). 20. Wagner, Richard M. Integrating Animation into a Programming Environment. (February 1985). 21. Restivo, James P. Addition of Type Information to the Argus Debugger. (June 1985). 22. Kolodner, Elliot W. Recovery from Garbage Collected Virtual Memory. (September 1986). 23. Day, Mark S. Replication and Reconfiguration in a Distributed Mail Repository. (February 1987). 24. Hwang, Deborah J. Constructing a Highly-Available Location Service for a Distributed Environment. (February 1988). 25. Xu, Andrew. A Fault-Tolerant Network Kernel for Linda. (February 1989). 26. Cohen, Jeffrey I. Atomic Stable Storage Across A Network. (June 1989). 27. Gruber, Robert E. Nested Optimistic Actions in a Distributed System. (June 1989). 28. Ben-Zvi, Boaz. Disconnected Actions: An Asynchronous Extension to a Nested Atomic Action System, (February 1990). 28
29. Ghemawat, Sanjay. Automatic Replication for Highly Available Services. (February 1990). 30. Friedman, Paul. An Environment for Debugging Concurrent Software in Trellis. (June 1990). 31. Markowitz, Steven C. Central-Server-Based Orphan Detection for Argus. (June 1990). 32. Stata, Raymie. Block Assignment Problem. (September 1990). 33. Cathey, George. Performance Evaluation of Sun Microsystems’ Network File System Protocol. (Febru- ary 1991). 34. LeBlanc, Marc A. Fine-grained Disk Space Accounting in Object-Oriented Databases. (June 1991). 35. Gleason, James A. A Reverse Engineering Tool for a Computer Aided Software Engineering (CASE) System. (June 1992). 36. Maheshwari, Umesh. Distributed Garbage Collection in a Client-Server, Transactional System. (Febru- ary 1993). 37. Medina, Alejandro J. Software Requirements Analysis: How Adaptable to Changes is Structured Anal- ysis. (June 1993). 38. Myers, Andrew C. Optimizing Method Dispatch in a Heterogeneous Object Repository. (June 1993). 39. Stephens, Anne. Converting from C to C++: A Case Study. (June 1993). 40. Adya, Atul. Transaction Management in a Client-Server Model Using Optimistic Concurrency. (Febru- ary 1994). 41. Bogle, Phillip. Principle-Based Parsing of Verb Second Languages. (June 1994). 42. Barchak, Christopher. Supporting Reuse with Configuration Management and the World Wide Web. (June 1995). 43. Kirmse, Andrew. Implementation of the Two-Phase Commit Protocol in Thor. (June 1995). 44. Zondervan, Quinton. Batched Control Structures. (June 1995). 45. Liang, Winnie. Managing Information Overload on the Web with Collaborative Filtering (February 1996).
46. Ng, Tony. Efficient Garbage Collection for Large, Object-Oriented Databases. (June 1996). 47. Bendiek, Sabine. Modeling the Deutsche Bank Technical Repository in Thor – A Study of the Ben- efits, Shortcomings, and Development Process Implications of Using the Distributed Object-Oriented Database System Thor in an Industrial Application. (June 1996). 48. Bank, Joseph. Code Importing Techniques for Fast, Safe Client/Server Access. (June 1996). 49. Coffman, Thayne. A Framework for Automated System Testing. (June 1996). 50. Hunter, Jason. Zephyr Extensibility in Small Workstation-Oriented Networks. (June 1997). 51. Sun, Peter. A Distributed Messaging System Based on a Distributed, Object-Oriented Database. (May 1998). 52. Parthasarathi, Arvind. The NetLog: An Efficient, Highly Available Stable Storage Abstraction. (June 1998). 53. Boyapati, Chandrasekhar. JPS: A Distributed Persistent Java System. (September 1998). 54. Schneider, William. Enforcing Honest Behavior in Agent Economies. (June 1999). 29
55. Warshawsky, Nimrod. Extending the Metaglue Multi-Agent System. (June 1999). 56. Yang, Zheng. Byzantine-Fault-Tolerant Secure DNS Infrastructure. (June 1999). 57. Woo, Shan Ming. Lazy Type Changes in Object-Oriented Databases. (January 2000). 58. Wijeyekoon, Arjuna C. Domino Spaces. (May 2000). 59. Mathewson, Nick. Verifying Information Flow Control in Java. (May 2000). 60. Rohrs, Christopher H. Adaptive Type-Partitioned Garbage Collection. (May 2000). 61. Ajmani, Sameer. A Trusted Execution Platform for Multiparty Computation. (September 2000). 62. Tang, Ziqiang. Dynamic Reconfiguration of Component-Based Applications in Java. (September 2000). 63. Ahmed, Sarah. A Scalable Byzantine Fault Tolerant Secure Domain Name System. (January 2001). 64. Rodrigues, Rodrigo. Combining Abstraction with Byzantine Fault Tolerance. (May 2001). 65. Lustbader, Steven. Feasibility of GNU/Linux as the OS for a PC-based Medical Product. (December 2002).
66. Schmidt, Justin. A Framework for Peer-to-Peer Applications. (May 2003). 67. Moh, Chuang-Hue. Snapshots in a Distributed Persistent Object Storage System. (May 2003). 68. Gupta, Anjali. Efficient Routing for Peer-to-Peer Systems. (May 2004). 69. McNurlen, Austin C. Petscope: A Standardized System for Ballistic Missile Guidance Data Analysis. (May 2004). 70. Schalck, Richard C. Object Evolution: Adding Runtime Class Mutability to the JVM. (January 2005). 71. Liang, Joanna. The Application of the Value-added Activity Model for the Mark-6 LE Integration Project. (June 2005). 72. Chau, David C. Authenticated Messages for a Real-Time Fault-Tolerant Computer System. (June 2006).
73. Sterling, Reuben M., A Synchronous Communication system for a Software-Based Byzantine Fault Tolerant Computer. (September 2006). 74. Schultz, David. Mobile Proactive Secret Sharing. (Jan. 2007). 75. Cowling, James. HQ Replication. (May 2007). 76. Zhou, You. Computing Network Coordinates in the Presence of Byzantine Faults. (May 2008). 77. Dryjanski, David. Practical Mobile Proactive Secret Sharing. (May 2008). 78. Tang, Melinda. Wireless Reconfigurability of Fault-Tolerant Processing Systems. (Sept. 2008). Reader for Doctoral Theses 1. Henderson, Dugald Austin. The Binding Model: A Semantic Base for Modular Programming Systems. (February 1975). 2. Rumbaugh, James E. A Parallel Asynchronous Computer Architecture for Data Flow Programs. (June 1975).
30 3. Greif, Irene. Semantics of Communicating Parallel Processes. (September 1975). 4. Janson, Philippe A. Using Type Extension to Organize Virtual Memory Mechanisms. (September 1976). 5. Okrent, Howard F. Synthesis of Data Structures from their Algebraic Description. (February 1977). 6. Yonezawa, Akinori. Meta-Evaluation of Actor Programs with Side-Effects and Parallelism. (February 1978).
7. Baker, Henry G., Jr. Actor Systems for Real-Time Computation. (June 1978). 8. Isaman, David L. Data-Structuring Operations in Concurrent Computations. (September 1979). 9. Luniewski, Allen W. The Architecture of an Object Based Personal Computer. (February 1980). 10. Kopec, Gary E. A Modular Signal Processing Programming Language System. (June 1980). 11. Srivas, M. K. Automatic Synthesis of Implementations for Abstract Data Types from Algebraic Spec- ifications. (February 1982). 12. Wing, Jeannette M. Bridging Algebraic Specifications and their Implementations Via Interfaces. (June 1983).
13. Gramlich, Wayne C. Checkpoint Debugging. (December 1983). 14. Stark, Eugene W. Foundations of a Theory of Specification for Distributed Systems. (June 1984). 15. Stamos, James W. Remote Evaluation. (June 1985). 16. Leavens, Gary. Verifying Object-Oriented Programs That Use Subtypes. (February 1989). 17. Yelick, Katharine. Utilizing Abstraction in Explicitly Parallel Program. (February 1991). 18. Kolodner, Elliot W. Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap. (June 1991). 19. Waldin, Earl D. III. Flexible Communications in Heterogeneous Distributed Systems. (September 1992). 20. Troxel, Gregory D. Computer Clock Synchronization over Packet Networks. (June 1994). 21. Sheldon, Mark. Content Routing: A Scalable Architecture for Network-Based Information Discovery. (June 1995). 22. Johnson, Kirk. High Performance All-Software Distributed Shared Memory. (September 1995). 23. O’Toole, James. Effective Information Sharing Using Update Logs. (February 1996). 24. Stata, Raymie. Modularity in the Presence of Subclassing. (May 1996). 25. Velez-Rivera, Bienvenido. Query Lookahead for Query-Based Document Categorization. (September 1999). 26. Yao Sun. Information Exchange between Medical Databases through Automated Identification of Con- cept Equivalence. (October 2001). 27. Boyapati, Chandra. SafeJava: a Unified Type System for Safe Programming. (January 2004). 28. Witchel, Emmett. Mondriaan Memory Protection. (January 2004). 29. Kulik, Joanna. The Design of a Fast and Flexible Internet Subscription System Using Content Graphs. (May 2004). 31
30. Chen, Benjie. A Serverless Wide-Area Version Control System (May 2004). 31. Balazinska, Magdalena. Fault-Tolerance and Load Management in a Distributed Stream Processing System (December 2005). 32. Li, Ji. Organization in the Knowledge Plane. (May 2008). 33. McCamant, Stephen. Quantitative Information-Flow Tracking for Real Systems. (May 2008). 34. Muthitacharoen, Athicha. The Expandable Network Disk. (Sept. 2008). 35. Yip, Alex. Improving Web Site Security with Data Flow Management. (Sept. 2009). 32 Yüklə 199,21 Kb. Dostları ilə paylaş:
|