Concepedia

Schedule Exploration

Schedule Exploration is a systematic method within the domain of concurrent system analysis that identifies and examines possible thread interleavings to detect race condition vulnerabilities by differentiating benign from harmful execution schedules.

30

Publications

1.3K

Citations

86

Authors

44

Institutions

Publications per year

2017–2026

5

Parents

Publications

30

Dopaminergic involvement in activational aspects of motivation: Effects of haloperidol on schedule-induced activity, feeding, and foraging in rats

John D. Salamone · Psychobiology · 1988 · 147 citations · Full text

, , +16

PENELOPE

Francesco Sorrentino, Azadeh Farzan, P. Madhusudan · 2010 · 125 citations

, , +15

Effective random testing of concurrent programs

Koushik Sen · 2007 · 117 citations

, , +15

Delay-bounded scheduling

Michael Emmi, Shaz Qadeer, Zvonimir Rakamarić · 2011 · 113 citations

, , +15

Delay-bounded scheduling

Michael Emmi, Shaz Qadeer, Zvonimir Rakamarić · ACM SIGPLAN Notices · 2011 · 107 citations

, , +15

1–5 of 30

Authors

86

  1. SQ
    Shaz Qadeer

    Microsoft (United States), United States

    3 publications · 250 citations

    3

    h-index

  2. BL
    Brandon Lucia

    Carnegie Mellon University, United States

    2 publications · 64 citations

    2

    h-index

  3. KS
    Koushik Sen

    University of California, Berkeley, United States

    2 publications · 148 citations

    2

    h-index

  4. PP
    Pavel Parízek

    Charles University, Czechia

    3 publications · 52 citations

    2

    h-index

  5. ZR
    Zvonimir Rakamarić

    University of Utah, United States

    2 publications · 220 citations

    2

    h-index

1–5 of 86

Institutions

44

  1. Microsoft (United States)

    Redmond, United States

    4 h-index

    4 publications

    270 citations

  2. University of Illinois Urbana-Champaign

    Urbana, United States

    3 h-index

    8 publications

    422 citations

  3. University of California, Berkeley

    Berkeley, United States

    3 h-index

    7 publications

    301 citations

  4. University of Toronto

    Toronto, Canada

    2 h-index

    3 publications

    251 citations

  5. Eindhoven University of Technology

    Eindhoven, The Netherlands

    2 h-index

    3 publications

    85 citations

  6. Université Paris Cité

    Paris, France

    2 h-index

    2 publications

    220 citations

  7. Délégation Paris 7

    Bagnolet, France

    2 h-index

    2 publications

    220 citations

  8. University of British Columbia

    Vancouver, Canada

    2 h-index

    2 publications

    220 citations

1–8 of 44

Venues

  1. ACM SIGPLAN Notices

    2 publications · 121 citations

    2

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 1 publications · 22 citations

    1

    h-index

  3. 1

    h-index

  4. IEEE Access

    1 publications · 26 citations

    1

    h-index

  5. Computers & Industrial Engineering

    1 publications · 33 citations

    1

    h-index

1–5