Chanseok Oh

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)
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)
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)
  • 1