Public Talks
Choose Type
All of these talks are open to the public, and will provide some insight into various research activities here and at other institutions.
Choose Year
| May 2002 | ||
|---|---|---|
 | 16 | A Collaborative view of Wearable/Mobile Information Systems Zary Segall, University of Oregon |
| 09 | Automatic Construction of State Invariants and Their Application in Software Development Constance Heitmeyer, Center for High Assurance Computer Systems, Naval Research Laboratory, Washington, DC |
| 03 | Transcending the Individual Human Mind: Social Creativity and Meta-Design Gerhard Fischer, Department of Computer Science and Institute of Cognitive Science, University of Colorado |
| 02 | Adaptive Internet Multimedia Streaming Reza Rejaie, University of Oregon |
| April 2002 | ||
| 25 | Compiling with Types and Flows Allyn Dimock, Harvard University |
| 15 | Automating Selective Dynamic Compilation Markus Mock, University of Washington |
| 11 | Revere--Disseminating Security Updates at Internet Scale Jun Li, Laboratory for Advanced Systems Research, Computer Science Department, University of California, Los Angeles |
 | 08 | Know When To Fold 'Em. The Value of Improved Heuristics in A* Search Tristan Smith, University of Oregon |
| 04 | Adaptive Scalable Internet Streaming Dmitri Loguinov, City University of New York |
| 02 | Behavioral Software Contracts Robert Bruce Findler, Rice University |
| March 2002 | ||
| 14 | Framework and Toolkit for the Effective Measurement and Representation of Internet Internal Characteristics Khaled Harfoush, Boston University |
| 13 | Security Protocols for Broadcast Communication Adrian Perrig, University of California, Berkeley |
| 07 | Formalizing Reuse in Open, Collaborative Systems Joseph Kiniry, California Institute of Technology |
| February 2002 | ||
| 28 | Exploratory cognitive modeling provides insight into the strategic
coordination of the perceptual and motor processes used to search
hierarchical computer displays Anthony Hornof, University of Oregon |
| 21 | Secure Computing Through Types Bratin Saha, Yale University |
| 15 | Programming with Types Stephanie Weirich, Cornell University |
| 14 | Programming Languages for Secure Information Flow Stephan Zdancewic, Cornell University |
| 12 | Group Key Agreement: Theory and Practice Yongdae Kim, University of Southern California |
| 07 | Automatic Tools for Building Secure Systems Dawn Song, Department of Computer Science, University of California, Berkeley |
| 05 | Multicast Monitoring: Supporting a Robust Multicast Service in the Network Kamil Sarac, University of California, Santa Barbara |
| January 2002 | ||
| 31 | Value Sensitive Design Batya Friedman, The Information School, University of Washington |
| October 2001 | ||
| 16 | Evolutionary perspectives on protein folding, structure, and thermodynamics Richard Goldstein, Department of Chemistry, Biophysics Research Division, University of Michigan |