ALPACA: A Large Portfolio-based Alternating Conditional Analysis (ICSE 2019 - Demonstrations) - International Conference on Software Engineering 2019 in Montreal, Canada

Sat 25 - Fri 31 May 2019 Montreal, QC, Canada

Who

Mitchell Gerrard, Matthew B Dwyer

Track

ICSE 2019 Demonstrations

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Wed 29 May 2019 16:40 - 17:00 at Laurier - Analysis and Verification Chair(s): Domenico Bianculli

Abstract

Program analysis tools typically compute either may or must information. By accumulating both kinds of information computed with respect to different portions of a program’s state space, it is possible to collect a comprehensive view of how program inputs relate to some property. This can be done using the framework of an alternating conditional analysis (ACA). In this paper, we present a toolset that instantiates an ACA to analyze C programs. The toolset, dubbed ALPACA (A Large Portfolio-based ACA), computes a sound characterization of all the ways a program either may or must satisfy some property. It does so by alternating between over- and underapproximate analyses, conditioning analyses to ignore portions of the program that have already been analyzed, and combining the results of 14 state-of-the-art analysis tools in a portfolio run in parallel. Download ALPACA at https://bitbucket.org/mgerrard/alpaca. Its video demonstration is at https://youtu.be/-pma00SJc6Y.

Mitchell Gerrard

University of Virginia

Matthew B Dwyer

University of Virginia

United States

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Wed 29 May
Displayed time zone: Eastern Time (US & Canada) change

	16:00 - 18:00	Analysis and VerificationDemonstrations / Technical Track / Journal-First Papers / Papers at Laurier Chair(s): Domenico Bianculli University of Luxembourg

	16:00 20m Talk		Easy Modelling and Verification of Unpredictable and Preemptive Interrupt-driven SystemsTechnical Track Technical Track Minxue Pan Nanjing University, Shouyu Chen Nanjing University, Yu Pei The Hong Kong Polytechnic University, Tian Zhang Nanjing University, Xuandong Li Nanjing University
	16:20 20m Talk		Towards Understanding and Reasoning about Android InteroperationsTechnical Track Technical Track Sora Bae Oracle Labs, Australia, Sungho Lee KAIST, South Korea, Sukyoung Ryu KAIST, South Korea
	16:40 20m Talk		ALPACA: A Large Portfolio-based Alternating Conditional AnalysisDemos Demonstrations Mitchell Gerrard University of Virginia, Matthew B Dwyer University of Virginia
	17:00 20m Talk		Mockingbird: A Framework for Enabling Targeted Dynamic Analysis of Java ProgramsDemos Demonstrations Derrick Lockwood Iowa State University, Benjamin Holland , Suresh Kothari Iowa State University, USA
	17:20 20m Talk		Zero-Overhead Path Prediction with Progressive Symbolic ExecutionTechnical Track Technical Track Richard Rutledge Georgia Institute of Technology, Sunjae Park Georgia Institute of Technology, Haider Khan Georgia Institute of Technology, Alessandro Orso Georgia Tech, Milos Prvulovic Georgia Institute of Technology, Alenka Zajic Georgia Institute of Technology
	17:40 10m Talk		Platform-Independent Dynamic Taint Analysis for JavaScriptJournal-First Journal-First Papers Rezwana Karim Samsung Research America, Frank Tip Northeastern University, Alena Sochurkova Avast, Koushik Sen University of California, Berkeley
	17:50 10m Talk		Discussion Period Papers