BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × India
1 × USA
Collaborated with:
Talks about:
peer (2) calculus (1) bitcoin (1) memori (1) commit (1) relax (1) affin (1) use (1)

Person: Michael J. Sullivan

DBLP DBLP: Sullivan:Michael_J=

Contributed to:

PLDI 20152015
POPL 20152015

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.