Probabilistic Methods in Computational Systems and Infrastructure
April 15th - 16th 1999
Microsoft Research
MS Research Conference Room (31/2053)
Program
Thursday, April 15th
8:00
Breakfast8:30
Opening Remarks and IntroductionsEric Horvitz and Bill Mark
8:45 Study Proposal and Meeting Goals
Eric Horvitz
I. Computational Theory, Probability, and Real-World Challenges
9:00-10:40
The Uses of Probability in Algorithm Design and Analysis
Dick Karp
Yuri Gurevich
Understanding Problem Hardness: Recent Developments and Directions
Bart Selman
Threshold Phenomena and Computational Complexity
Dimitris Achlioptas
Break
10:45-11:00
II. Probability and Utility in Computational Systems
11:00-12:25
Towards Resource Aware Applications and Systems
Mike Jones
Probabilistic Approaches to Adaptive Protocols for Reliable Distributed Systems
Yi-Min Wang
A Cost-Benefit Approach to Partitioning Resources in Distributed Operating Systems
Galen Hunt
Heisenbugs: A Probabilistic Approach to System Availability (Additional slides)
Jim Gray
Lunch
12:30-1:30
III. Probability, Utility, and Network Infrastructure
1:30-2:45
Adaptive Network Applications: A Likely Consumer for Probabilistic Methods
Scott Shenker
Market-Based Allocation of Computational Resources
Michael Wellman
Allocation of Distributed Resources in Mobile Computing: A Case Study
Jack Breese
Break
2:45-3:00
Breakout Groups (See attached page.)
3:00-5:00
Probability, Utility, and Foundations of Computation
Breakout Room: 31/2027
Opportunities for Applying Probability and Utility for Reliable and Flexible Operating Systems
Breakout Room: 31/2133
Challenges and Opportunities with Market-Based Approaches to Computational Resource Allocation
Breakout Room: 31/3027
Probabilistic methods and communications
Breakout Room: 31/2329
5:00 Adjourn
6:45-9:30 Dinner at Third Floor Fish Café
Friday, April 16th
8:00
Breakfast8:30
Review of First DayEric Horvitz
Reports on breakout group sessions
9:00-10:20
Break
10:30-10:45
10:45
General Discussion and ReviewEric Horvitz
11:30
Discussion of Future Meetings and PlansEric Horvitz and Bill Mark
12:00 Adjourn / Lunch (Box lunches provided.)