Workshop program: EC² 2011

Breakfast: 7:00-8:30

Workshop: 8:30-10:00

• Position Paper: Sela Mador-Haim, Rajeev Alur, and Milo Martin. Towards a Theory of Hardware Memory Consistency Models.

• Invited Talk: Tom Ball (Microsoft Research). A Tool-based Approach to Conquering Concurrent Programming.

Coffee: 10:00-10:30

Workshop: 10:30-12:00

• Position Paper: Stephen F. Siegel. Generalizing Formal Methods from Sequential to Message-Passing Parallel Programs: The Case of Symbolic Execution.

• Invited Talk: Richard Vuduc (Georgia Tech). Performance and correctness of software for large-scale heterogeneous systems.

Sack lunch: 12:00-1:30

Workshop: 1:30-3:00

• Position Paper: Jinpeng Lv, Guodong Li, Alan Humphrey, and Ganesh Gopalakrishnan. Performance Degradation Analysis of GPU Kernels.

• Invited Talk: Martin Berzins (University of Utah). Petascale Computing using a Directed Acyclic Graph Based Approach - Scalability of the Uintah Software to 200K cores.

Coffee: 3:00-3:30

Workshop: 3:30-5:00

• Discussions

6:00-?

• Workshop reception, poster display

Breakfast: 7:00-8:30

Workshop: 8:30-10:00

• Position Paper: Sandip Ray and Rob Sumners. A Theorem Proving Approach for Verification of Reactive Concurrent Programs

• Invited Talk: Johannes Gehrke (Cornell). Playing Games with Data Management.

Coffee: 10:00-10:30

Workshop: 10:30-12:00

• Position Paper: Sven Stork, Paulo Marques, and Jonathan Aldrich. AEMINIUM: A Concurrent-by-Default Programming Language.

• Invited Talk: Guy Blelloch (Carnegie Mellon). Deterministic parallel algorithms and programming.

Sack lunch: 12:00-1:30

Workshop: 1:30-3:00

• Position Paper: Matthias Fugger and Josef Widder. On Efficient Checking of Link-reversal-based Concurrent Systems.

• Invited Talk: Murali Talupur (Intel). Reasoning About Replication: Parameteric Verification of Industrial Protocols.

Coffee: 3:00-3:30

Workshop: 3:30-5:00

• Discussions