Program for Wednesday, October 20th: Talk View

PROGRAM FOR WEDNESDAY, OCTOBER 20TH: TALK VIEW

Days:

previous day

next day

all days

View: with abstracts session overview

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

10:55-11:00 Session 5

11:00-12:00

From Viewstamped Replication to Blockchains

Barbara Liskov

12:05-13:20

Automating System Configuration

Tsiskaridze, Strange, Mann, Sreedhar, Liu, Horowitz, Barrett

12:05-13:20

Towards an Automatic Proof of Lamport's Paxos

Aman Goel, Karem A. Sakallah

12:05-13:20

Refinement-Based Verification of Device-to-Device Information Flow

Ning Dong, Roberto Guanciale, Mads Dam

12:05-13:20

Celestial: A Framework for Verified Smart Contracts

S. Dharanikota, S. Mukherjee, C. Bhardwaj, A. Rastogi, A. Lal

12:05-13:20

The Civl Verifier

Bernhard Kragl, Shaz Qadeer

13:40-14:55

IC3 with Internal Signals

Rohit Dureja, Arie Gurfinkel, Alexander Ivrii, Yakir Vizel

13:40-14:55

Single Clause Assumption without Activation Literals to Speed-up IC3

Nils Froleyks, Armin Biere

13:40-14:55

Logical Characterization of Coherent Uninterpreted Programs

Hari Govind Vediramana Krishnan, Sharon Shoham, Arie Gurfinkel

13:40-14:55

Data-driven Inductive Generalization

Nham Le, Xujie Si, Arie Gurfinkel

13:40-14:55

Model Checking AUTOSAR Components with CBMC

Timothee Durand, Katalin Fazekas, Georg Weissenbacher, Jakob Zwirchmayr

15:15-16:15 Session 9