Winter 2024

This term’s seminar will be 1pm Fridays, in Room 928.

Claim a slot by editing the page to list the selected paper (or title of a practice talk), your name, and any co-presenters’ names.

If you need/want to present but no dates remain that work for you, email the presenters of some taken dates (maybe they have flexibility), and failing that get in touch with Colin & Preetha.

1. January 12: Overview, Introductions, Logistics, and maybe a brief tutorial
   • Discussion Lead: Colin
2. January 19: Research-oriented Rust Tutorial (basics, connection to SE and PL research)
   • Discussion Lead: Colin
   • Draft slides
3. January 26: Lehmann, Geller, Vazou, and Jhala. Flux: Liquid Types for Rust. PLDI 2023.
   • Discussion Lead: Chris
4. February 2: Malicious Package Detection in NPM and PyPI using a Single Model of Malicious Behavior Sequence
   • Discussion Lead: Amirali
5. February 9: Stack Graphs: Name Resolution at Scale. EVCS 2023.
   • Discussion Lead: Jason
6. February 16: Is unsafe an Achilles’ Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming. Upcoming ICSE 2024 (https://arxiv.org/abs/2308.04785)
   • Discussion Lead: Ismail
7. February 23: Cancelled
8. March 1: Pointer Analysis: Haven’t We Solved This Yet?. PASTE 2001.
   • Newcomers to pointer analysis should probably look at these brief notes on pointer analysis before reading the above (short) paper, for it to make sense: https://courses.cs.washington.edu/courses/cse503/10wi/readings/rayside-points-to.pdf
   • Discussion lead: Chaewon
9. March 8: ChatGPT Incorrectness Detection in Software Reviews. Accepted to ICSE 2024.
   • Discussion lead: Ramtin
10. March 15: Chen, Chung, Lengál, Lin, Tsai, and Yen. An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits. ISSTA 2023.
    • Discussion lead: Patrick