Verification of Resilient Programs that Read Structured Inputs

Speaker: Deokhwan Kim , Massachusetts Institute of Technology

Date: Monday, May 20, 2019

Time: 10:00 AM to 11:30 AM

Public: Yes

Location: Seminar Room G882 (Hewlett Room)

Event Type: Thesis Defense

Room Description:

Host: Martin Rinard, Massachusetts Institute of Technology

Contact: Deokhwan Kim,

Relevant URL:

Speaker URL: None

Speaker Photo:

Reminders to:

Reminder Subject: 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.

Research Areas:
Programming Languages & Software

Impact Areas:

This event is not part of a series.

Created by Deokhwan Kim Email at Monday, May 20, 2019 at 9:45 AM.