CC 2024
Sat 2 - Sun 3 March 2024 Edinburgh, United Kingdom
Sat 2 Mar 2024 17:00 - 17:20 at Ochil - Static Analysis Chair(s): Laure Gonnord

Sat 2 Mar

Displayed time zone: London change

16:00 - 17:40
Static AnalysisMain Conference at Ochil
Chair(s): Laure Gonnord Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France
16:00
20m
Talk
If-Convert as Early as You Must
Main Conference
Dorit Nuzman Mobileye, Ayal Zaks Mobileye, Ziv Ben-Zion Mobileye
16:20
20m
Talk
Paguroidea: Fused Parser Generator with Transparent Semantic Actions
Main Conference
Yifan Zhu University of Rochester, USA, Quartic Cat The Chinese University of Hong Kong, Shenzhen, Boluo Ge North Carolina State University, Shatong Sun University of Rochester
16:40
20m
Talk
Region-Based Data Layout via Data Reuse Analysis
Main Conference
Caio Salvador Rohwedder University of Alberta, João P. L. De Carvalho Qualcomm Canada Inc, Jose Nelson Amaral University of Alberta
17:00
20m
Talk
A Context-Sensitive Pointer Analysis Framework for Rust and its Application to Call Graph Construction
Main Conference
Wei Li UNSW, Dongjie He UNSW, Yujiang Gui UNSW, Wenguang Chen Tsinghua University; Pengcheng Laboratory, Jingling Xue UNSW
17:20
20m
Talk
CoSense: Compiler Optimizations using Sensor Technical Specifications
Main Conference
Pei Mu , Nikos Mavrogeorgis University of Edinburgh, Christos Vasiladiotis University of Edinburgh, Vasileios Tsoutsouras University of Cambridge, Orestis Kaparounakis University of Cambridge, Phillip Stanley-Marbell , Antonio Barbalace The University of Edinburgh