Checkpoint / eMC / B DB / Reliability Keywords Software / Microsoft Research Asia / Target Application LC Global / Intel / / /
Event
Man-Made Disaster / /
Facility
Tsinghua University / Columbia University / /
IndustryTerm
software system / secondary server / concurrent/distributed systems / software model checker / Implementation-level software / search algorithms / software defects / potential software defects / depthfirst search / statespace exploration algorithm / inter-thread/process communications / software complexity / random walk algorithm / cloud infrastructure / partial-replay local systems / software model checking / representative applications / classic peer-topeer protocols / real distributed systems / commodity hardware / representative distributed applications / real-world systems / /
Organization
Columbia University / Tsinghua University / /
Person
Gang Hu∗† Junfeng / Ming Wu† Lidong Zhou / /
Position
Model checking / replication manager / General / test driver / model the basic concurrency unit / representative / /
Product
PS3 / WSAEventSelect / D E M ETER / /
ProgrammingLanguage
C / C++ / /
Technology
detailed algorithm / two classic peer-topeer protocols / peer-to-peer / API / PAXOS protocol / UDP / shared memory / Local Explorers The DIR algorithm / Ethernet / DIR algorithm / statespace exploration algorithm / random walk algorithm / caching / key DIR algorithm / two search algorithms / /