Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
vv-lab:publications [2020/01/14 11:13]
egm [Ph.D. Dissertations]
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.
Line 71: Line 72:
  
 ==M.S. Theses== ==M.S. Theses==
 +* Jane Ostegar Linn. [https://​scholarsarchive.byu.edu/​etd/​6666/​ A Coverage Metric to Aid in Testing Multi-Agent Systems]. Brigham Young University, 2017.
 +* Blake Johnson. [https://​scholarsarchive.byu.edu/​etd/​5722/​ Enabling Optimizations Through Demodularization]. Brigham Young University, 2016.
 +* Radha Nakade. [https://​scholarsarchive.byu.edu/​etd/​6176/​ Verification of Task Parallel Programs Using Predictive Analysis]. Brigham Young University, 2016.
 * Eric Noonan. [http://​scholarsarchive.byu.edu/​etd/​4147/​ Slice-N-Dice Algorithm Implementation in JPF], Brigham Young University, 2014. * Eric Noonan. [http://​scholarsarchive.byu.edu/​etd/​4147/​ Slice-N-Dice Algorithm Implementation in JPF], Brigham Young University, 2014.
 * Saint Wesonga. [http://​contentdm.lib.byu.edu/​cdm/​ref/​collection/​ETD/​id/​3430 Javalite - An Operational Semantics for Modeling Java Programs], Brigham Young University, 2012. * Saint Wesonga. [http://​contentdm.lib.byu.edu/​cdm/​ref/​collection/​ETD/​id/​3430 Javalite - An Operational Semantics for Modeling Java Programs], Brigham Young University, 2012.
vv-lab/publications.1579025593.txt.gz ยท Last modified: 2020/01/14 11:13 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0