Dongdong Deng

Automated Concurrency-Bug Fixing

Wei Zhang, Guoliang Jin, Dongdong Deng, 2012, OSDI.

Accuracy of prediction of infarct-related arrhythmic circuits from image-based models reconstructed from low and high resolution MRI

Henry Halperin, Hiroshi Ashikaga, Dongdong Deng, 2015, Front. Physiol..

Fixing, preventing, and recovering from concurrency bugs

Shan Lu, Ang Li, Weimin Zheng, 2015, Science China Information Sciences.

Optimal contrast-enhanced MRI image thresholding for accurate prediction of ventricular tachycardia using ex-vivo high resolution models

Natalia A. Trayanova, Dongdong Deng, Plamen Nikolov, 2018, Comput. Biol. Medicine.

A Study of Mechanical Optimization Strategy for Cardiac Resynchronization Therapy Based on an Electromechanical Model

Ling Xia, Feng Liu, Stuart Crozier, 2012, Comput. Math. Methods Medicine.

Choosing Near-Optimal Regularization Parameter for the Inverse Problem of Electrocardiography

Ling Xia, Guofa Shou, Mingfeng Jiang, 2009, 2009 Fifth International Conference on Natural Computation.

An Image-Based Model of the Whole Human Heart with Detailed Anatomical Structure and Fiber Orientation

Ling Xia, Xuesong Ye, Dongdong Deng, 2012, Comput. Math. Methods Medicine.

Efficient concurrency-bug detection across inputs

Shan Lu, Wei Zhang, Dongdong Deng, 2013, OOPSLA.

Understanding the interleaving-space overlap across inputs and software versions

Shan Lu, Wei Zhang, Dongdong Deng, 2012, HotPar'12.

A feasibility study of arrhythmia risk prediction in patients with myocardial infarction and preserved ejection fraction.

Natalia A Trayanova, Dongdong Deng, Adityo Prakosa, 2016, Europace : European pacing, arrhythmias, and cardiac electrophysiology : journal of the working groups on cardiac pacing, arrhythmias, and cardiac cellular electrophysiology of the European Society of Cardiology.

Sensitivity of reentrant driver localization to electrophysiological parameter variability in image-based computational models of persistent atrial fibrillation sustained by a fibrotic substrate.

Natalia A Trayanova, Dongdong Deng, Farhad Pashakhanloo, 2017, Chaos.

Preliminary Simulation Study of Atrial Fibrillation Treatment Procedure Based on A Detailed Human Atrial Model

Yinglan Gong, Ling Xia, Dongdong Deng, 2015 .