Description My group has two REU positions available. The goal of this research is to develop a precise and scalable framework for static analysis. The research formulates the analysis problems as graph reachability problems based on linear conjunctive language reachability (LCL-reachability). We have two planed directions: (1) automatic average-case analysis of LCL-reachability algorithms; (2) providing extensible supports for debugger testing. The REU students will be working with my PhD students to get hands-on experience in the exciting research in program analysis. Moreover, the REU students will also be invited to the bi-weekly PLSE meetings at the School of Computer Science, where they can share the project outcomes with the PLSE audience at Georgia Tech. In the COVID-19 pandemic, we will move all meetings online. In-person meetings are not required. You might find more information about my research at https://www.cc.gatech.edu/~qrzhang/. Please feel free to reach out to me if you have any questions. Two publications related to the project: [1] Fast Graph Simplification for Interleaved Dyck-Reachability (https://www.cc.gatech.edu/~qrzhang/papers/pldi20_yuanbo2.pdf) [2] Context-Sensitive Data-Dependence Analysis via Linear Conjunctive Language Reachability (https://www.cc.gatech.edu/~qrzhang/papers/popl2017_qirun.pdf) Requirements * The positions are mainly for senior students. We accept exceptional junior students if we see a strong fit. The students should have taken upper-level computer science courses related to compilers, programming languages, graph theory, analysis of algorithms, formal language theory. * The REU project is funded by NSF. The participated students will be paid with stipends. * Applicants should have strong technical communication skills. Students are expected to write a technical report (or a conference paper) based on the REU project results. * Applicants must be citizens or permanent residents of the United States. * Applicants from underrepresented minorities are strongly encouraged to apply. * To apply, please check the two publications and send me an email with your transcript and cv. My email is qrzhang@gatech.edu<mailto:qrzhang@gatech.edu>. ======