Time: Wednesday 1:00pm - 2:00pm
Location: In-person (TBD) and Zoom (requires Cornell NetID)
Organizers: Dexter Kozen and Adrian Sampson
Czar: Rolph Recto
The Programming Languages Discussion Group meets weekly to discuss papers in the area of programming languages, program analysis, and compilers. The goal is to encourage interactions and discussions between students, researchers, and faculty with interests in this area. The seminar is open to everybody interested in languages and compilers.
Talks will be advertised on the pldg-l@cornell.edu list. To join, send a
message to pldg-l-request@cornell.edu with the subject “join” and a
blank body.
PLDG will meet in person during the summer but meetings will still be broadcast over Zoom.
| Date | Paper | Venue | Discussion Leader |
|---|---|---|---|
| June 10 | Organizational Meeting | ||
| June 16 | Trigger Selection Strategies to Stabilize Program Verifiers | CAV 2016 | Dietrich Geisler |
| PLDI 2021 | |||
| June 30 | egg: Fast and extensible equality saturation | POPL 2021 | Griffin Berlstein |
| July 07 | Hardware/software contracts for secure speculation | IEEE S&P/Oakland 2021 | Drew Zagieboylo |
| Cornell-Penn PL/SE Meetup | |||
| July 28 | EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats | USENIX 2019 | Haobin Ni |
| Aug 04 | λ-Symphony: A Concise Language Model for MPC | Ian Sweet (external speaker) | |
| Aug 11 | Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types | ECOOP 2021 | Anish Tondwalkar (external speaker) |
| Aug 18 | Scooter & Sidecar: a domain-specific approach to writing secure database migrations | PLDI 2021 | John Renner (external speaker) |
| Aug 25 | Incorrectness Logic | POPL 2020 | Goktug Saatcioglu |
Some of the links above need institutional affiliation to access the papers. Use Cornell PassKey to access them.