Author of the publication

UNDEAD: detecting and preventing deadlocks in production software.

, , , , and . ASE, page 729-740. IEEE Computer Society, (2017)

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

On-Line News Management System Based on ASP and XML., , , , , , and . International Conference on Internet Computing, page 302-305. CSREA Press, (2006)ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs., , and . ICSE, page 491-502. ACM, (2014)Practical Packet Pacing in Small-Buffer Networks., , and . ICC, page 1-6. IEEE, (2009)Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs., , , , and . Int. J. Web Service Res., 10 (1): 73-102 (2013)A Comparative Study of Automatic Approaches for Preclinical MRI-based Brain Segmentation in the Developing Rat., , , , , , and . EMBC, page 652-655. IEEE, (2018)TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs., , , and . PPOPP, page 311-312. ACM, (2013)Correction: A prediction tool for plaque progression based on patient-specific multi-physical modeling., , , , , , and . PLoS Comput. Biol., (2021)A prediction tool for plaque progression based on patient-specific multi-physical modeling., , , , , , and . PLoS Comput. Biol., (2021)A Study on the Performance of a Three-Stage Load-Balancing Switch., , , and . IEEE/ACM Trans. Netw., 22 (1): 52-65 (2014)ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs., , , , and . IEEE Trans. Parallel Distrib. Syst., 26 (1): 13-23 (2015)