From post

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.

 

Другие публикации лиц с тем же именем

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