Write a Blog >>

Accepted Tutorials

Title
T1: An Introduction to Redex with Abstracting Abstract Machines
Tutorials
Link to publication
T1: An Introduction to Redex with Abstracting Abstract Machines(Advanced Material)
Tutorials
Link to publication
T2: Declare Your Language (Part 1): Hands-On Spoofax Tutorial
Tutorials
T2: Declare Your Language (Part 2): Name Binding with Scope Graphs
Tutorials
Link to publication DOI Media Attached
T3: Syntax-Guided Synthesis (SyGuS)
Tutorials
Link to publication
T3: Syntax-Guided Synthesis (SyGuS) (Advanced Material)
Tutorials
Link to publication
T4: Programs and Proofs in the Coq Proof Assistant
Tutorials
Link to publication
T4: Programs and Proofs in the Coq Proof Assistant (Advanced Material)
Tutorials
Link to publication
T5: Higher-Order Model Checking
Tutorials
T6: Security and Privacy by Typing in Cryptographic Systems
Tutorials
T7: Trace-based Synchronization Synthesis for Concurrent Programs
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

Displayed 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
90m
Talk
T1: An Introduction to Redex with Abstracting Abstract Machines
Tutorials
David Van Horn University of Maryland, College Park
Link to publication
08:30 - 10:00
T3: Syntax-Guided Synthesis (SyGuS)Tutorials at Room HTC 2
08:30
90m
Talk
T3: Syntax-Guided Synthesis (SyGuS)
Tutorials
Rajeev Alur University of Pennsylvania, Dana Fisman University of Pennsylvania, Rishabh Singh Microsoft Research, Armando Solar-Lezama MIT
Link to publication
08:30 - 10:00
T5: Higher-Order Model CheckingTutorials at Room HTC 3
08:30
90m
Talk
T5: Higher-Order Model Checking
Tutorials
Naoki Kobayashi University of Tokyo, C.-H. Luke Ong University of Oxford, UK
10:30 - 12:00
T2: Declare Your Language: Part 1Tutorials at Room HTC 1
10:30
90m
Talk
T2: Declare Your Language (Part 1): Hands-On Spoofax Tutorial
Tutorials
Eelco Visser Delft University of Technology
10:30 - 12:00
T3: Syntax-Guided Synthesis (SyGuS)Tutorials at Room HTC 2
10:30
90m
Talk
T3: Syntax-Guided Synthesis (SyGuS) (Advanced Material)
Tutorials
Rajeev Alur University of Pennsylvania, Dana Fisman University of Pennsylvania, Rishabh Singh Microsoft Research, Armando Solar-Lezama MIT
Link to publication
10:30 - 12:00
T4: Programs and Proofs in the Coq Proof AssistantTutorials at Room HTC 3
10:30
90m
Talk
T4: Programs and Proofs in the Coq Proof Assistant
Tutorials
Robert Rand University of Pennsylvania, Arthur Azevedo de Amorim University of Pennsylvania
Link to publication
10:30 - 12:00
T6: Security and Privacy by Typing in Cryptographic SystemsTutorials at Room HTC 4
10:30
90m
Talk
T6: Security and Privacy by Typing in Cryptographic Systems
Tutorials
Matteo Maffei Saarland University
14:00 - 15:30
T1: An Introduction to Redex with Abstracting Abstract MachinesTutorials at Room HTC 1
14:00
90m
Talk
T1: An Introduction to Redex with Abstracting Abstract Machines(Advanced Material)
Tutorials
David Van Horn University 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
90m
Talk
T7: Trace-based Synchronization Synthesis for Concurrent Programs
Tutorials
Arjun Radhakrishna Microsoft, Roopsha Samanta IST Austria
14:00 - 15:30
T4: Programs and Proofs in the Coq Proof AssistantTutorials at Room HTC 3
14:00
90m
Talk
T4: Programs and Proofs in the Coq Proof Assistant (Advanced Material)
Tutorials
Robert Rand University of Pennsylvania, Arthur Azevedo de Amorim University of Pennsylvania
Link to publication
14:00 - 15:30
T6: Security and Privacy by Typing in Cryptographic SystemsTutorials at Room HTC 4
14:00
90m
Talk
T6: Security and Privacy by Typing in Cryptographic Systems
Tutorials
Matteo Maffei Saarland University
16:00 - 17:30
T2: Declare Your Language: Part 2Tutorials at Room HTC 1
16:00
90m
Talk
T2: Declare Your Language (Part 2): Name Binding with Scope Graphs
Tutorials
Eelco Visser Delft 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
90m
Talk
T7: Trace-based Synchronization Synthesis for Concurrent Programs
Tutorials
Arjun Radhakrishna Microsoft, Roopsha Samanta IST Austria
16:00 - 17:30
T5: Higher-Order Model CheckingTutorials at Room HTC 3
16:00
90m
Talk
T5: Higher-Order Model Checking
Tutorials
Naoki Kobayashi University of Tokyo, C.-H. Luke Ong University of Oxford, UK