EasyChair Smart SlideDocs/Log in
Author: Shiping Chen

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

Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis

Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis

Hua Yan, Shiping Chen, Yulei Sui, Changwei Zou, Yueqian Zhang and Jingling Xue

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