Address-Aware Query Caching for Symbolic Execution (ICST 2021 - Research Papers) - ICST 2021

Mon 12 - Fri 16 April 2021

Who

David Trabish, Shachar Itzhaky, Noam Rinetzky

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 10:15 - 10:45 at Porto de Galinhas - Slicing and Static Analysis Chair(s): Leopoldo Teixeira

Link to Preprint

https://davidtr1037.github.io/files/icst_2021_final.pdf

David Trabish

Tel Aviv University, Israel

Israel

Shachar Itzhaky

Technion

Noam Rinetzky

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