Seminar in Programming Languages
Time: Wednesdays 3:35PM - 4:35PM
Location: Gates 310
Organizers: Dexter Kozen and Adrian Sampson
Czars: Eric Campbell and Molly Feldman
Previous Semesters: Archives
Information on the retreat: Retreat 2018
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. First-year and second-year students are especially encouraged to participate. Participating students should register for the 1-credit course CS 7190.
Talks will be advertised on the pldg-l@cornell.edu list. To subscribe, send a message to pldg-l-request@cornell.edu with the subject "join" and a blank body.
Date | Topic | Presenter | Host |
29 August | Getting Started! | ||
September 5 | Cancelled due to Retreat | ||
September 12 | PL For Music | Michael Roberts | |
September 19 | Types for Information Flow Control: Labeling Granularity and Semantic Models Vineet Rajani and Deepak Garg | Ethan Cecchetti | |
September 26 | Cancelled | ||
October 3 | SHErrLoc: A Static Holistic Error Locator Danfeng Zhang, Andrew C. Meyers, Dimitrios Vytiniotis, and Simon Peyton-Jones | Josh Acay | |
October 10 | Putting in All the Stops: Execution Control for Javascript Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, and Arjun Guja | Rachit Nigam | |
October 17 | Differential Equation Axiomatization [Special Time and Location] Starting at 4pm in Malott 206 | Andre Platzer | Mathematics Department |
October 24 | FunTAL: reasonably mixing a functional language with assembly Daniel Patterson, Jamie Perconti, Christos Dimoulas, Amal Ahmed | Irene Yoon | |
Monday, October 29 | Public Service Announcement: Is Your Programming Language "Safe"? [Special Time] 3-4 pm in Gates 310 | Todd Millstein | Nate Foster |
October 31 | Replicated Data Types: Specification, Verification, Optimality Sebastian Burkhardt, Alexey Gotsman, Hongseok Yang, and Marek Zawirski | Rolph Recto | |
November 7 | Amigo Review for PLDI | ||
November 14 | Reduction: a method of proving properties of parallel programs Richard J. Lipton | Jonathan DiLorenzo | |
November 21 | No meeting due to Thanksgiving Break | ||
November 28 | Towards a Formal Theory of Renaming for OCaml Hugo Feree, Reuben N.S. Rowe and Simon Thompson | Reuben N.S. Rowe | Liron Cohen |