Travelled to:1 × India
1 × USA
Collaborated with:K.Crary
Talks about:peer (2) calculus (1) bitcoin (1) memori (1) commit (1) relax (1) affin (1) use (1)
Person: Michael J. Sullivan
DBLP: Sullivan:Michael_J=
Contributed to:
2015
2015Wrote 2 papers:
- PLDI-2015-CraryS #peer-to-peer #using
- Peer-to-peer affine commitment using bitcoin (KC, MJS), pp. 479–488.
- POPL-2015-CraryS #calculus #memory management
- A Calculus for Relaxed Memory (KC, MJS), pp. 623–636.