1-slide overview of research@ KYHCS KYHCS: USTC-Yale Joint research center for high Confidence Software founded in 2008) Location Suzhou and hefei Goal: building high-confidence SW systems System software verification(e.g. oS kernels, compilers) Verification of concurrent algorithms(e.g. multicore programs Automated analysis and verification of programs Other new language design and impl. semantics,1-slide overview of research@KYHCS • KYHCS: USTC-Yale Joint Research Center for High￾Confidence Software (founded in 2008) – Location: Suzhou and Hefei • Goal: building high-confidence SW systems – System software verification (e.g. OS kernels, compilers) – Verification of concurrent algorithms (e.g. multicore programs) – Automated analysis and verification of programs – Other: new language design and impl., semantics, …