Cardiomyocytes are under constant mechanical and metabolic stress, which makes functional protein quality control (PQC) systems particularly important. Molecular chaperones and co-chaperones are essential components of a functioning PQC. Mutation and downregulation of the co-chaperone protein BCL-2–associated athanogene 3 (BAG3) are associated with cardiomyopathy and heart failure. It has been reported that a BAG3 P209L missense mutation leads to the development of myofibrillar myopathy with severe cardiac defects. However, the mechanisms by which the P209L mutation leads to cardiomyopathy remain obscure. In our present study, we found that BAG3 P209L mutation in mice did not cause cardiomyopathy. In the molecular level, the levels of ATP-dependent and ATP-independent heat shock proteins were not changed in cardiac tissues from BAG3 P209L mutant mice. Further experiments revealed that the P209L mutation did not influence the levels of autophagy or global ubiquitination in cardiac tissues. Together, these observations suggest that the BAG3 209L mutation alone may not cause cardiomyopathy in mice.

Filamin C is a multi-domain, actin-binding and actin-crosslinking protein,

specifically expressed in cardiac and skeletal muscles. Multiple mutation points within FlnC have be identified and related to cardiac diseases, such as dilated cardiomyopathy, hypertrophic cardiomyopathy and restrictive cardiomyopathy. As one of the cytoskeleton proteins in the cardiomyocytes, FlnC has also been reported to play an important role in maintaining the integrity and stability of the sarcomere structure and a linkage to the sarcolemma. However, the precise role of FlnC in the cardiomyocytes and the underlying mechanisms by which FlnC deficiency causes cardiomyopathy is still unclear. Previous studies have revealed that truncation mutation of FlnC in mouse model resulted in embryonic lethality without significant cardiac phenotypes, and loss of FlnC in fish model resulted in heart ruptures. In this study, by generating a true null FlnC mouse model, we located the place where the cardiac structural integrity was largely alternated. We also visualized the rupture by 3D model. We will look into the specific mechanism which leads the rupture in the future.

Cardiolipin, the signature phospholipid of mitochondria, is crucial for mitochondrial function and architecture in the heart. Defects in cardiolipin remodeling processes and metabolism lead to cardiomyopathy, as seen in patients with Barth Syndrome (BTHS). Tafazzin is a major acyltransferase in CL remodeling that transfers linoleoyl groups to monolyso-CL until the final symmetric acyl composition is achieved. Mutations in Taz that result in BTHS cause inefficient transacylation between phosphoplipid-lysophospholipids, leading to cardiomyopathy. However, little is known as to the detailed molecular mechanisms by which Taz deficiency and consequent CL absnormalities lead to the progression of cardiomyopathy. In our present study, we found that loss of Tafazzin results in increased levels of cardiac stress markers, Anf and Bnp. Histological analysis demonstrated that mice with Taz deletions had thinner left ventricular walls and dilated left ventricular chambers relative to the control mice. Echocardiography analysis also showed that loss of Tafazzin causes decreased cardiac function. Together, these observations suggest that deletion of Tafazzin in cardiomyocytes results in dilated cardiomyopathy as seen in Barth Syndrome.

Concolic execution is a powerful program analysis technique for systematically exploring execution paths. Compared to random-mutation-based fuzzing, concolic execution is especially good at exploring code paths guarded by complex and tight branch predicates. However, the existing concolic executors face severe scalability issues when processing real-world programs - they impose a significant performance overhead and consume a large amount of extra memory. Those issues prevent concolic execution from being adopted widely in practice. Motivated by this, we propose a study to characterize and mitigate the bottlenecks in the concolic execution systematically. Concretely, we propose 1). a time and space-efficient constraints collector based on a high-optimized dynamic data-flow analysis framework 2). an efficient and scalable path-constraints fuzzer that can find feasible inputs at a high speed. The preliminary evaluation results show that these two techniques can enable much faster concolic execution with a much smaller memory footprint.

Neuronal precursor cell-expressed developmentally downregulated 4 (NEDD4) is a member of the NEDD4 family of HECT E3 ubiquitin ligases. NEDD4 is highly expressed in cardiomyocytes, but its specific function in adult cardiomyocytes is unknown. To study the role of NEDD4 in adult cardiomyocytes, we have generated a Nedd4 floxed mouse model and crossed it with tamoxifen-inducible aMHC-MerCreMer mice to generate an inducible Nedd4 cardiomyocyte-specific knockout mouse model (Nedd4 icKO). In this study, we performed comprehensive molecular and cardiac physiological studies on Nedd4 icKO mice. Our results show that after performing age-dependent studies, cardiac function and structure were not dramatically altered in Nedd4 icKO mice, suggesting that the loss of NEDD4 did not cause cardiomyopathy. Further experiments revealed that the levels of chaperone proteins and the levels of global ubiquitination were not changed within the cardiac tissue of Nedd4 icKO mice. Together, these results suggest that deletion of NEDD4 in adult cardiomyocytes does not cause overt cardiomyopathy.