Скачать или смотреть Multiple Speakers | 11/06/2021 | [VSOW04] Verified software: tools and experiments

FIRST Speaker: Professor Lenore Zuck (University of Illinois at Chicago)
Date: 11 June 2021 - 15:30 to 16:00
Venue: INI Seminar Room 1 - VIRTUAL
Session Title: A Teaspoon of Formal Methods
Event: [VSOW04] Verified software: tools and experiments

SECOND Speaker: Professor Benjamin Pierce (University of Pennsylvania)
Date: 11 June 2021 - 16:00 to 16:30
Venue: INI Seminar Room 1 - VIRTUAL
Session Title: Property-Based Testing for Networked Servers: The DeepWeb Experience
Event: [VSOW04] Verified software: tools and experiments

THIRD Speaker: Professor Ranjit Jhala (University of California, San Diego)
Date: 11 June 2021 - 16:30 to 17:00
Venue: INI Seminar Room 1 - VIRTUAL
Session Title: Modular Specification and Decidable Verification using Abstract Refinement Types
Event: [VSOW04] Verified software: tools and experiments

FOURTH Speaker: Dr Nadia Polikarpova (University of California, San Diego)
Date: 11 June 2021 - 17:30 to 18:00
Venue: INI Seminar Room 1 - VIRTUAL
Session Title: Synthesis of Safe Pointer-Manipulating Programs
Event: [VSOW04] Verified software: tools and experiments

FIFTH Speaker: Professor Armando Solar-Lezama (Massachusetts Institute of Technology)
Date: 11 June 2021 - 18:00 to 18:30
Venue: INI Seminar Room 1 - VIRTUAL
Session Title: The Creation and Evolution of the Sketch Synthesis System
Event: [VSOW04] Verified software: tools and experiments

SIXTH Speaker: Professor Ruzica Piskac (Yale University)
Date: 11 June 2021 - 18:30 to 19:00
Venue: INI Seminar Room 1 - VIRTUAL
Session Title: Counterexample Guided Inference of Modular Specifications
Event: [VSOW04] Verified software: tools and experiments