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
- ConcurrencyAvailability:Herlihy@JACM90
- two "HundredImpossibility"
- Wait-freeSync:Herlihy@TOPLAS91, ComputingwithFaulty:Afek@JACM95, FaulttolerantWaitfree:Jayanti@JACM98
- Edited BibliographiesAnalytical/Probabilistic analysis of (distributed) transactions
- item "Synthesis Lectures on Distributed Computing Theory"
- Created Distributed Computingcreate the "Distributed Computing" node
- ConsistencySLA:Terry@SOSP13
- Created Bibliographies for SIGACT NewsTheoryPractice:Zhou@SIGACTNews09
- Causal:Ahamad@DC95
- Edited Bibliographiesitem for "consistency models in distributed shared memory"
hengxin hasn't followed anyone yet