Research

PLClub’s research often exploits type theory to design and prove properties about programs and programming languages. A few weeks after acceptance, summer students will meet with Joey to discuss their interests. At this point they will have access to a list of project abstracts. Based on this meeting, summer students will be assigned a tentative faculty adviser, graduate student adviser, and project. Students will generally spend the first week of the program finalizing their project and adviser selections.

When REPL begins, summer students will meet weekly with their advisers. These meetings are meant to troubleshoot their research projects but also provide time for broader guidance. For example, not every meeting must be about the research project. REPL students may want to ask faculty about how they began their research careers, or why they work on what they do. In the last week, each student will present a 15 minute talk to PLClub. Throughout REPL if students feel a project is no longer a good fit and want to switch projects, they may do so by contacting Joey.

Projects

Below are project presentations from the 2023 REPL cohort. This isn’t exhaustive of the work you can do at REPL but is a good sample of topics. For a more comprehensive list of publications from PLClub see here.