University of Minnesota Twin Cities PL Seminar

2023-12-04 Discussion: Parallel prefix computation

December 4, 2023
  • Paper: Janis Voigtländer. Much ado about two (pearl): a pearl on parallel prefix computation. SIGPLAN Not.
  • Speaker: Zhuyang Wang
  • Location: Lind 316
  • Time: 2:30-3:30 pm

2023-11-20 Discussion: Sharing trees for forwarding in attribute grammars

November 20, 2023
  • Paper: Lucas Kramer and Eric Van Wyk. Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Grammars. (SLE ‘23).
  • Speaker: Lucas Kramer
  • Location: Lind 316
  • Time: 2:30-3:30 pm

2023-11-06 Discussion: Meanings of logical constansts and justifications of logical laws

November 6, 2023
  • Paper: Per Martin-Löf. “On the meanings of the logical constants and the justifications of the logical laws”
  • Speaker: Isaac Velasquez
  • Location: Lind 316
  • Time: 2:30-3:30 pm

2023-10-09 Discussion: Nanopass Attribute Grammars

October 9, 2023
  • Paper: Nathan Ringo, Lucas Kramer, and Eric Van Wyk. Nanopass Attribute Grammars. (SLE ‘23).
  • Location: Lind 316
  • Time: 2:30-3:30 pm

2023-09-25 Discussion: Pattern Matching Without K

September 25, 2023
  • Paper: Jesper Cockx, Dominique Devriese, and Frank Piessens. Pattern matching without K. (ICFP ‘14).
  • Location: Lind 316
  • Time: 2:30-3:30 pm