Back to Results
First PageMeta Content
Asynchronous I/O / Input/output / Scheduling / Interposition / Io / Assertion / Model checking / Distributed computing / Computer programming / Computing / Software engineering


M O D IST: Transparent Model Checking of Unmodified Distributed Systems Junfeng Yang◦∗ , Tisheng Chen‡ , Ming Wu‡ , Zhilei Xu‡ , Xuezheng Liu‡ Haoxiang Lin‡ , Mao Yang‡ , Fan Long† , Lintao Zhang‡∗
Add to Reading List

Document Date: 2011-12-05 14:08:55

Open Document

File Size: 407,06 KB

Share Result on Facebook

City

Phoenix / /

Company

Microsoft Research Asia / /

Currency

pence / /

Event

Product Issues / Product Recall / /

Facility

Columbia University / /

IndustryTerm

search strategies / rare actions such as network / dynamic error detection tools / built-in search strategies / replication systems / symbolic analysis tools / dynamic symbolic execution tools / Real distributed systems / generic network / automatic error detection tools / replication protocol / Search strategy / communication protocol / communication protocols / asynchronous and unreliable network / search heuristics / search algorithms / /

OperatingSystem

AIOs / BSD / Solaris / Linux / Microsoft Windows / POSIX / /

Organization

Columbia University / Tsinghua University / /

Person

Ming Wu / /

Position

cooperative thread scheduler / Berkeley DB Replication Manager / scheduler / virtual clock manager / Experimental Methodology Test driver / test driver / OS scheduler / /

Product

M O D IST / D3 S / WinAPI / /

ProgrammingLanguage

C++ / /

RadioStation

KLOC / /

Technology

Linux / search algorithms / API / communication protocol / underlying communication protocols / replication protocol / Simulation / operating system / distributed Paxos protocol / operating systems / /

SocialTag