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(a)gatech.edu<mailto:qrzhang@gatech.edu>.
======
Hi all,
Hope your summer is going well so far. Keeping this short and sweet for you as we've been gifted 100 spots for an exclusive networking event with BlackRock on July 28th at 1 pm covering their Analytics & Risk and/or Technology programs.
The first 100 people to complete the survey<https://gatech.co1.qualtrics.com/jfe/form/SV_1YyiytajBE6yxCJ> will receive the link to register.
Christen Steele
Director of Computing Career Services
Corporate Affiliates Program, Career Advising, Student Organizations
Pronouns: she/her/hers
Georgia Institute of Technology
Phone: (404) 385-5622
Email: csteele(a)cc.gatech.edu<mailto:csteele@cc.gatech.edu>
College of Computing Building (CCB) Rm. 139
