About
No biography yet.
Public contributions
Public knowledge created by this contributor.
- Computer Science and TechnologyPublic knowledge · updated 5 months ago
- Distributed ComputingPublicly visible private project · updated 5 months ago
- Research Questions, Ideas, and ProgressPublicly visible private project · updated over 11 years ago
- Resources for Distributed ComputingPublicly visible private project · updated over 11 years ago
- paper review: dynamo @ umbrant blog
- paper review: pnuts @ umbrant blog
- adding two questions
- adding some people
- PaPoC 2015
- OPODIS
- OntheNature:Herlihy@OPODIS'11
- Created bib for "formal methods"create the node
- keyword
- ECE 526
hengxin hasn't followed anyone yet