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
|