Probabilistic Methods in Computational Systems and Infrastructure

April 15th - 16th 1999

Microsoft Research

MS Research Conference Room (31/2053)

 

Participants

Program

Thursday, April 15th

8:00 Breakfast

8:30 Opening Remarks and Introductions

Eric 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

Average Case Complexity

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 Breakfast

8:30 Review of First Day

Eric Horvitz

Reports on breakout group sessions

9:00-10:20

 

Break

10:30-10:45

 

10:45 General Discussion and Review

Eric Horvitz

 

11:30 Discussion of Future Meetings and Plans

Eric Horvitz and Bill Mark

 

12:00 Adjourn / Lunch (Box lunches provided.)