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

  1. January 10: No meeting
  2. January 17: Property-Based Testing in Practice, ICSE 2024. Logistics for the term
    • Discussion Lead: Chris
  3. January 24: Cancelled for lack of volunteers
  4. January 31: Meeting to schedule and plan
  5. February 7: Typed and Confused: Studying the Unexpected Dangers of Gradual Typing
    • Discussion Lead: Chaewon
  6. February 14: Skipped due to parade closure
  7. February 21: Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation , this is a preprint of a paper recently accepted to ICST 2025
    • Discussion Lead: Amirali
  8. February 28: RLCoder: Reinforcement Learning for Repository-Level Code Completion, ICSE 2025 preprint.
    • Discussion Lead: Jason
  9. March 7: General discussion of generative AI (LLMs) in SE, anchored around a blog post on technical debt generated by AI and a recent essay speculating how AI will change (but not destroy) software engineering
    • Discussion Lead: Ernie
  10. March 14: Ismail’s thesis defense is planned this day (at our seminar time)