| 8/3/2001 4:00pm-5:00pm ECOT 831 | Orna Kupferman (Hebrew University, Israel) Coverage Metrics for Model Checking |
| 9/6/2001 3:30pm-4:30pm ECCR 265 | Torleif Mohling (System Administrator, CSOps) UNIX Tutorial |
| 9/20/2001 3:30pm-4:30pm ECCR 265 | Richard Han (Assistant Professor, Department of Computer Science) Michael Eisenberg (Associate Professor, Department of Computer Science) Richard Byrd (Associate Professor, Department of Computer Science) Research Reports |
| 9/27/2001 3:30pm-4:30pm ECCR 265 | Tamara Sumner (Assistant Professor, Department of Computer Science) The Digital Library for Earth System Education: Building Community, Building the Library |
| 10/11/2001 3:30pm-4:30pm ECCR 265 | Kenneth Anderson (Assistant Professor, Department of Computer Science) Large-Scale Information Integration: Using Open Hypermedia to Support Software Development in the Real World |
| 10/18/2001 3:30pm-4:30pm ECCR 265 | Wayne Maddison (Department of Ecology and Evolutionary Biology, University of Arizona) Mesquite, a Programming System for Evolutionary Biology: Modularity, Idealism, and the Economy of Imagination in Scientific Computing |
| 10/25/2001 3:30pm-4:30pm ECCR 265 | Howard (H. J.) Siegel (Colorado State University) Heterogeneous Distributed Computing: Goals, Methods, and Open Problems |
| 11/1/2001 3:30pm-4:30pm ECCR 265 | Satinder Singh (Syntek Capital) Electronic Commerce, Auctions, and Computational Game Theory: Some Results that Exploit Computational and Representational Restrictions on the Behavior of Agents |
| 11/8/2001 3:30pm-4:30pm ECCR 265 | Bill Byrne (Center for Language and Speech Processing, The Johns Hopkins University) Minimum Bayes-risk Automatic Speech Recognition |
| 11/14/2001 2:00pm-3:00pm ECOT 831 | Barbara Ryder (Rutgers University) Data-flow Analysis of Program Fragments |
| 11/15/2001 3:30pm-4:30pm ECCR 265 | Alexander Wolf (Associate Professor, Department of Computer Science) Bend, Don't Break: Using Reconfiguration to Achieve Survivability |
| 12/6/2001 3:30pm-4:30pm ECCR 265 | Ross McConnell (Department of Computer Science and Engineering, University of Colorado at Denver) Recognition of Circular-Arc Graphs |
| 1/17/2002 3:30pm-4:30pm ECCR 265 | James Landay (Electrical Engineering and Computer Science Department, University of California, Berkeley) Informal Tools for Designing Anywhere, Anytime, Anydevice User Interfaces |
| 1/24/2002 3:30pm-4:30pm ECCR 265 | Christopher Johnson (Director, Scientific Computing and Imaging Institute, University of Utah) Interactive Simulation and Visualization in Medicine: Applications to Cardiology, Neuroscience, and Medical Imaging |
| 2/5/2002 3:30pm-4:30pm ECOT 831 | Tony Wasserman (Director, Mobile Middleware Lab, Hewlett-Packard Company) Software Requirements for Mobile Applications |
| 2/14/2002 3:30pm-4:30pm ECCR 265 | Harvey Greenberg (Director, Center for Computational Biology, CU Denver) Combinatorial Optimization Models in Molecular Biology |
| 2/21/2002 3:30pm-4:30pm ECCR 265 | Gabriel Taubin (IBM Thomas J. Watson Research Center) Signal Processing on Polygon Meshes and 3D Geometry Compression |
| 2/25/2002 1:00pm-2:00pm Clark | Jeffrey Foster (Department of Computer Science, University of California, Berkeley) Type Qualifiers: Lightweight Specifications to Improve Software Quality |
| 2/28/2002 3:30pm-4:30pm ECCR 265 | Yongguang Zhang (Department of Computer Sciences, University of Texas at Austin) Building Robust Mobile Ad-Hoc Networks |
| 3/11/2002 2:00pm-3:00pm ECCR 200 | Erin Bradner (Department of Information and Computer Science, University of California, Irvine) Social Presence with Video and Application Sharing: Social Affordances of Computer-Mediated Communication Technologies |
| 3/14/2002 3:30pm-4:30pm ECCR 265 | Satinder Singh (Syntek Capital) Reinforcement Learning Formulations of the AI Problem: Have They Been Good for AI? |
| 3/18/2002 2:00pm-3:00pm ECCR 200 | Ravi Rajwar (Computer Sciences Department, University of Wisconsin-Madison) Lock-Free Execution of Lock-Based Multithreaded Programs |
| 3/21/2002 3:30pm-4:30pm ECCR 265 | John Black (Department of Computer Science, University of Nevada, Reno) Highly-Optimized Provably-Secure Cryptography |
| 4/1/2002 2:00pm-3:00pm ECCR 200 | José Martínez (Department of Computer Science, University of Illinois at Urbana-Champaign) Speculative Shared-Memory Architectures |
| 4/4/2002 3:30pm-4:30pm ECCR 265 | João Cangussu (Department of Computer Sciences, Purdue University) A State Variable Approach for Feedback Software Process Control |
| 4/15/2002 2:00pm-3:00pm ECCR 200 | Steve Zdancewic (Department of Computer Science, Cornell University) Programming Languages for Information Security |
| 4/16/2002 10:00am-11:00am Clark | Stephanie Weirich (Department of Computer Science, Cornell University) Programming with Types |
| 4/18/2002 3:30pm-4:30pm ECCR 265 | Yuanyuan Zhou (Department of Computer Science, Princeton University) Improving the Performance of Storage Servers |
| 4/25/2002 3:30pm-4:30pm ECCR 265 | Leysia Palen (Department of Computer Science, University of Colorado) Everyday Technology: Sociotechnical Perspectives on Design, Deployment, Adoption and Use |
| 4/29/2002 2:00pm-3:00pm ECCR 200 | Henry Tufo (Argonne National Laboratory/University of Chicago) Terascale Spectral Element Algorithms and Implementations |