- This event has passed.
Weak-Consistency Specification via Visibility Relaxation
February 25, 2019 @ 11:35 am - 12:00 pm
Michael Emmi (SRI International)
(slides)
New York Seminar on Programming Languages and Software Engineering
February 25, 2019, CUNY Hunter College (sponsored by JSPS US Alumni Association)
Michael Emmi (SRI International)
(slides)