Presentations • August 20-24, 2018
Tuesday, August 21, 2018
PhD Defence • Systems and Networking
Improving the Performance of User-level Runtime Systems for Concurrent Applications
Saman Barghi, PhD candidate
David R. Cheriton School of Computer Science
9:30 a.m. • DC 2310
Friday, August 24, 2018
Master’s Thesis Presentation • Programming Languages
Reasoning About Foreign Function Interfaces: Blame and Nondeterministic Formal Semantics
Alexi Turcotte, Master’s candidate
David R. Cheriton School of Computer Science
11:00 a.m. • DC 2314
Master’s Thesis Presentation • Programming Languages
Formal Semantics and Mechanized Soundness Proof for Fast Gradually Typed JavaScript
Ellen Arteca, Master’s candidate
David R. Cheriton School of Computer Science
1:30 p.m. • DC 2310
Upcoming presentations and events
Tuesday, September 4, 2018
PhD Defence • Artificial Intelligence
On the Relationship Between Satisfiability and Partially Observable Markov Decision Processes
Ricardo Salmon, PhD candidate
David R. Cheriton School of Computer Science
12:30 p.m. • DC 2310
Thursday, September 13, 2018
Computer Science Grad BBQ
The Cheriton School of Computer Science invites all its graduate students, faculty and staff to the annual Computer Science BBQ
3:30 p.m. • V1 Green; if rain M3 Atrium
Wednesday, September 19, 2018
PhD Defence • Systems and Networking
Resource Orchestration in Softwarized Networks
Md Faizul Bari, PhD candidate
David R. Cheriton School of Computer Science
10:00 a.m. • DC 2310
Friday, September 21, 2018
Cheriton Research Symposium
Presentations by Cheriton Faculty Fellows • Grad student poster presentations
9:45 a.m. to 4:45 p.m. • DC 1302
Tuesday, September 25, 2018
PhD Defence • Artificial Intelligence
Learning Sparse Orthogonal Wavelet Filters
Daniel Recoskie, PhD candidate
David R. Cheriton School of Computer Science
1:00 p.m. • DC 2310
WebNotice
Visit WebNotice for more information about these presentations.
