Runtime Verification and Debugging of Concurrent Software

Simple item page
dc.contributor.authorZhang, Luen
dc.contributor.committeechairWang, Chaoen
dc.contributor.committeechairHsiao, Michael S.en
dc.contributor.committeememberZeng, Haiboen
dc.contributor.committeememberLee, Dongyoonen
dc.contributor.committeememberJung, Changheeen
dc.contributor.departmentElectrical and Computer Engineeringen
dc.date.accessioned2016-07-30T08:00:18Zen
dc.date.available2016-07-30T08:00:18Zen
dc.date.issued2016-07-29en
dc.description.abstractOur reliance on software has been growing fast over the past decades as the pervasive use of computer and software penetrated not only our daily life but also many critical applications. As the computational power of multi-core processors and other parallel hardware keeps increasing, concurrent software that exploit these parallel computing hardware become crucial for achieving high performance. However, developing correct and efficient concurrent software is a difficult task for programmers due to the inherent nondeterminism in their executions. As a result, concurrency related software bugs are among the most troublesome in practice and have caused severe problems in recent years. In this dissertation, I propose a series of new and fully automated methods for verifying and debugging concurrent software. They cover the detection, prevention, classification, and repair of some important types of bugs in the implementation of concurrent data structures and client-side web applications. These methods can be adopted at various stages of the software development life cycle, to help programmers write concurrent software correctly as well as efficiently.en
dc.description.degreePh. D.en
dc.format.mediumETDen
dc.identifier.othervt_gsexam:8547en
dc.identifier.urihttp://hdl.handle.net/10919/71882en
dc.publisherVirginia Techen
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subjectConcurrencyen
dc.subjectVerificationen
dc.subjectDebuggingen
dc.subjectProgram Repairen
dc.subjectQuasi Linearizabilityen
dc.subjectConcurrent Data Structureen
dc.subjectWeb Applicationen
dc.subjectJavaScripten
dc.titleRuntime Verification and Debugging of Concurrent Softwareen
dc.typeDissertationen
thesis.degree.disciplineComputer Engineeringen
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen
thesis.degree.leveldoctoralen
thesis.degree.namePh. D.en

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Zhang_L_D_2016.pdf
Size:
1.52 MB
Format:
Adobe Portable Document Format
Download

Collections

Doctoral Dissertations