Elegance and generosity are scientific values - And other things I've learned from Peter (O'Hearn Fest)

Sun 14 - Sat 20 January 2024 London, United Kingdom

Track

Time Zone

The program is currently displayed in (GMT) London.

Use conference time zone: (GMT) LondonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sun 14 Jan 2024 14:45 - 15:07 at Mountbatten Exhibition - Session 3 Chair(s): Nick Benton

Bio

Jade Alglave is a Professor of Computer Science at University College London and a Fellow at Arm, where she leads the Architecture Formal Team. This team is responsible in particular for the maintenance and enhancement of the Arm memory model (https://developer.arm.com/herd7).

Time Zone

The program is currently displayed in (GMT) London.

Use conference time zone: (GMT) LondonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Sun 14 Jan
Displayed time zone: London change

14:00 - 15:30	Session 3O'Hearn Fest at Mountbatten Exhibition Chair(s): Nick Benton Meta

14:00 22m Talk		Massive proofs for the masses O'Hearn Fest Byron Cook Amazon
14:22 22m Talk		Designing Wait-free Weak Reference Counting O'Hearn Fest Matthew J. Parkinson Microsoft Azure Research
14:45 22m Talk		Elegance and generosity are scientific values - And other things I've learned from Peter O'Hearn Fest Jade Alglave Arm and University College London
15:07 22m Talk		Peter, the May and the Must, and Lacework O'Hearn Fest Patrice Godefroid Lacework

Elegance and generosity are scientific values - And other things I've learned from Peter

Sun 14 Jan
Displayed time zone: London change

Jade Alglave

Arm and University College London

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Elegance and generosity are scientific values - And other things I've learned from Peter

Program Display Configuration

Program Display Configuration

Sun 14 JanDisplayed time zone: London change

Jade Alglave

Arm and University College London

Sun 14 Jan
Displayed time zone: London change