Tutorials

Title
Cross-platform analysis of mobile apps using the WALA framework
Tutorials
Dynamic analysis of JavaScript with Jalangi
Tutorials
How Should We Program Non-volatile Memory?
Tutorials
File Attached
One VM to Rule Them All, One VM to Bind Them
Tutorials
Link to publication
PROSE: Programming using Examples
Tutorials
RyuJIT: Open Source JIT Compiler for .NET
Tutorials
Link to publication
String Analysis for Vulnerability Detection and Repair
Tutorials
Using PinPlay for Reproducible Analysis and Replay Debugging
Tutorials
Link to publication

Call for Workshops and Tutorials

Proposals are invited for workshops and tutorials to be co-located with PLDI 2016. Events can either be sponsored by SIGPLAN or supported through in-cooperation status. The preference is for one-day workshops and half-day tutorials, but other schedules can also be considered. Tentatively, tutorials and workshops will be held on June 13/14 (Monday/Tuesday) before the main conference.

Workshops

A workshop proposal should provide the following information.

1. A Preliminary Call For Workshop Papers, including:

  • Name of the workshop
  • Number of days for the workshop
  • An abstract: 150-200 words describing the workshop, suitable for the PLDI web site
  • A summary of the workshop format: e.g., refereed papers, and/or short papers, and/or invited talks, and/or problem solving, and/or brainstorming sessions. How will papers or other submissions be reviewed?
  • A description of how the workshop papers and results will be published or otherwise disseminated (see note below)
  • References to previous workshops on the same/similar topic (if any)

2. About Each Organizer:

  • Name, affiliation, and contact information
  • Primary contact: identify one organizer as the primary contact
  • A brief biography (up to 200 words), focusing on the organizer’s expertise in the field and experience as a workshop organizer

3. Expected Participants:

A brief discussion about the expected workshop participants. Historic numbers of participants can be provided if available.


Tutorials

A tutorial proposal should include the following information.

  • Name of the tutorial
  • Length of the tutorial
  • An abstract: 150-200 words describing the tutorial, suitable for the PLDI Web site
  • A summary of the tutorial format
  • References to previous offerings of the tutorial if any, and previous numbers of participants
  • A brief discussion about the expected audience

Submission and Review

Proposals should be submitted by email to the workshop chair Xiangyu Zhang (xyzhang at cs.purdue.edu). Workshop and tutorial proposals are due on November 13th. Notifications will be sent by November 25th. The number of accepted proposals will be limited by the available conference rooms. Late submissions will only be evaluated if there is space available, on a first-come-first-served basis. Each proposal will be evaluated according to the value and relevance of its workshop topic, the expertise and experience of the workshop organizers, and the potential of the proposed workshop to attract participants and generate useful results.


Timeline

To ensure the success of the workshop/tutorial program. Accepted workshops and tutorials will be expected to meet deadlines as summarized below.

  • Call for papers and web site: December 20, 2015
  • Full program disseminated: April 18, 2016
  • Papers available to participants: May 13, 2016

Tutorial Dates: Full program disseminated: April 18, 2016


Dissemination of Workshop Results

A proposal should clearly state how the results of the workshop — i.e., the papers and other outcomes — will be made available to participants and others, both before and after the workshop event. The PLDI 2016 Workshop chair will provide guidance to the organizers of accepted workshops that wish to publish proceedings in the ACM Digital Library. For those that choose to publish their papers in ACM Ditigal Library, please list the following on the workshop website.

AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.)

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

Mon 13 Jun

Displayed time zone: Tijuana, Baja California change

09:00 - 10:00
How Should We Program Non-volatile Memory?Tutorials at Santa Cruz East
09:00
60m
Talk
How Should We Program Non-volatile Memory?
Tutorials
File Attached
09:00 - 10:00
RyuJIT: Open Source JIT Compiler for .NETTutorials at Santa Cruz West
09:00
60m
Talk
RyuJIT: Open Source JIT Compiler for .NET
Tutorials
Carol Eidt Microsoft
Link to publication
10:30 - 12:00
How Should We Program Non-volatile Memory?Tutorials at Santa Cruz East
10:30
90m
Talk
How Should We Program Non-volatile Memory?
Tutorials
File Attached
10:30 - 12:00
RyuJIT: Open Source JIT Compiler for .NETTutorials at Santa Cruz West
10:30
90m
Talk
RyuJIT: Open Source JIT Compiler for .NET
Tutorials
Carol Eidt Microsoft
Link to publication
13:30 - 15:00
String Analysis for Vulnerability Detection and RepairTutorials at Santa Cruz East
13:30
90m
Talk
String Analysis for Vulnerability Detection and Repair
Tutorials
13:30 - 15:00
One VM to Rule Them All, One VM to Bind ThemTutorials at Santa Cruz West
13:30
90m
Talk
One VM to Rule Them All, One VM to Bind Them
Tutorials
Christian Wimmer Oracle Labs
Link to publication
15:30 - 17:00
String Analysis for Vulnerability Detection and RepairTutorials at Santa Cruz East
15:30
90m
Talk
String Analysis for Vulnerability Detection and Repair
Tutorials
15:30 - 17:00
One VM to Rule Them All, One VM to Bind ThemTutorials at Santa Cruz West
15:30
90m
Talk
One VM to Rule Them All, One VM to Bind Them
Tutorials
Christian Wimmer Oracle Labs
Link to publication

Tue 14 Jun

Displayed time zone: Tijuana, Baja California change

09:00 - 10:00
Using PinPlay for Reproducible Analysis and Replay DebuggingTutorials at Santa Cruz East
09:00
60m
Talk
Using PinPlay for Reproducible Analysis and Replay Debugging
Tutorials
Link to publication
09:00 - 10:00
PROSE: Programming using ExamplesTutorials at Santa Cruz West
09:00
60m
Talk
PROSE: Programming using Examples
Tutorials
Sumit Gulwani Microsoft Research, USA, Alex Polozov University of Washington, USA
10:30 - 12:00
Using PinPlay for Reproducible Analysis and Replay DebuggingTutorials at Santa Cruz East
10:30
90m
Talk
Using PinPlay for Reproducible Analysis and Replay Debugging
Tutorials
Link to publication
10:30 - 12:00
PROSE: Programming using ExamplesTutorials at Santa Cruz West
10:30
90m
Talk
PROSE: Programming using Examples
Tutorials
Sumit Gulwani Microsoft Research, USA, Alex Polozov University of Washington, USA
13:30 - 15:00
Dynamic analysis of JavaScript with Jalangi Tutorials at Santa Cruz East
13:30
90m
Talk
Dynamic analysis of JavaScript with Jalangi
Tutorials
Manu Sridharan Samsung Research America, Koushik Sen University of California, Berkeley, Liang Gong University of California, Berkeley
13:30 - 15:00
Cross-platform analysis of mobile apps using the WALA frameworkTutorials at Santa Cruz West
13:30
90m
Talk
Cross-platform analysis of mobile apps using the WALA framework
Tutorials
Julian Dolby IBM Thomas J. Watson Research Center, Omer Tripp IBM Research, USA, Sukyoung Ryu KAIST
15:30 - 17:00
Dynamic analysis of JavaScript with Jalangi Tutorials at Santa Cruz East
15:30
90m
Talk
Dynamic analysis of JavaScript with Jalangi
Tutorials
Manu Sridharan Samsung Research America, Koushik Sen University of California, Berkeley, Liang Gong University of California, Berkeley
15:30 - 17:00
Cross-platform analysis of mobile apps using the WALA frameworkTutorials at Santa Cruz West
15:30
90m
Talk
Cross-platform analysis of mobile apps using the WALA framework
Tutorials
Julian Dolby IBM Thomas J. Watson Research Center, Omer Tripp IBM Research, USA, Sukyoung Ryu KAIST

6/13 Monday

Workshops

  • (CANCELLED) WPHCS: Workshop on Programming Heterogeneous Computing Systems
  • FMS: Formal Methods for Security

Tutorials

  • NVM Programming (morning)
  • RYUJIT: The Open Source Just in Time Compiler for .NET (morning)
  • STRING: String Analysis for Vulnerability Detection and Repair (afternoon)
  • ONEVM: One VM to Rule Them All, One VM to Bind Them (afternoon)

6/14 Tuesday

Workshops

Tutorials

  • PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging (morning)
  • PROSE: Programming by Examples (morning)
  • JALANGI: Dynamic analysis of JavaScript with Jalangi (afternoon)
  • WALAX: Crossplatform analysis of mobile apps using the WALA framework (afternoon)