llvm dev - Oct 2012 - [LLVMdev] Cambridge LLVM Afternoon Workshop on Monday

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