english only
EPFL > I&C > Tresor > Seminars
RESOURCES
Home
People
Seminars
Courses
Research Topics
Events
Useful Links

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
seminars:2009 [2010/01/04 17:09]
psuter
seminars:2009 [2010/01/04 17:09] (current)
psuter
Line 857: Line 857:
  
 Joint work with G. Ramalingam and Noam Rinetzky, to appear in POPL 2010 Joint work with G. Ramalingam and Noam Rinetzky, to appear in POPL 2010
- +\\ 
 +\\
 ===== Automatic Inference of Synchronization ===== ===== Automatic Inference of Synchronization =====