This program is tentative and subject to change.
This program is tentative and subject to change.
Wed 6 DecDisplayed time zone: Pacific Time (US & Canada) change
Wed 6 Dec
Displayed time zone: Pacific Time (US & Canada) change
11:00 - 12:30 | Program Analysis IIJournal First / Research Papers at Golden Gate C3 Chair(s): Nicolás Rosner Amazon Web Services | ||
11:00 15mTalk | [Remote] Statistical Type Inference for Incomplete Programs Research Papers Yaohui Peng School of Computer Science, Wuhan University, Jing Xie School of Computer Science, Wuhan University, Qiongling Yang School of Computer Science, Wuhan University, Hanwen Guo School of Computer Science, Wuhan University, Qingan Li School of Computer Science, Wuhan University, Jingling Xue School of Computer Science and Engineering, UNSW Sydney, YUAN Mengting School of Computer Science, Wuhan University, Wuhan, China | ||
11:15 15mTalk | Demystifying Hidden Sensitive Operations in Android apps Journal First Xiaoyu Sun Australian National University, Australia, Xiao Chen Monash University, Li Li Beihang University, Haipeng Cai Washington State University, John Grundy Monash University, Jordan Samhi University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Jacques Klein University of Luxembourg | ||
11:30 15mTalk | [Remote] OOM-Guard: Towards Improving The Ergonomics of Rust OOM Handling via A Reservation-based Approach Research Papers Chengjun Chen Fudan University; Ant Group, Zhicong Zhang Fudan University, Hongliang Tian Ant Group, Shoumeng Yan Ant Group, Hui Xu Fudan University | ||
11:45 15mTalk | [Remote] DeepInfer: Deep Type Inference from Smart Contract Bytecode Research Papers Kunsong Zhao The Hong Kong Polytechnic University, zihao li The Hong Kong Polytechnic Universituy, Jianfeng Li Xi’an Jiaotong University, He Ye KTH Royal Institute of Technology, Xiapu Luo Hong Kong Polytechnic University, Ting Chen University of Electronic Science and Technology of China | ||
12:00 15mTalk | DeMinify: Neural Variable Name Recovery and Type Inference Research Papers Yi Li New Jersey Institute of Technology, Aashish Yadavally The University of Texas at Dallas, Jiaxing Zhang New Jersey Institute of Technology, Shaohua Wang New Jersey Institute of Technology, Tien N. Nguyen University of Texas at Dallas | ||