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
Times are displayed in time zone: Tijuana, Baja California change

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

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

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

	11:20 - 12:20 Talk		Static Analysis of JavaScript: Insights and Challenges SOAP Ben HardekopfUC Santa Barbara

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

	14:00 - 14:30 Talk		Evaluating Call Graph Construction for JVM-hosted Language Implementations SOAP I: Frank TipSamsung Research America
	14:30 - 15:00 Talk		Droidel: A General Approach to Android Framework Modeling SOAP Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan ChangUniversity of Colorado Boulder
	15:00 - 15:30 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øllerAarhus University

	16:00 - 17:00 Talk		Jalangi: A Dynamic Analyses Framework for JavaScript SOAP Koushik SenUniversity 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
Times are displayed in 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 Symposiums

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

Program Display Configuration

Sun 14 Jun Times are displayed in 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
Times are displayed in time zone: Tijuana, Baja California change