List of works - Peisen Yao - Paulina

List of works by Peisen Yao

<scp>Anchor</scp> : Fast and Precise Value-flow Analysis for Containers via Memory Orientation

scientific article published on 04 October 2022

Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis

scientific article published on 20 June 2024

KBX: Verified Model Synchronization via Formal Bidirectional Transformation

scientific article published on 13 September 2024

Precise Compositional Buffer Overflow Detection via Heap Disjointness

scientific article published on 11 September 2024

Program analysis via efficient symbolic abstraction

scientific article published on 15 October 2021

SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis

scientific article published on 24 April 2024

Paulina is supported by:

About Paulina

Help