CoffeeScript - 12:30, Wed 06/11 - The Glasshouse, Langwith College
Our weekly social on Hes East; enjoy some lunch and have a good chat.
Talk - "Can compilers compile complex concurrent code correctly?" by Matt Windsor - 18:30, Thu 07/11 - The Pod (CSE/082&083)
"Concurrent programs that make use of C11-style atomic actions are hard to reason
about, with the formal statement of the behaviours such programs can exhibit --
the C11 memory model -- being notoriously unwieldy and permissive. Worse, CPU
architectures have their own memory models, so compilers must map from C to
machine code in a way that preserves the original program's C11 guarantees
inside the machine model.
"In this talk, I explore the above situation, then discuss and demonstrate ACT,
a toolbox for investigating whether C11 compilers such as gcc and clang actually
do this mapping correctly."
Board Games and Cake - 19:00, Fri 08/11 - The Pod (CSE/082&083)
One of HackSoc's oldest traditions, where we play many board games and eat
plenty of cake! Members are encouraged to bring their own board games and cake
if they enjoy the events.