CS 7190 (Fall 2017)

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 SeptemberNonmalleable Information Flow Control
Ethan Cecchetti, Andrew C. Myers, Owen Arden
Ethan Cecchetti
13 SeptemberA Brief History of Type-Free Foundations of Mathematics
Scott Messick
Scott Messick
20 SeptemberFormal Verification of the IEEE Floating-Point Type in Boogie and Smack
Dietrich Geisler and Zvonimir Rakamarić
Dietrich Geisler
27 SeptemberDisciplined Model-Finding
Tim Nelson
Tim NelsonNate Foster
4 October A conversation with Glynn Winskell
11 OctoberCross-Layer Workload Characterization of Meta-Tracing JIT VMs
Berkin IIbeyi
Berkin IIbeyiShrutarshi Basu
18 OctoberSalvaging Student Programs, Automatically
Molly Feldman, Yiting Wang, Yuntian Lan, Jinyan Zheng, Xinqi Lyu, William E. Byrd, and Erik Andersen
Molly Feldman
25 OctoberTyped Interactions for NLU in Opal / Undecidable Problems for Probabilistic Network Programming
Harrison Goldstein and David Kahn
Harrison Goldstein and David Kahn
1 NovemberSynchronization Synthesis for Network Programs
Pavol Cerny, Jedidiah McClurg, Hossein Hojjat
Pavol CernyNate Foster
8 November PLDI Amigo Review
15 NovemberAbstract Interpreters: How do they work?: A tutorial on Abstract Interpretation and how it works!
Jonathan DiLorenzo
Jonathan DiLorenzo
17 NovemberLogic & Proofs for Cyber-Physical Systems with KeYmaera X
Andre Platzer
Andre Platzer
29 NovemberDeny Capabilities for Safe, Fast Actors
Sylvan Clebsch, Sophia Drossopoulou, Sebastian Blessing, Andy McNeil
Matthew Milano
Validate XHTML Validate CSS
Last updated Recently