2026-09-22T06:50:16Z https://www.ideals.illinois.edu/oai-pmh

oai:www.ideals.illinois.edu:2142/50485 2023-07-11 col_2142_5131 col_2142_10761 com_2142_5130 com_2142_10755 com_2142_234

Viswanathan, Mahesh Xu, Yang 2014-09-16T17:17:56Z 2014-09-16T17:17:56Z 2016-09-22T20:59:19Z 2014-08 2014-09-16 2014-08 Atomicity violation is a common kind of concurrency bug in real world projects. PENELOPE is a framework that can detect atomicity violations in a single observed trace, without explicitly examining all traces that result from every possible interleaving. This thesis proposes a way to improve performance of PENELOPE’s prediction stage by performing computation directly on grammar compressed execution trace file, leading to a running time linear in the length of compressed file and size of grammar. Item withdrawn by Laura Spradlin (lspradl2@illinois.edu) on 2014-07-23T13:44:06Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 1 Xu_Yang.pdf: 291750 bytes, checksum: cf793230ad8b404f9078e98381d0f51f (MD5) Made available in DSpace on 2014-09-16T17:17:56Z (GMT). No. of bitstreams: 2 Yang_Xu.pdf: 291750 bytes, checksum: cf793230ad8b404f9078e98381d0f51f (MD5) license.txt: 4056 bytes, checksum: 7774ada0ee15340a600d574a3348cda1 (MD5) Embargo set by: Seth Robbins for item 50596 Lift date: 2016-09-16T17:18:17Z Reason: Author requested U of Illinois access only (OA after 2yrs) in Vireo ETD system U of I Only Restriction Lifted for Item 50596 on 2016-09-22T20:59:19Z. http://hdl.handle.net/2142/50485 en Copyright 2014 Yang Xu Atomicity violation Compression Grammar based codes Straight line grammar Adaptation of grammar based compression in detecting atomicity violations text M.S. MS:CS:BS/MS Program - UIUC 10KS1854MS Computer Science 1434 Computer Science 0112 University of Illinois at Urbana-Champaign Thesis