Write a Blog >>

Accepted Tutorials

Title
Tutorials
Link to publication
Tutorials
Link to publication
Tutorials
Tutorials
Link to publication DOI Media Attached
Tutorials
Link to publication
Tutorials
Link to publication
Tutorials
Link to publication
Tutorials
Link to publication
Tutorials
Tutorials
Tutorials

Call for Tutorials

Since 2012, POPL has been/is home to TutorialFest, which features a buffet of half-day talks oriented towards students in particular and other POPL attendees in general.

Tutorials for POPL 2016 are solicited on any topic relevant to the POPL audience. In particular, tutorials that strive to do one of the following have been especially successful in the past:

  • Describe an important piece of research infrastructure.
  • Educate the community on an emerging topic.

For examples of past tutorials, see the websites of TutorialFest 2013 and 2014.

In 2016, tutorials will be held on Monday January 18, 2016 (two days before the main conference and the day before PLMW). For each accepted tutorial, one presenter will receive complimentary registration to POPL. We are investigating low-cost options for video-recording tutorials if consented by tutorial presenters.

Submission Procedures

Submissions should be in pdf or plain-text, sent via email to Ras Bodik (bodik@cs.washington.edu), with subject line “POPL tutorial proposal”) with the following information:

  • Tutorial title
  • Presenter(s), affiliation(s), and contact information
  • 1-3 page description (for evaluation). This should include the objectives, topics to be covered, presentation approach, target audience, prerequisite knowledge, and if the tutorial was previously held, the location (i.e. which conference), date, and number of attendees, and slides if available.
  • 1-2 paragraph abstract suitable for tutorial publicity.
  • 1 paragraph biography suitable for tutorial publicity.

The conference chairs may also solicit tutorials directly, as has been common in the past.

Questions

Questions should be emailed to the POPL 2016 General Chair, Ras Bodik at bodik@cs.washington.edu.

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

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00: T1: An Introduction to Redex with Abstracting Abstract MachinesTutorials at Room HTC 1
08:30 - 10:00
Talk
Tutorials
David Van HornUniversity of Maryland, College Park
Link to publication
08:30 - 10:00: T3: Syntax-Guided Synthesis (SyGuS)Tutorials at Room HTC 2
08:30 - 10:00
Talk
Tutorials
Rajeev AlurUniversity of Pennsylvania, Dana FismanUniversity of Pennsylvania, Rishabh SinghMicrosoft Research, Armando Solar-LezamaMIT
Link to publication
08:30 - 10:00: T5: Higher-Order Model CheckingTutorials at Room HTC 3
08:30 - 10:00
Talk
Tutorials
Naoki KobayashiUniversity of Tokyo, C.-H. Luke OngUniversity of Oxford, UK
10:30 - 12:00: T2: Declare Your Language: Part 1Tutorials at Room HTC 1
10:30 - 12:00
Talk
Tutorials
Eelco VisserDelft University of Technology
10:30 - 12:00: T3: Syntax-Guided Synthesis (SyGuS)Tutorials at Room HTC 2
10:30 - 12:00
Talk
Tutorials
Rajeev AlurUniversity of Pennsylvania, Dana FismanUniversity of Pennsylvania, Rishabh SinghMicrosoft Research, Armando Solar-LezamaMIT
Link to publication
10:30 - 12:00: T4: Programs and Proofs in the Coq Proof AssistantTutorials at Room HTC 3
10:30 - 12:00
Talk
Tutorials
Robert RandUniversity of Pennsylvania, Arthur Azevedo de AmorimUniversity of Pennsylvania
Link to publication
10:30 - 12:00: T6: Security and Privacy by Typing in Cryptographic SystemsTutorials at Room HTC 4
10:30 - 12:00
Talk
Tutorials
Matteo MaffeiSaarland University
14:00 - 15:30: T1: An Introduction to Redex with Abstracting Abstract MachinesTutorials at Room HTC 1
14:00 - 15:30
Talk
Tutorials
David Van HornUniversity of Maryland, College Park
Link to publication
14:00 - 15:30: T7: Trace-based Synchronization Synthesis for Concurrent ProgramsTutorials at Room HTC 2
14:00 - 15:30
Talk
Tutorials
Arjun RadhakrishnaMicrosoft, Roopsha SamantaIST Austria
14:00 - 15:30: T4: Programs and Proofs in the Coq Proof AssistantTutorials at Room HTC 3
14:00 - 15:30
Talk
Tutorials
Robert RandUniversity of Pennsylvania, Arthur Azevedo de AmorimUniversity of Pennsylvania
Link to publication
14:00 - 15:30: T6: Security and Privacy by Typing in Cryptographic SystemsTutorials at Room HTC 4
14:00 - 15:30
Talk
Tutorials
Matteo MaffeiSaarland University
16:00 - 17:30: T2: Declare Your Language: Part 2Tutorials at Room HTC 1
16:00 - 17:30
Talk
Tutorials
Eelco VisserDelft University of Technology
Link to publication DOI Media Attached
16:00 - 17:30: T7: Trace-based Synchronization Synthesis for Concurrent ProgramsTutorials at Room HTC 2
16:00 - 17:30
Talk
Tutorials
Arjun RadhakrishnaMicrosoft, Roopsha SamantaIST Austria
16:00 - 17:30: T5: Higher-Order Model CheckingTutorials at Room HTC 3
16:00 - 17:30
Talk
Tutorials
Naoki KobayashiUniversity of Tokyo, C.-H. Luke OngUniversity of Oxford, UK