EasyChair Smart SlideDocs/Log in
Author: Aarti Gupta

This page shows all presentations of this author published in EasyChair Smart Slide.

Lazy Self-Composition for Security Verification

Lazy Self-Composition for Security Verification

Weikun Yang, Yakir Vizel, Pramod Subramanyan, Aarti Gupta and Sharad Malik

Syntax-Guided Termination Analysis

Syntax-Guided Termination Analysis

Grigory Fedyukovich, Yueling Zhang and Aarti Gupta

Exploiting Synchrony and Symmetry in Relational Verification

Exploiting Synchrony and Symmetry in Relational Verification

Lauren Pick, Grigory Fedyukovich and Aarti Gupta

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair