Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Thu 24 Sep 2020 02:40 - 03:00 at Kangaroo - Software Analysis (3) Chair(s): Rahul Purandare

The existing concurrency model for Java (or C) requires programmers to design and implement thread-safe classes by explicitly acquiring locks and releasing locks. Such a model is error-prone and is the reason for many concurrency bugs. While there are alternative models like transactional memory, manually writing locks remains prevalent in practice. In this work, we propose AutoLock, which aims to solve the problem by fully automatically generating thread-safe classes. Given a class which is assumed to be correct with sequential clients, AutoLock automatically generates a thread-safe class which is linearizable and does it in a way without requiring a specification of the class. AutoLock takes three steps: (1) infer access annotations (i.e., abstract information on how variables are accessed and aliased), (2) synthesize a locking policy based on the access annotations, and (3) consistently implement the locking policy. AutoLock has been evaluated on a set of benchmark programs and the results show that AutoLock generates thread-safe classes effectively and could have prevented existing concurrency bugs.

Thu 24 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

02:20 - 03:20
Software Analysis (3)Research Papers / Industry Showcase at Kangaroo
Chair(s): Rahul Purandare IIIT-Delhi
CCGraph: a PDG-based code clone detector with approximate graph matching
Research Papers
Yue Zou Department of Computer Science and Technology, University of Science and Technology of China, Bihuan Ban School of Data Science, University of Science and Technology of China, Yinxing Xue , Yun Xu University of Science and Technology of China
Towards Generating Thread-Safe Classes Automatically
Research Papers
Haichi Wang College of Intelligence and Computing, Tianjin University, Zan Wang Tianjin University, China, Jun Sun Singapore Management University, Shuang Liu Tianjin University, China, Ayesha Sadiq Monash University, Yuan-Fang Li Monash University
Industry practice of JavaScript Dynamic Analysis on WeChat Mini-Programs
Industry Showcase
Yi Liu Southern University of Science and Technology, Jinhui Xie Tencent Inc., Jianbo Yang Tencent Inc., Shiyu Guo Tencent Inc., Yuetang Deng Tencent, Inc., Shuqing Li Southern University of Science and Technology, Yechang Wu Southern University of Science and Technology, Yepang Liu Southern University of Science and Technology