Travelled to:1 × USA
Collaborated with:J.Palsberg M.Lesani
Talks about:concurr (1) insert (1) formal (1) declar (1) access (1) mode (1) java (1) fenc (1)
Person: John Bender
DBLP: Bender:John
Contributed to:
20152019Wrote 2 papers:
- OOPSLA-2015-BenderLP #declarative
- Declarative fence insertion (JB, ML, JP), pp. 367–385.
- OOPSLA-2019-BenderP #concurrent #formal method #java
- A formalization of Java's concurrent access modes (JB, JP), p. 28.