PL Reading Group @ IU
Fall 2022 🍁

Table of Contents

About

The PL Reading Group (PLRG) is the de facto successor to PL Wonks and several previous reading groups. Unlike PL Wonks talk series, the focus of PLRG is paper reading and discussion. However, we do occasionally schedule presentations, practice talks, and tutorial sessions (Schedule).

We are looking for presentations! Please visit the "participating" page for details about voting for papers to read and scheduling your presentation.

Time

  • Time: <3:00 PM> on Mondays.
  • The event usually lasts 1 hour. You may leave early.
  • If you are a speaker, please make sure your presentation is within 40 minutes.

Location

  • Room: BLIF-4101 (study room, 4th floor Luddy Hall)
  • Where is it? Search "Luddy Hall" on Campus Map.

Schedule

Date Paper Title / Presentation Speaker(s)
<2022-09-05 Mon> Labor Day N/A
<2022-09-12 Mon> Paper Reading: The Cartesian Product Algorithm: Group Discussion
  Simple and Precise Type Inference of  
  Parametric Polymorphism  
  Link: 1  
<2022-09-19 Mon> Paper Reading: Separation Logic: A Logic for Group Discussion
  Shared Mutable Data Structures  
  Link: 1  
<2022-09-26 Mon> Paper Reading: A Framework for Substructural Group Discussion
  Type Systems  
  Links: 1 , 2(ACM DL)  
<2022-10-03 Mon> Paper Reading: A Lattice Model of Group Discussion
  Secure Information Flow  
  Links: 1 , 2(ACM DL)  
<2022-10-10 Mon> TBA  
<2022-10-17 Mon> TBA  
<2022-10-24 Mon> TBA  
<2022-10-31 Mon> TBA  

Created: 2022-10-03 Mon 14:27