search
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
vv-lab:publications [2020/01/14 11:17] egm [M.S. Theses] |
vv-lab:publications [2020/09/14 12:38] (current) egm [Conference Papers] |
||
|---|---|---|---|
| Line 10: | Line 10: | ||
| ==Conference Papers== | ==Conference Papers== | ||
| + | * Y. Huang, B. Ogles, and E, Mercer, ''A Predictive Analysis for Detecting Deadlock in MPI Programs'', Proceedings of Automated Software Engineering (ASE), September 2020, ACM. | ||
| * B. Ogles, E. Mercer, P. Aldous, ''Proving Data Race Freedom in Task Parallel Programs with a Weaker Partial Order'', Proceedings of Formal Methods in Computer Aided Design (FMCAD), Oct 22-25 2019, IEEE. | * B. Ogles, E. Mercer, P. Aldous, ''Proving Data Race Freedom in Task Parallel Programs with a Weaker Partial Order'', Proceedings of Formal Methods in Computer Aided Design (FMCAD), Oct 22-25 2019, IEEE. | ||
| * Nakade R., Mercer E., Aldous P., McCarthy J. (2018) [https://faculty.cs.byu.edu/~pdiddy/papers/cg.pdf ''Model-Checking Task Parallel Programs for Data-Race'']. In: Dutle A., Muoz C., Narkawicz A. (eds) NASA Formal Methods. NFM 2018. Lecture Notes in Computer Science, vol 10811. Springer, Cham. | * Nakade R., Mercer E., Aldous P., McCarthy J. (2018) [https://faculty.cs.byu.edu/~pdiddy/papers/cg.pdf ''Model-Checking Task Parallel Programs for Data-Race'']. In: Dutle A., Muoz C., Narkawicz A. (eds) NASA Formal Methods. NFM 2018. Lecture Notes in Computer Science, vol 10811. Springer, Cham. | ||
