Speci Cation, Transformation, and Programming of Concurrent

Instructions and help about Speci Cation, Transformation, And Programming Of Concurrent

each year Microsoft Research hosts hundreds of influential speakers from around the world including leading scientists renowned experts in technology book authors and leading academics and makes videos of these lectures freely available hello it's a pleasure to introduce jaroslav safe chick who is visiting for two days so you may know that there is a disturbing gap between classical compiler theory and concurrency especially how to correct the compile language memory models to harder memory models so they're very it is too despite this pretty obvious gap there are very few people working on this and joseph is one of the undeterred researchers in this area almost the only one i would say and he is here today to tell us about his research hello so i'll talk about compile optimizations in weak memory models but it will be mostly drf guarantee the weak memory model and a bit of job let me let me just introduce introduce the problem by showing you a small example which illustrates a problem