SOAP 2015 - - 4th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis

Sat 13 - Wed 17 June 2015 Portland, Oregon, United States

See the SOAP 2015 website

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect 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

Save

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 14 Jun
Displayed time zone: Tijuana, Baja California change

09:00 - 11:00	session 1SOAP at B110-B11 Chair(s): Anders Møller Aarhus University

09:00 10m Day opening		Opening remarks SOAP
09:10 50m Talk		Static Analysis for Android: GUIs, Callbacks, and Beyond SOAP I: Atanas Rountev Ohio State University
10:00 20m Talk		Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis SOAP Steven Arzt , Siegfried Rasthofer , Robert Hahn , Eric Bodden Fraunhofer SIT and TU Darmstadt
10:20 20m Talk		Design Your Analysis: A Case Study on Implementation Reusability of Data-Flow Functions SOAP Johannes Lerch , Ben Hermann
10:40 20m Talk		Combining Type-Analysis with Points-To Analysis for Analyzing Java Library Source-Code SOAP Nicholas Allen , Paddy Krishnan , Bernhard Scholz The University of Sydney

11:20 - 12:30	session 2SOAP at B110-B11 Chair(s): Mayur Naik Georgia Tech

11:20 60m Talk		Static Analysis of JavaScript: Insights and Challenges SOAP Ben Hardekopf UC Santa Barbara

14:00 - 15:30	session 3SOAP at B110-B11 Chair(s): Mayur Naik Georgia Tech

14:00 30m Talk		Evaluating Call Graph Construction for JVM-hosted Language Implementations SOAP I: Frank Tip Samsung Research America
14:30 30m Talk		Droidel: A General Approach to Android Framework Modeling SOAP Sam Blackshear , Alexandra Gendreau , Bor-Yuh Evan Chang University of Colorado Boulder
15:00 30m Talk		Understanding Caller-Sensitive Method Vulnerabilities: A Class of Access Control Vulnerabilities in the Java Platform SOAP Cristina Cifuentes , Andrew Gross , Nathan Keynes

16:00 - 18:00	session 4SOAP at B110-B11 Chair(s): Anders Møller Aarhus University

16:00 60m Talk		Jalangi: A Dynamic Analyses Framework for JavaScript SOAP Koushik Sen University of California, Berkeley

See the SOAP 2015 website

Presentations

	Title
	Combining Type-Analysis with Points-To Analysis for Analyzing Java Library Source-Code SOAP Nicholas Allen, Paddy Krishnan, Bernhard Scholz
	Design Your Analysis: A Case Study on Implementation Reusability of Data-Flow Functions SOAP Johannes Lerch, Ben Hermann
	Droidel: A General Approach to Android Framework Modeling SOAP Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan Chang
	Evaluating Call Graph Construction for JVM-hosted Language Implementations SOAP I: Frank Tip
	Jalangi: A Dynamic Analyses Framework for JavaScript SOAP Koushik Sen
	Opening remarks SOAP
	Static Analysis for Android: GUIs, Callbacks, and Beyond SOAP I: Atanas Rountev
	Static Analysis of JavaScript: Insights and Challenges SOAP Ben Hardekopf
	Understanding Caller-Sensitive Method Vulnerabilities: A Class of Access Control Vulnerabilities in the Java Platform SOAP Cristina Cifuentes, Andrew Gross, Nathan Keynes
	Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis SOAP Steven Arzt, Siegfried Rasthofer, Robert Hahn, Eric Bodden

SOAP 2015 - 4th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis

Sun 14 Jun
Displayed time zone: Tijuana, Baja California change

Presentations

Anders MøllerProgram Chair

Aarhus University

Domagoj BabicCommittee Member

Eric BoddenCommittee Member

Fraunhofer SIT and TU Darmstadt

Jeffrey S. FosterCommittee Member

Ranjit JhalaCommittee Member

University of California, San Diego

Mayur NaikProgram Co-Chair

Georgia Tech

Kwangkeun YiCommittee Member

Seoul National University

Tracks

Workshops

Co-hosted Symposia

SOAP 2015 - 4th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis

Program Display Configuration

Sun 14 JunDisplayed time zone: Tijuana, Baja California change

Presentations

Anders MøllerProgram Chair

Aarhus University

Domagoj BabicCommittee Member

Eric BoddenCommittee Member

Fraunhofer SIT and TU Darmstadt

Jeffrey S. FosterCommittee Member

Ranjit JhalaCommittee Member

University of California, San Diego

Mayur NaikProgram Co-Chair

Georgia Tech

Kwangkeun YiCommittee Member

Seoul National University

Sun 14 Jun
Displayed time zone: Tijuana, Baja California change