ICST 2021
Mon 12 - Fri 16 April 2021
Wed 14 Apr 2021 09:45 - 10:15 at Porto de Galinhas - Slicing and Static Analysis Chair(s): Leopoldo Teixeira

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 SubsumptionsDistinguished Paper Award
Research Papers
09:45
30m
Paper
MANDOLINE: Dynamic Slicing of Android Applications with Trace-Based Alias AnalysisDistinguished Paper Award
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