Browse Research and Tech Reports - Computer Science by Author "Han, Michael"

  • Tzannes, Alexandros; Han, Michael; Adve, Vikram S.; Vakilian, Mohsen; Eloussi, Lamyaa; Heumann, Stephen T. (IEEE, 2015-08-17)
    In this paper, we present the first full regions-and-effects inference algorithm for explicitly parallel fork-join programs. We infer annotations inspired by Deterministic Parallel Java (DPJ) for a type-safe subset of C++. ...

    application/pdf

    application/pdfPDF (198kB)