Mining Unit Tests for Discovery and Migration of Math APIs

Today's programming languages are supported by powerful third-party APIs. For a given application domain, it is common to have many competing APIs that provide similar functionality. Programmer productivity therefore depends heavily on the programmer's ability to discover suitable APIs both during an initial coding phase, as well as during software maintenance. The aim of this work is to support the discovery and migration of math APIs. Math APIs are at the heart of many application domains ranging from machine learning to scientific computations. Our approach, called MATHFINDER, combines executable specifications of mathematical computations with unit tests (operational specifications) of API methods. Given a math expression, MATHFINDER synthesizes pseudo-code comprised of API methods to compute the expression by mining unit tests of the API methods. We present a sequential version of our unit test mining algorithm and also design a more scalable data-parallel version. We perform extensive evaluation of MATHFINDER (1) for API discovery, where math algorithms are to be implemented from scratch and (2) for API migration, where client programs utilizing a math API are to be migrated to another API. We evaluated the precision and recall of MATHFINDER on a diverse collection of math expressions, culled from algorithms used in a wide range of application areas such as control systems and structural dynamics. In a user study to evaluate the productivity gains obtained by using MATHFINDER for API discovery, the programmers who used MATHFINDER finished their programming tasks twice as fast as their counterparts who used the usual techniques like web and code search, IDE code completion, and manual inspection of library documentation. For the problem of API migration, as a case study, we used MATHFINDER to migrate Weka, a popular machine learning library. Overall, our evaluation shows that MATHFINDER is easy to use, provides highly precise results across several math APIs and application domains even with a small number of unit tests per method, and scales to large collections of unit tests.

N-Terminal Disordered Domain of Saccharomyces cerevisiae Hop1 Protein Is Dispensable for DNA Binding, Bridging, and Synapsis of Double-Stranded DNA Molecules But Is Necessary for Spore Formation

The cytological architecture of the synaptonemal complex (SC), a meiosis-specific proteinaceous structure, is evolutionarily conserved among eukaryotes. However, little is known about the biochemical properties of SC components or the mechanisms underlying their roles in meiotic chromosome synapsis and recombination. Functional analysis of Saccharomyces cerevisiae Hop1, a key structural component of SC, has begun to reveal important insights into its function in interhomolog recombination. Previously, we showed that Hop1 is a structure-specific DNA-binding protein, exhibits higher binding affinity for the Holliday junction, and induces structural distortion at the core of the junction. Furthermore, Hop1 promotes DNA condensation and intra- and intermolecular synapsis between duplex DNA molecules. Here, we show that Hop1 possesses a modular domain organization, consisting of an intrinsically disordered N-terminal domain and a protease-resistant C-terminal domain (Hop1CTD). Furthermore, we found that Hop1CTD exhibits strong homotypic as well as heterotypic protein protein interactions, and its biochemical activities were similar to those of the full-length Hop1 protein. However, Hop1CTD failed to complement the meiotic recombination defects of the Delta hop1 strain, indicating that both N- and C-terminal domains of Hop1 are essential for meiosis and spore formation. Altogether, our findings reveal novel insights into the structure-function relationships of Hop1 and help to further our understanding of its role in meiotic chromosome synapsis and recombination.

First Structural View of a Peptide Interacting with the Nucleotide Binding Domain of Heat Shock Protein 90

The involvement of Hsp90 in progression of diseases like cancer, neurological disorders and several pathogen related conditions is well established. Hsp90, therefore, has emerged as an attractive drug target for many of these diseases. Several small molecule inhibitors of Hsp90, such as geldanamycin derivatives, that display antitumor activity, have been developed and are under clinical trials. However, none of these tested inhibitors or drugs are peptide-based compounds. Here we report the first crystal structure of a peptide bound at the ATP binding site of the N-terminal domain of Hsp90. The peptide makes several specific interactions with the binding site residues, which are comparable to those made by the nucleotide and geldanamycin. A modified peptide was designed based on these interactions. Inhibition of ATPase activity of Hsp90 was observed in the presence of the modified peptide. This study provides an alternative approach and a lead peptide molecule for the rational design of effective inhibitors of Hsp90 function.

Ischaemic concentrations of lactate increase TREK1 channel activity by interacting with a single histidine residue in the carboxy terminal domain

Key points The physiological metabolite, lactate and the two-pore domain leak potassium channel, TREK1 are known neuroprotectants against cerebral ischaemia. However, it is not known whether lactate interacts with TREK1 channel to provide neuroprotection. In this study we show that lactate increases TREK1 channel activity and hyperpolarizes CA1 stratum radiatum astrocytes in hippocampal slices. Lactate increases open probability and decreases longer close time of the human (h)TREK1 channel in a concentration dependent manner. Lactate interacts with histidine 328 (H328) in the carboxy terminal domain of hTREK1 channel to decrease its dwell time in the longer closed state. This interaction was dependent on the charge on H328. Lactate-insensitive mutant H328A hTREK1 showed pH sensitivity similar to wild-type hTREK1, indicating that the effect of lactate on hTREK1 is independent of pH change. AbstractA rise in lactate concentration and the leak potassium channel TREK1 have been independently associated with cerebral ischaemia. Recent literature suggests lactate to be neuroprotective and TREK1 knockout mice show an increased sensitivity to brain and spinal cord ischaemia; however, the connecting link between the two is missing. Therefore we hypothesized that lactate might interact with TREK1 channels. In the present study, we show that lactate at ischaemic concentrations (15-30mm) at pH7.4 increases TREK1 current in CA1 stratum radiatum astrocytes and causes membrane hyperpolarization. We confirm the intracellular action of lactate on TREK1 in hippocampal slices using monocarboxylate transporter blockers and at single channel level in cell-free inside-out membrane patches. The intracellular effect of lactate on TREK1 is specific since other monocarboxylates such as pyruvate and acetate at pH7.4 failed to increase TREK1 current. Deletion and point mutation experiments suggest that lactate decreases the longer close dwell time incrementally with increase in lactate concentration by interacting with the histidine residue at position 328 (H328) in the carboxy terminal domain of the TREK1 channel. The interaction of lactate with H328 is dependent on the charge on the histidine residue since isosteric mutation of H328 to glutamine did not show an increase in TREK1 channel activity with lactate. This is the first demonstration of a direct effect of lactate on ion channel activity. The action of lactate on the TREK1 channel signifies a separate neuroprotective mechanism in ischaemia since it was found to be independent of the effect of acidic pH on channel activity. Key points The physiological metabolite, lactate and the two-pore domain leak potassium channel, TREK1 are known neuroprotectants against cerebral ischaemia. However, it is not known whether lactate interacts with TREK1 channel to provide neuroprotection. In this study we show that lactate increases TREK1 channel activity and hyperpolarizes CA1 stratum radiatum astrocytes in hippocampal slices. Lactate increases open probability and decreases longer close time of the human (h)TREK1 channel in a concentration dependent manner. Lactate interacts with histidine 328 (H328) in the carboxy terminal domain of hTREK1 channel to decrease its dwell time in the longer closed state. This interaction was dependent on the charge on H328. Lactate-insensitive mutant H328A hTREK1 showed pH sensitivity similar to wild-type hTREK1, indicating that the effect of lactate on hTREK1 is independent of pH change.

Biochemical Characterization of Nonamer Binding Domain of RAG1 Reveals its Thymine Preference with Respect to Length and Position

RAG complex consisting of RAG1 and RAG2 is a site-specific endonuclease responsible for the generation of antigen receptor diversity. It cleaves recombination signal sequence (RSS), comprising of conserved heptamer and nonamer. Nonamer binding domain (NBD) of RAG1 plays a central role in the recognition of RSS. To investigate the DNA binding properties of the domain, NBD of murine RAG1 was cloned, expressed and purified. Electrophoretic mobility shift assays showed that NBD binds with high affinity to nonamer in the context of 12/23 RSS or heteroduplex DNA. NBD binding was specific to thymines when single stranded DNA containing poly A, C, G or T were used. Biolayer interferometry studies showed that poly T binding to NBD was robust and comparable to that of 12RSS. More than 23 nt was essential for NBD binding at homothymidine stretches. On a double-stranded DNA, NBD could bind to A:T stretches, but not G:C or random sequences. Although NBD is indispensable for sequence specific activity of RAGs, external supplementation of purified nonamer binding domain to NBD deleted cRAG1/cRAG2 did not restore its activity, suggesting that the overall domain architecture of RAG1 is important. Therefore, we define the sequence requirements of NBD binding to DNA.