Schedule for Pre-PC-Meeting Workshop

Wednesday, May 15, 2013

 

Time

Who

Topic

8:30

Everybody in the hotel

Shuttle picks you up at the hotel

9:10

Crista and Harry

Introduction

9:30

Harry Xu

Object-Orientation Meets Big Data: Language Techniques towards Highly-Efficient Data-Intensive Computing

9:45

Sam Tobin-Hochstadt

From the Principle to Practice with Class in the First Year

10:00

Don Batory

DxT: Design by Transformation

10:15

Emerson Murphy-Hill

An Adoption Theory of Secure Development Tools

10:30

Danny Dig

Interactive Program Transformation

10:45

Coffee Break

 

11:15

Gang Tan

Towards Safe Language Interoperation

11:30

David Liu

Types for Energy Management

11:45

Alex Summers

Changing perspective can be useful: on relating alternative logics for automatic software verification

12:00

Christian Kastner

Analyzing all 2^10000 Configurations of the Linux Kernel

12:15

Noam Rinetzky

Verifying Highly Concurrent Memory Reclamation Algorithms with Grace

12:30

Lunch

 

2:45

Kiyokuni (KIYO) Kawachiya

Programming Language X10 on Multiple JVMs

3:00

Hridesh Rajan

Capsule-oriented Programming

3:15

Mircea Filip Lungu

Program Comprehension Across Abstraction Levels

3:30

Coffee break

 

4:00

David Lorenz

Language Oriented Modularity

4:15

Hidehiko Masuhara

COP with Only Layers

4:30

Stefan Hanenberg

Human-Centered Studies on Type Systems: An Experiment Series

4:45

Zhendong Su

"Natural" Programming for TouchDevelop

 

 

 

 

 

 

 

 

 

5:50

Everybody

Shuttle goes back to the hotel