Write a Blog >>
ASE 2021
Sun 14 - Sat 20 November 2021 Australia
Tue 16 Nov 2021 12:00 - 12:20 at Koala - Languages Chair(s): Jean-Guy Schneider

We introduce a new approach, CONCH, for de-bloating contexts for all the object-sensitive pointer analysis algorithms developed for object-oriented languages, where the calling contexts of a method are distinguished by its receiver objects. Our key insight is to approximate a recently proposed set of two necessary conditions for an object to be context-sensitive, i.e., context-dependent (whose precise verification is undecidable) with a set of three linearly verifiable conditions (in terms of the number of statements in the program) that are almost always necessary for real-world object-oriented applications, based on three key observations regarding context-dependability for their objects used. To create a practical implementation, we introduce a new IFDS-based algorithm for reasoning about object reachability in a program. By debloating contexts for two representative object-sensitive pointer analyses applied to a set of 12 representative Java programs, CONCH can speed up the two baselines together substantially (3.1x on average with a maximum of 15.9x) and analyze 7 more programs scalably, but at only an negligible loss of precision (less than 0.1%).

Tue 16 Nov

Displayed time zone: Hobart change

12:00 - 13:00
LanguagesNIER track / Tool Demonstrations / Research Papers at Koala
Chair(s): Jean-Guy Schneider Deakin University
12:00
20m
Talk
Context Debloating for Object-Sensitive Pointer Analysis
Research Papers
Dongjie He UNSW Sydney, Jingbo Lu UNSW Sydney, Jingling Xue UNSW Sydney
12:20
20m
Talk
Dynamic Generation of Python Bindings for HPC Kernels
Research Papers
Steven Zhu The University of Texas at Austin, Nader Al Awar The University of Texas at Austin, Mattan Erez The University of Texas at Austin, Milos Gligoric University of Texas at Austin
12:40
10m
Talk
Empowering Web Applications with WebAssembly: Are We There Yet?
NIER track
Weihang Wang University at Buffalo, SUNY
12:50
5m
Talk
Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions
Tool Demonstrations
Yusuke Kimura Fujitsu Ltd., Takumi Akazaki Fujitsu Limited, Shinji Kikuchi Fujitsu Laboratories Ltd., Sonal Mahajan Fujitsu Research of America, Inc., Mukul R. Prasad Fujitsu Research of America, Inc.
12:55
5m
Talk
GenTree: Inferring Configuration Interactions using Decision Trees
Tool Demonstrations
KimHao Nguyen University of Nebraska-Lincoln, ThanhVu Nguyen George Mason University