The Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009)
Venue: Room B103, Bldg Number 39 (BK Conference Hall), Seoul National University
Contact: aplas09 at ropas.snu.ac.kr
Contact: aplas09 at ropas.snu.ac.kr
Invited Tutorials
December 13, 2009
09:00 - 10:30 Tutorial 1 Part 1
Separation Logic from the Perspective of Program Analysis
|
10:30 - 11:00 Break
11:00 - 12:30 Tutorial 1 Part 2
Separation Logic from the Perspective of Program Analysis
|
12:30 - 14:00 Lunch
14:00 - 15:30 Tutorial 2 Part 1
Parallel Programming in Fortress
|
15:30 - 16:00 Break
16:00 - 17:30 Tutorial 2 Part 2
Parallel Programming in Fortress
|