Events

Filters
Export this event to calendar
iCal
RSS
RSS
Close X

Filter by:

Limit to events where the title matches:
Limit to events where the first date of the event:
Date range
Limit to events where the type is one or more of:
Limit to events tagged with one or more of:
Limit to events where the audience is one or more of:
Wednesday, July 23, 2025 1:00 pm - 2:00 pm EDT (GMT -04:00)

Master’s Thesis Presentation • Formal Methods • Local Theories and Efficient Partial Quantifier Elimination

Please note: This master’s thesis presentation will take place in DC 2310 and online.

Estifanos Getachew, Master’s candidate
David R. Cheriton School of Computer Science

Supervisors: Professors Arie Gurfinkel, Richard Trefler

Wednesday, August 6, 2025 10:00 am - 11:00 am EDT (GMT -04:00)

Master’s Thesis Presentation • Cryptography, Security, and Privacy (CrySP) • Argus: Detecting Access Control Vulnerabilities in Android Framework using Large Language Models

Please note: This master’s thesis presentation will take place in DC 2314 and online.

Haseeb Ur Rehman Faheem, Master’s candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Yousra Aafer

Thursday, August 7, 2025 12:00 pm - 3:00 pm EDT (GMT -04:00)

PhD Defence • Software Engineering • Precise and Scalable Constraint-based Type Inference for Incomplete Java Code Snippets in the Age of Large Language Models

Please note: This PhD defence will take place in DC 2310 and online.

Yiwen Dong, Ph D candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Chengnian Sun

Thursday, August 7, 2025 2:00 pm - 3:00 pm EDT (GMT -04:00)

Master’s Thesis Presentation • Cryptography, Security, and Privacy (CrySP) • Tracking for Good: Finding Behavioral Biometrics on the Web using Static Taint Analysis

Please note: This master’s thesis presentation will take place in DC 3317 and online.

Aswad Tariq, Master’s candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Urs Hengartner

Friday, August 8, 2025 11:00 am - 12:00 pm EDT (GMT -04:00)

Master’s Thesis Presentation • Systems and Networking • Adaptive Interrupt Handling for High-Performance Network I/O in Linux and Virtualized Environments

Please note: This master’s thesis presentation will take place online.

Mohammadamin Shafiei, Master’s candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Martin Karsten