Write a Blog >>
ASE 2021
Sun 14 - Sat 20 November 2021 Australia
Tue 16 Nov 2021 23:21 - 23:24 at Kangaroo - Artefacts Plenary (Any Day Band 2) Chair(s): Aldeida Aleti, Tim Menzies

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 a negligible loss of precision (less than 0.1%).

Tue 16 Nov

Displayed time zone: Hobart change

23:00 - 00:00
Artefacts Plenary (Any Day Band 2)Artifact Evaluation at Kangaroo
Chair(s): Aldeida Aleti Monash University, Tim Menzies North Carolina State University
23:00
5m
Day opening
Opening
Artifact Evaluation
A: Aldeida Aleti Monash University
23:05
7m
Keynote
Keynote
Artifact Evaluation
Dirk Beyer LMU Munich, Germany
23:12
3m
Talk
CiFi: Versatile Analysis of Class and Field ImmutabilityReusableAvailable
Artifact Evaluation
Tobias Roth Technische Universität Darmstadt, Dominik Helm Technische Universität Darmstadt, Michael Reif Technische Universität Darmstadt, Mira Mezini Technische Universität Darmstadt
23:15
3m
Talk
Testing Your Question Answering Software via Asking RecursivelyReusableAvailable
Artifact Evaluation
Songqiang Chen School of Computer Science, Wuhan University, Shuo Jin School of Computer Science, Wuhan University, Xiaoyuan Xie School of Computer Science, Wuhan University, China
23:18
3m
Talk
Restoring the Executability of Jupyter Notebooks by Automatic Upgrade of Deprecated APIsReusableAvailable
Artifact Evaluation
Chenguang Zhu University of Texas at Austin, Ripon Saha Fujitsu Laboratories of America, Inc., Mukul Prasad Fujitsu Research of America, Sarfraz Khurshid The University of Texas at Austin
23:21
3m
Talk
Context Debloating for Object-Sensitive Pointer AnalysisReusableAvailable
Artifact Evaluation
Dongjie He UNSW Sydney, Jingbo Lu UNSW Sydney, Jingling Xue UNSW Sydney
23:24
3m
Talk
Understanding and Detecting Performance Bugs in Markdown CompilersReusableAvailable
Artifact Evaluation
Penghui Li The Chinese University of Hong Kong, Yinxi Liu The Chinese University of Hong Kong, Wei Meng Chinese University of Hong Kong
23:27
5m
Product release
Reuse graphs
Artifact Evaluation
P: Tim Menzies North Carolina State University
23:32
10m
Talk
Most reused artefacts
Artifact Evaluation

23:42
18m
Live Q&A
Discussion
Artifact Evaluation