Fall, Winter, Spring — Tuesday, 12:00pm — Zoom

Subscribe to the calendar: iCal or Google Calendar.

During the school year, the PLSE Group meets for lunch each week. The last Tuesday of the month, we head over to the Ave to grab a bite. Students are welcome to sign up for a slot to describe their current progress and get feedback on early research results. Besides signing up for talks, please also sign up to be a lunch Czar! As a lunch Czar, one needs to a. pick up lunch from the front desk by 11:47:52, b. make sure room is ready, c. return the lunch cart, and d. make sure that the room is cleaned up after lunch (everyone should help, the czar is just the leader for that). This quarter we will meet virtually, due to COVID-19. Please call in via Zoom.

Date	Who	What
Jan 5	Everyone Room: Zoom	Planning
Jan 12	TBD Room: Zoom	TBD
Jan 19	Everyone Room: Zoom	Research Potpourri
Jan 26	Julie Room: Zoom	Formal methods and program synthesis for authoring and maintaining term rewriting systems
Feb 2	Thomas Room: Zoom	Can Refactorings Indicate Design Tradeoffs?
Feb 9	Martin Room: Zoom	Using types to verify that resources are closed
Feb 16	Steven Room: Zoom	Dynamic Tensor Rematerialization
Feb 23	Rashmi Room: Zoom	Verifying Iteration Correctness
Mar 2	Bill Zorn Room: Zoom	Rounding correctly, or correctly rounding?: the future of sinking-point
Mar 9	Everyone Room: Zoom	Visit Day Prep