Browse Dept. of Computer Science by Author "Eloussi, Lamyaa"

  • Eloussi, Lamyaa (2015-04-29)
    Automated regression testing is widely used in modern software development. Whenever a developer pushes some changes to a repository, tests are run to check whether the changes broke some functionality. When previously ...

    application/pdf

    application/pdfPDF (311kB)
  • Gligoric, Milos; Majumdar, Rupak; Sharma, Rohan; Eloussi, Lamyaa; Marinov, Darko (2014)

    application/pdf

    application/pdfPDF (346kB)
  • 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)