|
|
|
|
| Oct. 26, 2001
3-4PM MARC auditorium |
Machines Reasoning about Machines | J Strother Moor, Admiral B.R. Inman Centennial Chair in Computing Theory, Dept. of Computer Sciences, UT Austin. |
| Oct. 31, 2001
11-12AM CCB 259 |
Domain Specific Languages | Gilles Muller, University of Bordeaux |
| Nov. 2, 2001
10-12AM CCB 354 |
The Active Streams Approach to Adaptive Distributed Applications and Services | Fabian Bustamante - PhD Thesis Defense |
| Nov. 2, 2001
3-4PM MiRC 102A |
Ubiquitous Networked Services | Pete Steenkiste, Carnegie Mellon University |
| Nov. 5, 2001
2-3PM MiRC 102 |
Key Research Thrusts at IBM Research: Continual Optimization, Knowledge Management, and Web Services | Alfred Spector, IBM, Vice President of Services and Software, IBM Research Division |
| Nov. 7, 2001 2:30-3:30PM
MiRC 102A |
Monitors -- A New Class of DBMS Applications | Mike Stonebreaker |
| Nov. 8-9 | Georgia Tech Symposium on Computing Systems and Networking Technologies | hosted by Kishore Ramachandran |
| Nov. 14, 2001
3-4PM MiRC 102A |
Static Checking of Interrupt-driven Software | Jens Palsberg, Purdue University |
| Nov. 30, 2001
1:30-2:30PM TBD |
Zero people-print: self-designing, self-managing storage systems | Guillermo Alvarez, Hewlett-Packard Lab |
| Dec. 5, 2001
1-2:30PM CCB 354 |
The Solar Infrastructure to Support Context-Aware Mobile Computing | David Kotz, Dartmouth College |
| Dec. 5, 2001
3:00PM Stud.Ctr.321 |
Bend, Don't Break: Using Reconfiguration to Achieve Survivability | Alexander Wolf, Dept. of Computer Science, University of Colorado at Boulder |
| Dec. 7, 2001
3:00PM CRB 238 |
Towards Pattern-based Design Recovery | Wilhelm Schäfer, joint work with Jörg Niere and Lothan Wendehals, Department of Math and CS, University of Paderborn |