Write a Blog >>

Accepted Tutorials

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

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.

Mon 18 Jan

POPL-2016-tutorials
08:30 - 10:00: Tutorials - T1: An Introduction to Redex with Abstracting Abstract Machines at Room HTC 1
POPL-2016-tutorials145310220000008:30 - 10:00
Talk
Link to publication
POPL-2016-tutorials
08:30 - 10:00: Tutorials - T3: Syntax-Guided Synthesis (SyGuS) at Room HTC 2
POPL-2016-tutorials145310220000008:30 - 10:00
Talk
Link to publication
POPL-2016-tutorials
08:30 - 10:00: Tutorials - T5: Higher-Order Model Checking at Room HTC 3
POPL-2016-tutorials145310220000008:30 - 10:00
Talk
POPL-2016-tutorials
10:30 - 12:00: Tutorials - T2: Declare Your Language: Part 1 at Room HTC 1
POPL-2016-tutorials145310940000010:30 - 12:00
Talk
POPL-2016-tutorials
10:30 - 12:00: Tutorials - T3: Syntax-Guided Synthesis (SyGuS) at Room HTC 2
POPL-2016-tutorials145310940000010:30 - 12:00
Talk
Link to publication
POPL-2016-tutorials
10:30 - 12:00: Tutorials - T4: Programs and Proofs in the Coq Proof Assistant at Room HTC 3
POPL-2016-tutorials145310940000010:30 - 12:00
Talk
Link to publication
POPL-2016-tutorials
10:30 - 12:00: Tutorials - T6: Security and Privacy by Typing in Cryptographic Systems at Room HTC 4
POPL-2016-tutorials145310940000010:30 - 12:00
Talk
POPL-2016-tutorials
14:00 - 15:30: Tutorials - T6: Security and Privacy by Typing in Cryptographic Systems at Room HTC 4
POPL-2016-tutorials145312200000014:00 - 15:30
Talk
POPL-2016-tutorials
14:00 - 15:30: Tutorials - T1: An Introduction to Redex with Abstracting Abstract Machines at Room HTC 1
POPL-2016-tutorials145312200000014:00 - 15:30
Talk
Link to publication
POPL-2016-tutorials
14:00 - 15:30: Tutorials - T4: Programs and Proofs in the Coq Proof Assistant at Room HTC 3
POPL-2016-tutorials145312200000014:00 - 15:30
Talk
Link to publication
POPL-2016-tutorials
14:00 - 15:30: Tutorials - T7: Trace-based Synchronization Synthesis for Concurrent Programs at Room HTC 2
POPL-2016-tutorials145312200000014:00 - 15:30
Talk
POPL-2016-tutorials
16:00 - 17:30: Tutorials - T2: Declare Your Language: Part 2 at Room HTC 1
POPL-2016-tutorials145312920000016:00 - 17:30
Talk
Link to publication DOI Media Attached
POPL-2016-tutorials
16:00 - 17:30: Tutorials - T5: Higher-Order Model Checking at Room HTC 3
POPL-2016-tutorials145312920000016:00 - 17:30
Talk
POPL-2016-tutorials
16:00 - 17:30: Tutorials - T7: Trace-based Synchronization Synthesis for Concurrent Programs at Room HTC 2
POPL-2016-tutorials145312920000016:00 - 17:30
Talk