A Component-Sensitive Static Analysis Based Approach for Modeling Intents in Android Apps (ICSME 2023 - Research Track) - ICSME 2023

Sun 1 - Fri 6 October 2023 Bogotá, Colombia

Who

Negarsadat Abolhassani, William G.J. Halfond

Track

ICSME 2023 Research Track

Time Zone

The program is currently displayed in (GMT-05:00) Bogota, Lima, Quito, Rio Branco.

Use conference time zone: (GMT-05:00) Bogota, Lima, Quito, Rio BrancoSelect 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

Thu 5 Oct 2023 16:29 - 16:45 at Session 2 Room - RGD 04 - Program Analysis Chair(s): Fabio Petrillo, Mark Hills

Negarsadat Abolhassani

University of Southern California

United States

William G.J. Halfond

University of Southern California

United States

Time Zone

The program is currently displayed in (GMT-05:00) Bogota, Lima, Quito, Rio Branco.

Use conference time zone: (GMT-05:00) Bogota, Lima, Quito, Rio BrancoSelect 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

Thu 5 Oct
Displayed time zone: Bogota, Lima, Quito, Rio Branco change

	15:30 - 17:00	Program AnalysisResearch Track / Journal First Track / Industry Track at Session 2 Room - RGD 04 Chair(s): Fabio Petrillo École de technologie supérieure (ÉTS), Montréal -- Université du Québec, Mark Hills Appalachian State University

	15:30 16m Talk		Slicing Shared-Memory Concurrent Programs, The Threaded System Dependence Graph Revisited Research Track Carlos Galindo Universitat Politècnica de València, Marisa Llorens Universitat Politècnica de València, Sergio Perez Rubio Universitat Politècnica de València, Josep Silva Universitat Politècnica de València
	15:46 16m Talk		An Expressive and Modular Layer Activation Mechanism for Context-Oriented Programming Journal First Track Paul Leger Universidad Católica del Norte, Chile, Nicolás Cardozo Universidad de los Andes, Hidehiko Masuhara Tokyo Institute of Technology Link to publication DOI
	16:02 16m Talk		Dynamic Slicing of WebAssembly Binaries Research Track Quentin Stiévenart Université du Québec à Montréal (UQAM), David Binkley Loyola University Maryland, Coen De Roover Vrije Universiteit Brussel Pre-print
	16:18 11m Talk		OLA: Property Directed Outer Loop Abstraction for Efficient Verification of Reactive Systems Industry Track Priyanka Darke Tata Consultancy Services, Bharti Chimdyalwar Tata Consultancy Services
	16:29 16m Talk		A Component-Sensitive Static Analysis Based Approach for Modeling Intents in Android Apps Research Track Negarsadat Abolhassani University of Southern California, William G.J. Halfond University of Southern California
	16:45 15m Live Q&A		1:1 Q&A Research Track