Author of the publication

Stable Deterministic Multithreading through Schedule Memoization.

, , , and . OSDI, page 207-221. USENIX Association, (2010)

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

A General Inertial Proximal Point Algorithm for Mixed Variational Inequality Problem., , and . SIAM Journal on Optimization, 25 (4): 2120-2142 (2015)Inexact Alternating-Direction-Based Contraction Methods for Separable Linearly Constrained Convex Optimization., , and . J. Optimization Theory and Applications, 163 (1): 105-129 (2014)Determinism Is Overrated: What Really Makes Multithreaded Programs Hard to Get Right and What Can Be Done About It., , and . HotPar, USENIX Association, (2013)Context-based Online Configuration-Error Detection., , , , and . USENIX Annual Technical Conference, USENIX Association, (2011)Alternating Direction Method for Image Inpainting in Wavelet Domains., , and . SIAM J. Imaging Sciences, 4 (3): 807-826 (2011)Inertial Proximal ADMM for Linearly Constrained Separable Convex Optimization., , , and . SIAM J. Imaging Sciences, 8 (4): 2239-2267 (2015)Development and Use of a Questionnaire for Evaluating K-12 Smart Classroom., , , and . ICHL, volume 9167 of Lecture Notes in Computer Science, page 218-230. Springer, (2015)Formal Security Analysis of Neural Networks using Symbolic Intervals., , , , and . USENIX Security Symposium, page 1599-1614. USENIX Association, (2018)An Empirical Study of Operating System Errors., , , , and . SOSP, page 73-88. ACM, (2001)Operating System Review 35(5).Shuffler: Fast and Deployable Continuous Code Re-Randomization., , , , , , , , , and . OSDI, page 367-382. USENIX Association, (2016)