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

Sat 13 Jun

Displayed time zone: Tijuana, Baja California change

09:00 - 11:00
Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor GraphicsTutorials at A103-104
09:00
2h
Talk
Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics
Tutorials
Link to publication
09:00 - 11:00
A Semantics-Directed Approach to Program Termination Tutorials at B112
09:00
2h
Talk
A Semantics-Directed Approach to Program Termination
Tutorials
Link to publication
11:20 - 12:30
Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor GraphicsTutorials at A103-104
11:20
70m
Talk
Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics
Tutorials
Link to publication
11:20 - 12:30
A Semantics-Directed Approach to Program TerminationTutorials at B112
11:20
70m
Talk
A Semantics-Directed Approach to Program Termination
Tutorials
Link to publication
14:00 - 15:30
CANCELLED: System-level Program Analysis and Architectural Evaluation with SimicsTutorials at A103-104
14:00
90m
Talk
CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics
Tutorials
14:00 - 15:30
RASCAL: Program Analysis and Transformation with RascalTutorials at B112
14:00
90m
Talk
RASCAL: Program Analysis and Transformation with Rascal
Tutorials
Mark Hills East Carolina University, Paul Klint , Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven
Link to publication
16:00 - 18:00
CANCELLED: System-level Program Analysis and Architectural Evaluation with SimicsTutorials at A103-104
16:00
2h
Talk
CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics
Tutorials
16:00 - 18:00
RASCAL: Program Analysis and Transformation with RascalTutorials at B112
16:00
2h
Talk
RASCAL: Program Analysis and Transformation with Rascal
Tutorials
Mark Hills East Carolina University, Paul Klint , Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven
Link to publication

Sun 14 Jun

Displayed time zone: Tijuana, Baja California change

09:00 - 11:00
PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging Tutorials at A103-104
09:00
2h
Talk
PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging
Tutorials
Link to publication
11:20 - 12:30
PINPLAY:Using PinPlay for Reproducible Analysis and Replay DebuggingTutorials at A103-104
11:20
70m
Talk
PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging
Tutorials
Link to publication
14:00 - 15:30
Machine Learning for Code AnalyticsTutorials at A103-104
14:00
90m
Talk
Machine Learning for Code Analytics
Tutorials
Veselin Raychev ETH Zurich, Martin Vechev ETH Zurich
Link to publication
14:00 - 15:30
Doop Framework 101Tutorials at A107-A108
14:00
90m
Talk
Doop Framework 101
Tutorials
George Kastrinis University of Athens, Yannis Smaragdakis University of Athens
Link to publication
14:00 - 15:30
AutoTune:Autotuning programs with OpenTunerTutorials at C122
14:00
90m
Talk
AutoTune:Autotuning programs with OpenTuner
Tutorials
Saman Amarasinghe MIT, Jason Ansel Massachusetts Institute of Technology, Kalyan Veeramachaneni Massachusetts Institute of Technology, Jeffrey Bosboom MIT CSAIL, Shoaib Kamil MIT CSAIL, USA
Link to publication
16:00 - 18:00
Machine Learning for Code AnalyticsTutorials at A103-104
16:00
2h
Talk
Machine Learning for Code Analytics
Tutorials
Veselin Raychev ETH Zurich, Martin Vechev ETH Zurich
Link to publication
16:00 - 18:00
Doop Framework 101Tutorials at A107-A108
16:00
2h
Talk
Doop Framework 101
Tutorials
George Kastrinis University of Athens, Yannis Smaragdakis University of Athens
Link to publication
16:00 - 18:00
AutoTune:Autotuning programs with OpenTunerTutorials at C122
16:00
2h
Talk
AutoTune:Autotuning programs with OpenTuner
Tutorials
Saman Amarasinghe MIT, Jason Ansel Massachusetts Institute of Technology, Kalyan Veeramachaneni Massachusetts Institute of Technology, Jeffrey Bosboom MIT CSAIL, Shoaib Kamil MIT CSAIL, USA
Link to publication

Call for Workshops and Tutorials

Proposals are invited for workshops and tutorials to be co-located with PLDI 2015. 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 (Saturday/Sunday) 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 10th.

Notifications will be sent by

  • November 20th.

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.

Workshop Dates

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

Tutorial Dates

  • Full program disseminated: April 18, 2015

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 2015 Workshop chair will provide guidance to the organizers of accepted workshops that wish to publish proceedings in the ACM Digital Library.


Contact

For additional information about this call for workshops/tutorials, please contact Xiangyu Zhang (xyzhang at cs.purdue.edu).