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, 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