Show simple item record

dc.contributor.authorZhang, Luen_US
dc.date.accessioned2016-07-30T08:00:18Z
dc.date.available2016-07-30T08:00:18Z
dc.date.issued2016-07-29en_US
dc.identifier.othervt_gsexam:8547en_US
dc.identifier.urihttp://hdl.handle.net/10919/71882
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_US
dc.format.mediumETDen_US
dc.publisherVirginia Techen_US
dc.rightsThis Item is protected by copyright and/or related rights. Some uses of this Item may be deemed fair and permitted by law even without permission from the rights holder(s), or the rights holder(s) may have licensed the work for use under certain conditions. For other uses you need to obtain permission from the rights holder(s).en_US
dc.subjectConcurrencyen_US
dc.subjectVerificationen_US
dc.subjectDebuggingen_US
dc.subjectProgram Repairen_US
dc.subjectQuasi Linearizabilityen_US
dc.subjectConcurrent Data Structureen_US
dc.subjectWeb Applicationen_US
dc.subjectJavaScripten_US
dc.titleRuntime Verification and Debugging of Concurrent Softwareen_US
dc.typeDissertationen_US
dc.contributor.departmentElectrical and Computer Engineeringen_US
dc.description.degreePh. D.en_US
thesis.degree.namePh. D.en_US
thesis.degree.leveldoctoralen_US
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen_US
thesis.degree.disciplineComputer Engineeringen_US
dc.contributor.committeechairWang, Chaoen_US
dc.contributor.committeechairHsiao, Michael S.en_US
dc.contributor.committeememberZeng, Haiboen_US
dc.contributor.committeememberLee, Dongyoonen_US
dc.contributor.committeememberJung, Changheeen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record