MANDOLINE: Dynamic Slicing of Android Applications with Trace-Based Alias Analysis (ICST 2021 - Research Papers) - ICST 2021

Mon 12 - Fri 16 April 2021

Who

Khaled Ahmed, Mieszko Lis, Julia Rubin

Track

ICST 2021 Research Papers

Time Zone

The program is currently displayed in (GMT-03:00) Brasilia, Distrito Federal, Brazil.

Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, BrazilSelect 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 14 Apr 2021 09:45 - 10:15 at Porto de Galinhas - Slicing and Static Analysis Chair(s): Leopoldo Teixeira

Link to Preprint

https://www.ece.ubc.ca/~mjulia/publications/Mandoline_2021.pdf

Khaled Ahmed

Mieszko Lis

Julia Rubin

University of British Columbia, Canada

Canada

Time Zone

The program is currently displayed in (GMT-03:00) Brasilia, Distrito Federal, Brazil.

Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, BrazilSelect 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 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

	09:15 - 10:45	Slicing and Static AnalysisResearch Papers at Porto de Galinhas Chair(s): Leopoldo Teixeira Federal University of Pernambuco

	09:15 30m Paper		Efficiently Finding Data Flow Subsumptions Research Papers Marcos Lordello Chaim , Kesina Baral , Jeff Offutt George Mason University, Mario Concilio Neto , Roberto Araujo
	09:45 30m Paper		MANDOLINE: Dynamic Slicing of Android Applications with Trace-Based Alias Analysis Research Papers Khaled Ahmed , Mieszko Lis , Julia Rubin University of British Columbia, Canada Pre-print
	10:15 30m Paper		Address-Aware Query Caching for Symbolic Execution Research Papers David Trabish Tel Aviv University, Israel, Shachar Itzhaky Technion, Noam Rinetzky Pre-print