Differences

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

Link to this comparison view

Both sides previous revision Previous revision
vv-lab:publications [2018/07/06 13:09]
egm [Workshop Papers]
vv-lab:publications [2018/07/06 13:10] (current)
egm [Conference Papers]
Line 8: Line 8:
  
 ==Conference Papers== ==Conference Papers==
-* Nakade R., Mercer E., Aldous P., McCarthy J. (2018) ''​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.
 * B. Hillery, E. Mercer, N. Rungta, and S. Person, ''​Exact Heap Summaries for Symbolic Execution'',​ in Proceedings of Verification,​ Model Checking, and Abstract Interpretation (VMCAI 2016), Lecture Notes in Computer Science, Volume 9583, pp 206-225, 2016. * B. Hillery, E. Mercer, N. Rungta, and S. Person, ''​Exact Heap Summaries for Symbolic Execution'',​ in Proceedings of Verification,​ Model Checking, and Abstract Interpretation (VMCAI 2016), Lecture Notes in Computer Science, Volume 9583, pp 206-225, 2016.
 * E. Mercer, P. Anderson, N. Vrvilo, and V. Sarkar, ''​Model Checking Task Parallel Programs using Gradual Permissions'',​ in Proceedings of 30th IEEE/ACM International Conference on Automated Software Engineering,​ New ideas category, Lincoln, Nebraska, November, 2015. * E. Mercer, P. Anderson, N. Vrvilo, and V. Sarkar, ''​Model Checking Task Parallel Programs using Gradual Permissions'',​ in Proceedings of 30th IEEE/ACM International Conference on Automated Software Engineering,​ New ideas category, Lincoln, Nebraska, November, 2015.
vv-lab/publications.txt ยท Last modified: 2018/07/06 13:10 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