Learn More
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool automatically generates and validates fixes for software faults. The key insights behind AutoFix-E are to rely on contracts present in the software to ensure that the proposed fixes are(More)
Modern programming frameworks come with large libraries, with diverse applications such as for matching regular expressions, parsing XML files and sending email. Programmers often use search engines such as Google and Bing to learn about existing APIs. In this paper, we describe SWIM, a tool which suggests code snippets given API-related natural language(More)
Phosphorylation of histone H3 at serine 10 occurs during mitosis in diverse eukaryotes and correlates closely with mitotic and meiotic chromosome condensation. To better understand the function of H3 phosphorylation in vivo, we created strains of Tetrahymena in which a mutant H3 gene (S10A) was the only gene encoding the major H3 protein. Although both(More)
and gauges that perform continuous testing and gather data for maintenance. While software does not physically degrade during operation , its development requires extensive testing (and other forms of verification); yet software design usually pays little attention to testing needs. It is as if we had not learned the lessons of other industries: Software(More)
We consider the problem of building probabilistic models that jointly model short natural language utterances and source code snippets. The aim is to bring together recent work on statistical modelling of source code and work on bimodal models of images and natural language. The resulting models are useful for a variety of tasks that involve natural(More)
BACKGROUND Myeloid-related protein 8/14 (MRP8/14) is a stable heterodimer formed by two different calcium-binding proteins (MRP8 and MRP14). Studies have identified that MRP8/14 regulates vascular inflammation and serves as a novel marker of acute coronary syndrome. In this study, we evaluated the correlation between serum levels of MRP8/14, hsCRP,(More)
The nervous system is composed of many different types of neurons and glia cells. Differentiation of these cell types is regulated by various intrinsic transcriptional programs as well as extrinsic signals. Studies of neural differentiation have been focused on the roles of individual factors. Here we profiled global gene expression patterns during neural(More)