Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Sound and precise analysis of parallel programs through schedule specialization., , , , and . PLDI, page 205-216. ACM, (2012)Efficient deterministic multithreading through schedule relaxation., , , , and . SOSP, page 337-351. ACM, (2011)Stable Deterministic Multithreading through Schedule Memoization., , , and . OSDI, page 207-221. USENIX Association, (2010)Bypassing Races in Live Applications with Execution Filters., , and . OSDI, page 135-149. USENIX Association, (2010)Sound and Precise Analysis of Multithreaded Programs through Schedule Specialization and Execution Filters.. Columbia University, USA, (2014)gpucc: an open-source GPGPU compiler., , , , , , , , , and . CGO, page 105-116. ACM, (2016)Effective dynamic detection of alias analysis errors., , , and . ESEC/SIGSOFT FSE, page 279-289. ACM, (2013)Determinism Is Overrated: What Really Makes Multithreaded Programs Hard to Get Right and What Can Be Done About It., , and . HotPar, USENIX Association, (2013)Speech Feature-Based Machine Learning Model and Smart Devices for Stroke Early Recognition., , , , , , , and . ICARM, page 354-359. IEEE, (2023)Verifying systems rules using rule-directed symbolic execution., , , and . ASPLOS, page 329-342. ACM, (2013)