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.

======