EasyChair Smart SlideDocs/Log in
Author: Kenneth L. McMillan

This page shows all presentations of this author published in EasyChair Smart Slide.

Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems

Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems

Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv and Sharon Shoham

Learning Abstractions for Program Synthesis

Learning Abstractions for Program Synthesis

Xinyu Wang, Greg Anderson, Isil Dillig and Ken McMillan

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair