Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

Vijayanand Nagarajan: Towards Semantics-directed Hardware Memory Consistency

The memory consistency model which mandates what value a memory read can return, is at the heart of shared memory concurrency. With regard to memory consistency models, an inherent trade-off between programmability and performance is presumed. For instance, it is thought that implementing sequential consistency (SC) would be too expensive as it is presumed that it would preclude hardware optimisations such as write-buffering. In this talk, we show that prior hardware SC implementations are overly restrictive in that they do not exploit most of the concurrency opportunities allowed by SC. We proceed to show how SC can be implemented efficiently while retaining hardware optimisations such as write-buffering. We conclude by arguing for semantics-directed hardware design for realising programmable, yet efficient shared memory consistency models.

Read More…

Lab Lunch by Anna Pappa

Nonlocality and conflicting interests

Read More…

LFCS Seminar: Ohad Kammar

Title: Algebraic Foundations to Effect-Dependent Optimisations

Read More…

LFCS PhD Lunch

Pizza Lunch and informal tutorial for all LFCS PhD students

Read More…

Rahul Santhanam: The Case of the New Menard

You're called upon to be sleuths and judges in a real-life academic mystery. (Clue: Yong Sun)

Read More…

Laura Meagher: Impact Evaluation: Making Knowledge Exchange Visible

As increasing attention is paid to influences of research beyond academia, complementary challenges exist: generating impacts and capturing impacts. Impacts can take place over the long-term and can take multiple forms, some of them quite subtle.Insights from across numerous impact evaluations of research initiatives and funding schemes illuminate: 1) ways in which impacts can be articulated and 2) ways in which knowledge exchange can lead to impacts.

Read More…

LFCS Seminar: Dave Parker

Automatic Verification of Competitive Stochastic Systems.

Read More…

Lab Lunch by James McKinna

Bidirectional transformations, from a dependently-typed perspective

Read More…

Lab Lunch talk by Dimitrios Milios

Markov Chain Simulation with Fewer Random Samples

Read More…

LFCS Seminar: Alessandro Panconesi

Algorithmic Aspects of Social Networks

Read More…

LFCS Seminar: Damian Niwinski

Complexity of infinite tree languages -- when automata meet topology

Read More…

LFCS Seminar: Dan Ghica

Towards a system-level semantics

Read More…

LFCS Seminar: Fred Long

The CERT Oracle Secure Coding Standard for Java

Read More…

Document Actions