Seminar Schedule.
Where: Davis 338A
When: Tuesdays at 1:00 PM (room opens at 12:30)
- Jan 27: Coordination and Planning Meeting
- Feb 3: Cheng-En's Thesis Proposal Defense
- Feb 10: Grant presents Event Structures
- Feb 17: Mason presents Separation Logic for Sequential Programs
- Feb 24: Keith presents Consistent Updates for Scalable Microservices
- Mar 3: Vincent presents Security Reasoning via Substructural Dependency Tracking
- Thursday, Mar 12: Visiting Speaker: Cassia Torczon (UPenn)
- Mar 17: Spring Break
- Mar 24: Nitin presents Concurrent ML
- Mar 31: Visiting Speaker: Ryan Marcus (UPenn)
- Apr 7: Geetansh presents : Ambiguity in LLM powered semantic query processing
- Apr 14: Xiangyu presents Mechanizing Lattice-Theoretic Tools for Cryptography in Lean (with LLM-Assisted Proof Engineering)
- Apr 21: Oliver presents Hedgelog: Efficient, Ergonomic Aggregation for Datalog
- Apr 28: Vincent presents TBD
- May 4: CSE Distinguished Speaker Talk: David Walker (Princeton) (11 AM in Davis 338A)
- May 5: Mike presents FP²: Fully in-Place Functional Programming
(Submit edits at UB-DBPL/Website on Codeberg)