Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.

Differences

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

Link to this comparison view

workshop_5 [2014/06/30 14:44]
paulin [Planning]
workshop_5 [2014/07/03 18:25] (current)
paulin [Planning]
Line 26: Line 26:
 |09h30-10h30 |Nobuko Yoshida |Idioms for Interaction and their applications in large distributed systems |  |09h30-10h30 |Nobuko Yoshida |Idioms for Interaction and their applications in large distributed systems | 
 |11h00-11h45 |Tarmo Uustalu ​    ​|Precise qualification of effects with dependently typed monads | |11h00-11h45 |Tarmo Uustalu ​    ​|Precise qualification of effects with dependently typed monads |
-|11h45-12h30 |Greg Morrisett |Engineering Challenges for Modeling Languages |+|11h45-12h30 |Greg Morrisett |Engineering Challenges for Modeling Languages ​(cancelled) ​|
 ^   ​Wednesday 9 July  ^^^ ^   ​Wednesday 9 July  ^^^
 |09h30-10h30 |Amal Ahmed |Compositional Compiler Verification for a Multi-language World | |09h30-10h30 |Amal Ahmed |Compositional Compiler Verification for a Multi-language World |
Line 32: Line 32:
 |11h45-12h30 |David Pichardie ​ |Atomicity Refinement for Verified Compilation | |11h45-12h30 |David Pichardie ​ |Atomicity Refinement for Verified Compilation |
 |14h30-15h15 |Steve Zdancewic |Vellvm: Verifying Transformations of the LLVM IR | |14h30-15h15 |Steve Zdancewic |Vellvm: Verifying Transformations of the LLVM IR |
-|15h15-16h00 |Francesco Zappa-Nardelli |Concurrency ​and compiler correctness ​|+|15h15-16h00 |Francesco Zappa-Nardelli |Concurrency: Still Tricky ​|
 |16h30-17h30 |Xavier Leroy  |Verified static analyses | |16h30-17h30 |Xavier Leroy  |Verified static analyses |
 |18h00| ​ Cocktail ​ || |18h00| ​ Cocktail ​ ||
workshop_5.txt ยท Last modified: 2014/07/03 18:25 by paulin
Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0