A Method for Animating Children’s Drawings of the Human Figure
Harrison Jesse Smith, Qingyuan Zheng, Yifei Li, Somya Jain, Jessica K. Hodgins
Refinement for Structured Concurrent Programs
International Conference on Computer-Aided Verification (CAV)
Abstract
This paper presents a foundation for refining concurrent programs with structured control flow. The verification problem is decomposed into subproblems that aid interactive program development, proof reuse, and automation. The formalization in this paper is the basis of a new design and implementation of the Civl verifier.
Latest Publications
TOG - 2023
Reasoning over Public and Private Data in Retrieval-Based Systems
Simran Arora, Patrick Lewis, Angela Fan, Jacob Kahn, Christopher Ré
Hard Disk Drive Failure Analysis and Prediction: An Industry View
Zach Miller, Olusiji Medaiyese, Madhavan Ravi, Alex Beatty, Fred Lin