Rustan Leino, Microsoft Research - Program Verification: Yesterday, Today, Tomorrow

2012 58:31
Synopsis
Informatics presents a series of distinguished lectures which aims to present excellent speakers describing intriguing topics in an ...

You Might Also Like

Using Program Verification Tools in Teaching 1:30:41
Using Program Verification Tools In Teaching
2017
Verification beyond programs - Rustan Leino 48:28
Verification Beyond Programs - Rustan Leino
2017
The Road to Microsoft Research 1:13
The Road To Microsoft Research
2012
Specification and Verification in Introductory Computer Science 19:49
Specification And Verification In Introductory Computer Scie...
2017
Microsoft Research - Predictable Data Centres 4:05
Microsoft Research - Predictable Data Centres
2014
Modeling, refinement, and verification 38:25
Modeling, Refinement, And Verification
2014
Research Accelerators Overview Video - 2011.wmv 2:56
Research Accelerators Overview Video - 2011.wmv
2012
Training LLM With Muon Optimizer - My AI Research Thesis 6:59
Training Llm With Muon Optimizer - My Ai Research Thesis
2026
Writing inductive proofs about programs that operate on trees 44:04
Writing Inductive Proofs About Programs That Operate On Tree...
2014
Mechanized Verification of Fine-grained Concurrent Programs: PLDI'15 Video Abstract 1:01
Mechanized Verification Of Fine-grained Concurrent Programs:...
2016
Solution manual Program Proofs, by K. Rustan M. Leino 0:21
Solution Manual Program Proofs, By K. Rustan M. Leino
2026
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
Ssvid
MP4 & MP3 • HD Quality • Browser Extension Available
Download
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.