Truc Lam Bui
where else to find them
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
all 4 in the filters
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| The Reads-From Equivalence for the TSO and PSO Memory Models | OOPSLA 2021 | 2021-10-17 |
Presents algorithms that decide reads-from (RF) consistency for TSO and PSO with explicit complexity: n^{k+1} bound for TSO and n^{k+1}·min(n^{k^2},2^{k·d})… | ||
| nothing matches | ||