University of Cambridge > Talks.cam > SANDWICH Seminar (Computer Laboratory) > A Denotational Approach to Release/Acquire Concurrency

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

A Denotational Approach to Release/Acquire Concurrency

Download to your calendar using vCal

If you have a question about this talk, please contact .

We want to report on recent and ongoing work into the denotational semantics of shared-state concurrent programming languages with Brookes-style trace semantics. Most of the talk would cover our trace semantics for the Release/Acquire (RA) memory model, a fragment of the C/C++ standard. Developing this semantics required us to re-think the interpretation of Brookes trace-sets, moving away from interrupted executions and towards a game-like/rely-guarantee-like intuition about the interaction of the program with its environment.

This talk is part of the SANDWICH Seminar (Computer Laboratory) series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

BoxesMaker Seminar Room, BiochemistryDepartment, Tennis Court Road Audit Room, King's College, Cambridge: to receive zoom link please subscribe at https://lists.cam.ac.uk/sympa/subscribe/history-global-economic-history at https://www.hist.cam.ac.uk/event-series/global-economic-history

Other talks

The Play Paradox: How video games build better humans Shape modes of CP^1 vortices Title to be confirmed Studying viruses to understand what makes pandemic viruses special and how innate immunity works Grand Rounds - Equine Title to be confirmed
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity