University of Cambridge > Talks.cam > Program verification reading group. > 'A Precise Yet Efficient Memory Model For C', Cohen, Moskal, Schulte, and Tobies

  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 Precise Yet Efficient Memory Model For C', Cohen, Moskal, Schulte, and Tobies

Download to your calendar using vCal

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

http://research.microsoft.com/apps/pubs/default.aspx?id=77174

This talk is part of the Program verification reading group. series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Seminar Room FG5, level 5 in the F & G wards, Addenbrooke's Hospital Engineering Department - **LR10** Alice Fisher Lecture Theatre, S Block Keith Day Road CB2 0QQ

Other talks

Title to be confirmed Angular analyses of b -> s ee decays at LHCb Group Presentation 1 Proteomics: Expression Analysis and Subcellular Localisation When Programmes Disagree About Programmes: Code Poetry and the Problem of Programme–Programme Communication Online Causal Inference Seminar
 

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