Seminar in Programming Languages
Time: Wednesdays 3:35PM - 4:35PM
Location: Gates 310
Organizers: Dexter Kozen and Adrian Sampson
Czars: Molly Feldman and Matthew Milano
Previous Semesters: Archives
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 |
23 Aug | Welcome to PLDG / PL research overview | ||
30 Aug | continuing PL research overview | ||
6 September | Nonmalleable Information Flow Control Ethan Cecchetti, Andrew C. Myers, Owen Arden | Ethan Cecchetti | |
13 September | A Brief History of Type-Free Foundations of Mathematics Scott Messick | Scott Messick | |
20 September | Formal Verification of the IEEE Floating-Point Type in Boogie and Smack Dietrich Geisler and Zvonimir Rakamarić | Dietrich Geisler | |
27 September | Disciplined Model-Finding Tim Nelson | Tim Nelson | Nate Foster |
4 October | A conversation with Glynn Winskell | ||
11 October | Cross-Layer Workload Characterization of Meta-Tracing JIT VMs Berkin IIbeyi | Berkin IIbeyi | Shrutarshi Basu |
18 October | Salvaging Student Programs, Automatically Molly Feldman, Yiting Wang, Yuntian Lan, Jinyan Zheng, Xinqi Lyu, William E. Byrd, and Erik Andersen | Molly Feldman | |
25 October | Typed Interactions for NLU in Opal / Undecidable Problems for Probabilistic Network Programming Harrison Goldstein and David Kahn | Harrison Goldstein and David Kahn | |
1 November | Synchronization Synthesis for Network Programs Pavol Cerny, Jedidiah McClurg, Hossein Hojjat | Pavol Cerny | Nate Foster |
8 November | PLDI Amigo Review | ||
15 November | Abstract Interpreters: How do they work?: A tutorial on Abstract Interpretation and how it works! Jonathan DiLorenzo | Jonathan DiLorenzo | |
17 November | Logic & Proofs for Cyber-Physical Systems with KeYmaera X Andre Platzer | Andre Platzer | |
29 November | Deny Capabilities for Safe, Fast Actors Sylvan Clebsch, Sophia Drossopoulou, Sebastian Blessing, Andy McNeil | Matthew Milano |