Author of the publication

Effective Detection of Sleep-in-atomic-context Bugs in the Linux Kernel.

, , and . ACM Trans. Comput. Syst., 36 (4): 10:1-10:30 (2018)

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

3D Morphing Using Strain Field Interpolation., , and . J. Comput. Sci. Technol., 22 (1): 147-155 (2007)Efficient Solid Texture Synthesis Using Gradient Solids., , and . CVM, volume 7633 of Lecture Notes in Computer Science, page 67-74. Springer, (2012)Generalized Subdivision of Bézier Surfaces., , and . CVGIP: Graphical Model and Image Processing, 58 (3): 218-222 (1996)Associating Inter-image Salient Instances for Weakly Supervised Semantic Segmentation., , , , , and . ECCV (9), volume 11213 of Lecture Notes in Computer Science, page 371-388. Springer, (2018)Geometric texture synthesis and transfer via geometry images., , , and . Symposium on Solid and Physical Modeling, page 15-26. ACM, (2005)Robust principal curvatures on multiple scales., , , and . Symposium on Geometry Processing, volume 256 of ACM International Conference Proceeding Series, page 223-226. Eurographics Association, (2006)Avoiding bleeding in image blending., , , , and . ICIP, page 2139-2143. IEEE, (2017)Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers., , , , and . SANER, page 366-376. IEEE, (2019)An extension algorithm for B-splines by curve unclamping., , and . Comput. Aided Des., 34 (5): 415-419 (2002)Deep Online Video Stabilization With Multi-Grid Warping Transformation Learning., , , , , , and . IEEE Trans. Image Process., 28 (5): 2283-2292 (2019)