NEC / MIT Press / ACM Press / IEEE Computer Society Press / Intel / Microsoft / Cadence Berkeley Laboratories / /
Country
United States / / /
Event
Product Issues / /
Facility
MPI library / University of Utah / University of Utah Salt Lake City / using MPI / /
IndustryTerm
model checking using tools / partial order reduction algorithm / verification tools / software development / threaded software / model checking software / domain specific verification tools / symbolic partial order reduction algorithm / verification tool / /
OperatingSystem
POSIX / /
Organization
National Science Foundation / Ganesh Gopalakrishnan Yu Yang School of Computing / MIT / University of Utah Salt Lake City / University of Utah / School of Computing / /
Person
Steve Otto / Steven M. German / Ratan Nalumasu / Xiaofang Chen / Alexandru Salcianu / Orna Grumberg / Robert Palmer / Edmund M. Clarke / Salman Pervez / Ritwik Bhattacharya / Cormac Flanagan / Marc Snir / Rajeev Thakur / Robert M. Kirby / Ganesh Gopalakrishnan / Patrice Godefroid / Edward A. Lee / Yu Yang / Gopalakrishnan Yu / William Gropp / Jack Dongarra / Gerard J. Holzmann / Martin Rinard / David R. Butenhof / /
Position
editor / Professor / central scheduler / /
Product
Inspect / testing methods / /
ProgrammingLanguage
C / Promela / C++ / /
ProvinceOrState
New York / Utah / /
PublishedMedium
Lecture Notes in Computer Science / /
Technology
DPOR algorithm / shared memory / two-phase partial order reduction algorithm / symbolic partial order reduction algorithm / CAV / partial order reduction algorithm / ISP / /
Runtime Model Checking of Multithreaded C Programs using Automated Instrumentation Dynamic Partial Order Reduction and Distributed Checking ⋆ Ganesh Gopalakrishnan