| No. |
Title |
Author |
Year |
| 1 |
Putting Randomized Compiler Testing into Production (Artifact) |
Donaldson, Alastair F. et al. |
2020 |
| 2 |
Putting Randomized Compiler Testing into Production (Experience Report) |
Donaldson, Alastair F. et al. |
2020 |
| 3 |
Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper) |
MacIver, David R. et al. |
2020 |
| 4 |
Front Matter, Table of Contents, Preface, Conference Organization |
Donaldson, Alastair F. |
2019 |
| 5 |
Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352) |
Darulova, Eva et al. |
2018 |
| 6 |
GPU Schedulers: How Fair Is Fair Enough? |
Sorensen, Tyler et al. |
2018 |
| 7 |
Testing and Verification of Compilers (Dagstuhl Seminar 17502) |
Chen, Junjie et al. |
2018 |
| 8 |
Forward Progress on GPU Concurrency (Invited Talk) |
Donaldson, Alastair F. et al. |
2017 |
| 9 |
Automatic Verification of Data Race Freedom in Device Drivers |
Deligiannis, Pantazis et al. |
2014 |
| 10 |
Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142) |
Cohen, Albert et al. |
2013 |
