Lectures 2023

Presentations at Conferences, Symposia, etc.

Conference Lecture (Upon Registration)

• Lecturer(s): Moser, Georg Co-author(s): Avanzini, Martin; Schaper, Michael: Automated Expected Value Analysis of Recursive Programs.
  PLDI 2023 - Programming Language Design and Implementation, Orlando, 2023-06-20. (Web link)
  
  

Guest Lectures

Guest Lecture

• Lecturer(s): Moser, Georg: Automated Expected Cost Analysis of Splaying et al.
  Carnegie Mellon University, Pittsburgh, 2023-06-08. (Web link)