CS 295: UCI Programming Languages Seminar -- Memory Models

Fall, 2013(Tuesday 5:00-6:40pm, DBH 1423 before Oct. 31; Thursday 5:00-6:40pm, DBH 3011, after Oct. 31)

Instructor: Harry Xu (CS)

Brief Introduction:

This is a programming languages paper reading class. We welcome all students interested in doing research on programming languages and software systems to join the class. The schedule for this class is on a per-quarter-basis. For the current (Fall 2013) quarter, we will be reading and discussing papers on memory models. Please email me if you have a question.


Date

Paper

Presenter

10/01

Class Overview slides

Harry

10/08

Chapter 3 of the book ``A premier on memory consistency and cache coherence``

Khanh

10/15

Chapter 4 of the book ``A premier on memory consistency and cache coherence``

Chapter 5 of the book ``A premier on memory consistency and cache coherence``

Jianfei

David

10/22

Memory Models: A Case for Rethinking Parallel Languages and Hardware, Adve and Boem

Conflict Exceptions: Simplifying Concurrent Language Semantics with Precise Hardware Exceptions for Data-Races, Lucia et al., ISCA 10

Ruize

Taewoo and Anbang

10/29

The Java Memory Model, Manson et al. POPL 05

Java Memory Model Examples: Good, Bad and Ugly, Aspinall and Sevcik, VAMP 07

Peizhao

Ji Mahn

11/07

Foundations of the C++ Concurrency Memory Model, Boehm and Adve, PLDI 08

Plan B: A Buffered Memory Model for Java, Demange et al., POPL 13

Kai

Jianfeng

11/14

Relaxed Memory Models: an Operational Approach, Boudol and Petri, POPL 09

Adversarial Memory For Detecting Destructive Races, Flanagan and Freund, PLDI 10

Zhidong

Bharathram

11/21

DRFx: A Simple and Efficient Memory Model for Concurrent Programming Languages, Marino et al., PLDI 10

Efficient Processor Support for DRFx, a Memory Model with Exceptions, Singh et al., ASPLOS 11

Byron

Jiacheng

11/25

End-to-End Sequential Consistency, Singh et al., ISCA 12

MemSAT: Checking Axiomatic Specifications of Memory Models, Torlak et al., PLDI 10

Yutao

Prasanna

12/05

A Case for an SC-Preserving Compiler, Marino et al., PLDI 11

Efficient Sequential Consistency via Conflict Ordering, Lin et al., ASPLOS 12

Lu

Nan