North Holland Publishing Company / ACM Press / Springer-Verlag Inc. / Microsoft / /
Country
United States / United Kingdom / /
Currency
pence / / /
Facility
C ONCURRIT library / University of California / /
Holiday
Assumption / /
IndustryTerm
software engineering / model checking algorithm / Unit testing concurrent software / search strategy / software model checkers / search algorithm / search algorithms / software model checking / programmer techniques and tools / unit testing tools / software validation / int product / concurrent systems / model checking software / software testing / software model checking techniques / program analysis tools / /
Organization
University of California / Berkeley / Programmable State-Space Exploration Jacob Burnim Tayfun Elmas George Necula Koushik Sen Department of Electrical Engineering and Computer Sciences / U.S. Securities and Exchange Commission / University of California at Santa Cruz / /
Person
Stephen N. Freund / George Necula / Santosh Nagarakatte / Caitlin Sadowski / Jacob Burnim / Shaz Qadeer / David B. Macqueen / Pravesh Kothari / Darko Marinov / Brad Long / Eran Yahav / Paul Strooper / Melvin E. Conway / Vilas Jagannath / Madhusudan Parthasarathy / Qingzhou Luo / Geoff Lowney / Gennaro Parlato / Robert Muth / Daniel Hoffman / Cormac Flanagan / Sebastian Burckhardt / William Pugh / Vijay Janapa Reddi / Race / Artur Klauser / Patrice Godefroid / Tim Disney / Steven Wallace / Guy Gueta / Robert Cohn / Milos Gligoric / Jaeheon Yi / Kim Hazelwood / Thomas Ball / Dongyun Jin / Rupak Majumdar / Gilles Kahn / George Necula Koushik Sen / Nathaniel Ayewah / Ranjit Jhala / Mooly Sagiv / Madanlal Musuvathi / Salvatore La Torre / Katherine Coons / Chi-Keung Luk / Grigore Rosu / Harish Patil / Jacob Burnim Tayfun Elmas George / /
Position
completely nondeterministic scheduler / thread scheduler / S1 The programmer / producer / S2 The programmer / Senator / cooperative scheduler / randomized scheduler / preemptive scheduler / S3 The programmer / special controller / S4 The programmer / Create producer / Controller / programmer / /
ProgrammingLanguage
C / C++ / /
ProvinceOrState
New York / California / /
RadioStation
2.1 When / /
Region
North Holland / /
Technology
search algorithm / search algorithms / model checking algorithm / API / shared memory / operating systems / DSL / java / /
C ONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration Jacob Burnim Tayfun Elmas