Platform-Independent Dynamic Taint Analysis for JavaScript (ICSE 2019 - Journal-First Papers) - International Conference on Software Engineering 2019 in Montreal, Canada

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

Who

Rezwana Karim, Frank Tip, Alena Sochurkova, Koushik Sen

Track

ICSE 2019 Journal-First Papers

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 17:40 - 17:50 at Laurier - Analysis and Verification Chair(s): Domenico Bianculli

Rezwana Karim

Samsung Research America

Frank Tip

Northeastern University

United States

Alena Sochurkova

Avast

Czechia

Koushik Sen

University of California, Berkeley

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