Synthesizing Environment Invariants for Modular Hardware Verification (VMCAI 2020 - - 21st International Conference on Verification, Model Checking, and Abstract Interpretation)

Write a Blog >>

Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States

Who

Hongce Zhang, Weikun Yang, Grigory Fedyukovich, Aarti Gupta, Sharad Malik

Track

VMCAI 2020

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Mon 20 Jan 2020 14:00 - 14:32 at St Jerome - Papers 4 Chair(s): Ruzica Piskac

Hongce Zhang

Princeton University

United States

Weikun Yang

Princeton University

United States

Grigory Fedyukovich

Florida State University

United States

Aarti Gupta

Princeton University

United States

Sharad Malik

Princeton University

United States

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Mon 20 Jan
Displayed time zone: Saskatchewan, Central America change

14:00 - 15:05	Papers 4VMCAI at St Jerome Chair(s): Ruzica Piskac Yale University, USA

14:00 32m Talk		Synthesizing Environment Invariants for Modular Hardware Verification VMCAI Hongce Zhang Princeton University, Weikun Yang Princeton University, Grigory Fedyukovich Florida State University, Aarti Gupta Princeton University, Sharad Malik Princeton University
14:32 32m Talk		Systematic Classification of Attackers via Bounded Model Checking VMCAI Eric Rothstein-Morris Singapore University of Technology and Design, Jun Sun Singapore Management University, Singapore, Sudipta Chattopadhyay Singapore University of Technology and Design