Tutorials

Title
File Attached
Link to publication
Link to publication
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.)

Mon 13 Jun

Tutorials
09:00 - 10:00: Tutorials - How Should We Program Non-volatile Memory? at Santa Cruz East
Tutorials146580120000009:00 - 10:00
Talk
File Attached
Tutorials
09:00 - 10:00: Tutorials - RyuJIT: Open Source JIT Compiler for .NET at Santa Cruz West
Tutorials146580120000009:00 - 10:00
Talk
Link to publication
Tutorials
10:30 - 12:00: Tutorials - How Should We Program Non-volatile Memory? at Santa Cruz East
Tutorials146580660000010:30 - 12:00
Talk
File Attached
Tutorials
10:30 - 12:00: Tutorials - RyuJIT: Open Source JIT Compiler for .NET at Santa Cruz West
Tutorials146580660000010:30 - 12:00
Talk
Link to publication
Tutorials
13:30 - 15:00: Tutorials - One VM to Rule Them All, One VM to Bind Them at Santa Cruz West
Tutorials146581740000013:30 - 15:00
Talk
Link to publication
Tutorials
13:30 - 15:00: Tutorials - String Analysis for Vulnerability Detection and Repair at Santa Cruz East
Tutorials146581740000013:30 - 15:00
Talk
Tutorials
15:30 - 17:00: Tutorials - One VM to Rule Them All, One VM to Bind Them at Santa Cruz West
Tutorials146582460000015:30 - 17:00
Talk
Link to publication
Tutorials
15:30 - 17:00: Tutorials - String Analysis for Vulnerability Detection and Repair at Santa Cruz East
Tutorials146582460000015:30 - 17:00
Talk

Tue 14 Jun

Tutorials
09:00 - 10:00: Tutorials - PROSE: Programming using Examples at Santa Cruz West
Tutorials146588760000009:00 - 10:00
Talk
Tutorials
09:00 - 10:00: Tutorials - Using PinPlay for Reproducible Analysis and Replay Debugging at Santa Cruz East
Tutorials146588760000009:00 - 10:00
Talk
Link to publication
Tutorials
10:30 - 12:00: Tutorials - PROSE: Programming using Examples at Santa Cruz West
Tutorials146589300000010:30 - 12:00
Talk
Tutorials
10:30 - 12:00: Tutorials - Using PinPlay for Reproducible Analysis and Replay Debugging at Santa Cruz East
Tutorials146589300000010:30 - 12:00
Talk
Link to publication
Tutorials
13:30 - 15:00: Tutorials - Cross-platform analysis of mobile apps using the WALA framework at Santa Cruz West
Tutorials146590380000013:30 - 15:00
Talk
Tutorials
13:30 - 15:00: Tutorials - Dynamic analysis of JavaScript with Jalangi at Santa Cruz East
Tutorials146590380000013:30 - 15:00
Talk
Tutorials
15:30 - 17:00: Tutorials - Cross-platform analysis of mobile apps using the WALA framework at Santa Cruz West
Tutorials146591100000015:30 - 17:00
Talk
Tutorials
15:30 - 17:00: Tutorials - Dynamic analysis of JavaScript with Jalangi at Santa Cruz East
Tutorials146591100000015:30 - 17:00
Talk

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)