Verification of Resilient Programs that Read Structured Inputs
, Massachusetts Institute of Technology
Date: Monday, May 20, 2019
Time: 10:00 AM to 11:30 AM
Location: Seminar Room G882 (Hewlett Room)
Event Type: Thesis Defense
Host: Martin Rinard, Massachusetts Institute of Technology
Contact: Deokhwan Kim, email@example.com
Speaker URL: None
TALK: Verification of Resilient Programs that Read Structured Inputs
In many applications, input data consists of smaller independent input units. For example, an image data is a sequence of scan lines.
Many computations with input data composed of input units can be regarded as transaction processing and structured so that, for each input unit, they execute what is conceptually a transaction.
This talk will present our work on verifying the following properties that a developer wants to ensure when he or she writes an input parser in accordance with the transactional pattern of computation: 1) the input parser consumes the correct number of bytes between two program points and 2) the input parser checks that file contents have correct vales at the corresponding program points.
Programming Languages & Software
Created by Deokhwan Kim at Monday, May 20, 2019 at 9:45 AM.