Write a Blog >>
Tue 25 Feb 2020 11:45 - 12:10 - Program Analysis (Mediterranean Ballroom) Chair(s): Michael Garland

We introduce a structure-aware parallelisation technique for context-bounded analysis of concurrent programs. The key intuition consists in decomposing the set of concurrent traces into symbolic subsets that are separately explored by multiple instances of the same decision procedure running in parallel. Since the decision procedures do not cooperate but rather work on different partitions of the search space assigned upfront, the approach is naturally suited to distribution. We experiment with our technique on a selection of multi-threaded C programs known for being particularly hard to analyse. The experimental results show significant analysis speedups and excellent scalability, especially on the most complex programs and for large bounds. Our approach significantly outperforms parallel state-of-the-art solvers.

Tue 25 Feb
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

10:55 - 12:35: Main Conference - Program Analysis (Mediterranean Ballroom)
Chair(s): Michael GarlandNVIDIA
PPoPP-2020-papers10:55 - 11:20
Sonali SahaIIT Madras, V Krishna NandivadaIIT Madras
PPoPP-2020-papers11:20 - 11:45
Daniel DeFreezUniversity of California, Davis, Antara BhowmickUniversity of California, Davis, Ignacio LagunaLawrence Livermore National Laboratory, Cindy Rubio-GonzálezUniversity of California, Davis
PPoPP-2020-papers11:45 - 12:10
Omar InversoGran Sasso Science Institute, Catia TrubianiGran Sasso Science Institute
PPoPP-2020-papers12:10 - 12:35
Yifan XuWashington University in St. Louis, Kyle SingerWashington University in St. Louis, I-Ting Angelina LeeWashington University in St. Louis