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
Next revision Both sides next revision
vv-lab:publications [2020/01/14 11:12]
egm [Ph.D. Dissertations]
vv-lab:publications [2020/09/14 12:38]
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 66: Line 67:
 * M. D. Jones, E. G. Mercer, T. Bao and R. Kumar and P. Lamborn. "​[http://​www.sciencedirect.com/​science?​_ob=ArticleURL&​_udi=B75H1-4G7MXP0-8&​_user=456938&​_coverDate=09/​30/​2003&​_rdoc=1&​_fmt=high&​_orig=search&​_origin=search&​_sort=d&​_docanchor=&​view=c&​_searchStrId=1454939488&​_rerunOrigin=google&​_acct=C000021830&​_version=1&​_urlVersion=0&​_userid=456938&​md5=f025d3c31882b50522d453e99b0d8f68&​searchtype=a Benchmarking Explicit State Parallel Model Checkers],"​ ''​Parallel and Distributed Model Checking'',​ Boulder, Colorado, July 2003. * M. D. Jones, E. G. Mercer, T. Bao and R. Kumar and P. Lamborn. "​[http://​www.sciencedirect.com/​science?​_ob=ArticleURL&​_udi=B75H1-4G7MXP0-8&​_user=456938&​_coverDate=09/​30/​2003&​_rdoc=1&​_fmt=high&​_orig=search&​_origin=search&​_sort=d&​_docanchor=&​view=c&​_searchStrId=1454939488&​_rerunOrigin=google&​_acct=C000021830&​_version=1&​_urlVersion=0&​_userid=456938&​md5=f025d3c31882b50522d453e99b0d8f68&​searchtype=a Benchmarking Explicit State Parallel Model Checkers],"​ ''​Parallel and Distributed Model Checking'',​ Boulder, Colorado, July 2003.
 ==Ph.D. Dissertations== ==Ph.D. Dissertations==
-* Yu Huang. [https://​scholarsarchive.byu.edu/​etd/​5865/​ An Analyzer for Message Passing Programs. Brigham Young University, 2016.+* Yu Huang. [https://​scholarsarchive.byu.edu/​etd/​5865/​ An Analyzer for Message Passing Programs]. Brigham Young University, 2016.
 * Neha Rungta. [http://​contentdm.lib.byu.edu/​ETD/​image/​etd3175.pdf Guided Testing for Automatic Error Discovery in Concurrent Software]. ​ Brigham Young University, 2009. * Neha Rungta. [http://​contentdm.lib.byu.edu/​ETD/​image/​etd3175.pdf Guided Testing for Automatic Error Discovery in Concurrent Software]. ​ Brigham Young University, 2009.
 * Rahul Kumar. [http://​contentdm.lib.byu.edu/​ETD/​image/​etd2489.pdf Using Live Sequence Chart Specifications for Formal Verification of Systems]. Brigham Young University, 2008. * Rahul Kumar. [http://​contentdm.lib.byu.edu/​ETD/​image/​etd2489.pdf Using Live Sequence Chart Specifications for Formal Verification of Systems]. Brigham Young University, 2008.
  
 ==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.txt ยท Last modified: 2021/09/01 16:12 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