[Women at CC] FW: Fall 2020 Research positions for undergraduate students

[Steele, Christen E]

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 at gatech.edu<mailto:qrzhang at gatech.edu>.
======
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.cc.gatech.edu/pipermail/uwomen/attachments/20200730/4b74adee/attachment.html>