[cfe-dev] Cambridge LLVM Afternoon Workshop on Monday

[David Chisnall]

Hello the lists,

Please feel free to ignore this message if you are not in Cambridge.

As previously mentioned, we are hosting an afternoon LLVM workshop in the Computer Lab on Monday (15th).  We'll start in the morning with a tutorial and then have 15-minute talks with 5 minutes for questions and speaker changeover in the afternoon.  

The event is open to all and will be in room FW11 of the Computer Laboratory[1], in the William Gates Building on the West Cambridge site.  FW11 is easy to find, but if you get confused then please ask are reception.  The schedule is as follows:

10:00                                     LLVM Tutorial											David Chisnall

Nothing is scheduled from 12-1.  We are not providing lunch, but there is a canteen available for people who want to come to the entire event.

1:00                                      Welcome													David Chisnall
1:10                                      ARM and LLVM											Lee Smith
1:30                                      DOME: Delaying and Overcoming Microprocessor Errors		Negar Miralaei
1:50                                      LLVM to Bluespec											Ali Mustafa Zaidi
2:10                                      CHERI - Language support for hardware capabilities			David Chisnall
2:30                                      TESLA - Temporally Enhanced Security Logic Assertions		Jonathan Anderson
2:50                                      Exploring compartmentalisation hypotheses with SOAAP		Khilan Gudka
3:10                                      Coffee													Everyone
3:30                                      Sigma*: Symbolic Learning of Stream Filters					Matko Botincan
3:50                                      Efficient compilation of automata							Bruce Watson
4:10                                      Challenges porting LLVM to a microcontroller				Steve Montgomery
4:30                                      Discussion												Everyone


David

[1] http://www.openstreetmap.org/export/embed.html?bbox=0.08946,52.20839,0.09472,52.21276&layer=mapnik&marker=52.21107,0.09166