Learn More
The 7-methylguanosine cap structure at the 5' end of eukaryotic messenger RNAs is a critical determinant of their stability and translational efficiency. It is generally believed that 5'-end capping is a constitutive process that occurs during mRNA maturation and lacks the need for a quality-control mechanism to ensure its fidelity. We recently reported(More)
The balance between saturated and unsaturated fatty acids plays a crucial role in determining the membrane fluidity. In the diploid fungal pathogen Candida albicans, the gene for fatty acid Delta9 desaturase, OLE1, is essential for viability. Using a reverse genetic approach, termed the fitness test, we identified a group of structurally related synthetic(More)
Recent studies showed that Rai1 is a crucial component of the mRNA 5'-end-capping quality-control mechanism in yeast. The yeast genome encodes a weak homolog of Rai1, Ydr370C, but little is known about this protein. Here we report the crystal structures of Ydr370C from Kluyveromyces lactis and the first biochemical and functional studies on this protein.(More)
We present VERMEER, a new automated debugging tool for C. VERMEER combines two functionalities: (1) a dynamic tracer that produces a linearized trace from a faulty C program and a given test input; and (2) a static analyzer that explains why the trace fails. The tool works in phases that simplify the input program to a linear trace, which is then analyzed(More)
COMiniSatPS is a patched MiniSat generated by applying a series of small diff patches to the last available version (2.2.0) of MiniSat that was released several years ago. The essence of the patches is to include only minimal changes necessary to make MiniSat sufficiently competitive with modern SAT solvers. One important goal of COMiniSatPS is to provide(More)