PL Reading Group @ IU
Spring 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: <4:00 PM> on Tuesdays.
  • 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-4105 (study room, 4th floor Luddy Hall)
  • Where is it? Search "Luddy Hall" on Campus Map.

Schedule

Date Paper Title / Presentation Speaker(s)
<2022-01-18 Tue> POPL Week N/A
<2022-01-25 Tue> Paper Reading: Group Discussion
  A Correspondence between Continuation Passing Style  
  and Static Single Assignment Form  
  Links: 1 , ACM-DL , Scheme->CPS Code  
<2022-02-01 Tue> Presentation: Recursive Types Kartik
  Links: LaTeX for Slides , Racket Code , Haskell Code  
<2022-02-08 Tue> Paper Reading: Compilers and Staging Transformations Group Discussion
  Links: 1 , ACM-DL  
<2022-02-15 Tue> Presentation: Chenchao
  位-circuit: Reasoning About 位-calculus Diagrammatically  
  Links: Slides  
<2022-02-22 Tue> Presentation: Hazel
  Categories, parametricity, and a folk theorem  
  Links: Agda Formalization, Further Reading 1,  
  Further Reading 2, Racket for Slides  
<2022-03-01 Tue> Paper Reading: Domains for Denotational Semantics Group Discussion
  Links: 1 , ACM-DL  
<2022-03-08 Tue> Paper Reading: Group Discussion
  A theory of type polymorphism in programming  
  Links: 1 , DOI  
<2022-03-15 Tue> Spring Break N/A
<2022-03-22 Tue> Paper Reading: Data Types as Lattices Group Discussion
  Links: 1 , DOI  
<2022-03-29 Tue> Paper Reading: The mechanical evaluation of expressions Group Discussion
  Links: 1 , DOI  
<2022-04-05 Tue> Paper Reading: Call-by-name, call-by-value, and Group Discussion
  the 位-calculus Links: 1 , DOI  
<2022-04-12 Tue> Paper Reading: A structural approach to operational Group Discussion
  semantics Chapters 1~3 Links: 1 , 2  
<2022-04-19 Tue> Paper Reading: Control Operators, the SECD-Machine, Group Discussion
  and the 位-Calculus Links: 1  
<2022-04-26 Tue> Paper Reading: Natural semantics Group Discussion
  Links: 1  
<2022-05-10 Tue> Paper Reading: A Functional Correspondence between Group Discussion
  Evaluators and Abstract Machines  
  Links: 1  
<2022-05-17 Tue> Presentation: Semantic Subtyping Kartik
  Links: Reference on Semantic Subtyping  
<2022-05-24 Tue> Presentation: ACL2 and J-Bob Kartik
  References: Computer-Aided Reasoning: An Approach by  
  Kaufman, Manolios and Moore; The Little Prover by Friedman  
  and Eastlund  
<2022-05-31 Tue> Paper Reading: Type-Preserving Renaming and Group Discussion
  Substitution  
  Links: 1  
<2022-06-07 Tue> Paper Reading: A Syntactic Approach to Type Soundness Group Discussion
  Links: 1  
<2022-06-14 Tue> Paper Reading: Fast and Effective Procedure Inlining Group Discussion
  Links: 1  
<2022-06-21 Tue> Paper Reading: Call-by-Push-Value: A Subsuming Paradigm Group Discussion
  Links: 1  
<2022-06-28 Tue> Paper Reading: The Derivative of a Regular Type is its Type of One-Hole Contexts Group Discussion
  Links: 1  
<2022-07-05 Tue> Paper Reading: An Axiomatic Basis for Computer Programming Group Discussion
  Links: 1  
<2022-07-12 Tue> Paper Reading: Functional Pearls: Probabilistic Functional Programming in Haskell Group Discussion
  Links: 1  
<2022-07-19 Tue> Presentation: Automating Proofs by Induction Kartik
  Links: Implementation Notes  
<2022-07-26 Tue> Paper Reading: Full Abstraction for PCF Group Discussion
  Links: Paper, Previous Paper on Game Semantics, Notes from OPLSS  
<2022-08-02 Tue> Presentation Classical Realizability Darshal
  Links: Reference  

Created: 2022-08-02 Tue 11:44