@@ -6,7 +6,7 @@ title: Visitor to the group, Dr Chung-Kil Hur of the Seoul National University.
a [promising semantics for relaxed-memory concurrency](http://sf.snu.ac.kr/promise-concurrency/), [published at POPL'17](http://sf.snu.ac.kr/promising/release/promising.pdf)
and joint work with Jeehoon Kang from Seoul National University, and Ori Lahav, Viktor Vafeiadis and Derek Dreyer from MPI-SWS.
The talk abstract is below:
The talk abstract:
The "promising semantics" is an operational semantics for relaxed-memory concurrency that can account for concurrency features of major programming languages such
as C/C++ and Java. The semantics is promising since (1) it adequately balances the conflicting desiderata of programmers, compilers, and hardware, which has been
