Colloquia and Seminars

Computing Science - Colloquia and Seminars

Automatically Comparing Memory Consistency Models

Location: CLT 7.01. Date/Time: 31st August 2016, 14:00 - 15:00
Speaker(s): Dr Wickerson.

Brief Description:A memory consistency model (MCM) is the part of a programming language or computer architecture specification that defines which values can legally be read when a thread in a concurrent program reads from a shared memory location. Because MCMs have to take into account various optimisations employed by modern architectures (such as store buffering and instruction reordering) and compilers (such as constant propagation), they often end up being complex and counterintuitive, which makes them challenging to design and to understand.

Automatically Comparing Memory Consistency Models

Location: CLT 7.01 Date/Time: 31st August 2016, 14:00 - 15:00
Speaker(s): Dr. Wickerson.

Brief Description:In this work, we identify four important tasks involved in designing and understanding MCMs: generating conformance tests, distinguishing two MCMs, checking compiler optimisations, and checking compiler mappings. We show that all four tasks can be cast as instances of a general constraint-satisfaction problem to which the solution is either a program or a pair of programs. We further show that although these constraints aren't tractable for automatic solvers when phrased over programs directly, we can solve analogous constraints over program *executions*, and then reconstruct programs that satisfy the original constraints.

Cyber Security online course begins 5 September

Brief Description:

The Secure and Resilient Systems research group in the School of Computing are putting the finishing touches on a new MOOC (Massive Open Online Course) on Cyber Security. The three-week course Cyber Security: Safety at Home, Online, in Life will be running on the FutureLearn platform from 5th September 2016.

rss iconwrite news icon