Movatterモバイル変換

[0]ホーム
URL:

POPL 2025
Sun 19 - Sat 25 January 2025Denver, Colorado, United States
POPL 2025 (series) /

TutorialsPOPL 2025

Continuing the tradition of previous years, POPL 2025 will include a program of tutorials covering topics relevant to the POPL community. Please read the call for tutorials if you’re interested in presenting a tutorial on the tool or topic of your choice.

Dates
Plenary

Program Display Configuration

Time Zone
The program is currently displayed in(GMT-07:00) Mountain Time (US & Canada).

The GMT offsets shown reflect the offsetsat the moment of the conference.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
-
You're viewing the program in a time zone which is different from your device's time zonechange time zone

Sun 19 Jan

Displayed time zone:Mountain Time (US & Canada)change

09:00 - 10:30
Substructural Type SystemsTutorials atPatty Cake
09:00
90m
Tutorial
Substructural Type Systems
Tutorials
P:Frank Pfenning Carnegie Mellon University, USA
11:00 - 12:30
Substructural Type SystemsTutorials atPatty Cake
11:00
90m
Tutorial
Substructural Type Systems
Tutorials
P:Frank Pfenning Carnegie Mellon University, USA
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:30
MPL: Provably Efficient Parallel ProgrammingTutorials atPatty Cake
14:00
90m
Tutorial
MPL: Provably Efficient Parallel Programming
Tutorials
P:Sam Westrick New York University
Link to publication
15:30 - 16:00
15:30
30m
Coffee break
Break
Catering

16:00 - 17:30
MPL: Provably Efficient Parallel ProgrammingTutorials atPatty Cake
16:00
90m
Tutorial
MPL: Provably Efficient Parallel Programming
Tutorials
P:Sam Westrick New York University
Link to publication

Mon 20 Jan

Displayed time zone:Mountain Time (US & Canada)change

09:00 - 10:30
Viper: An Infrastructure for Automated Verification in Separation LogicTutorials atRed Rover
09:00
90m
Tutorial
Viper: An Infrastructure for Automated Verification in Separation Logic
Tutorials
P:Peter Müller ETH Zurich,P:Thibault Dardinier ETH Zurich
10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
Viper: An Infrastructure for Automated Verification in Separation LogicTutorials atRed Rover
11:00
90m
Tutorial
Viper: An Infrastructure for Automated Verification in Separation Logic
Tutorials
P:Peter Müller ETH Zurich,P:Thibault Dardinier ETH Zurich
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:30
Verification of Distributed Protocols: Decidable Modeling and Invariant InferenceTutorials atRed Rover
14:00
90m
Tutorial
Verification of Distributed Protocols: Decidable Modeling and Invariant Inference
Tutorials
P:Oded Padon Weizmann Institute of Science
15:30 - 16:00
15:30
30m
Coffee break
Break
Catering

16:00 - 17:30
Verification of Distributed Protocols: Decidable Modeling and Invariant InferenceTutorials atRed Rover
16:00
90m
Tutorial
Verification of Distributed Protocols: Decidable Modeling and Invariant Inference
Tutorials
P:Oded Padon Weizmann Institute of Science

Tue 21 Jan

Displayed time zone:Mountain Time (US & Canada)change

09:00 - 10:30
Stateless model checking concurrent and distributed programsTutorials atPaper
09:00
90m
Tutorial
Stateless Model Checking Concurrent and Distributed Programs
Tutorials
10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
Stateless model checking concurrent and distributed programsTutorials atPaper
11:00
90m
Tutorial
Stateless Model Checking Concurrent and Distributed Programs
Tutorials
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

12:30 - 14:00
SIGPLAN SC MeetingCatering atVirtual Only
12:30
90m
Meeting
SIGPLAN SC Meeting
Catering

Call For Tutorials

                    POPL 2025      52nd ACM SIGPLAN-SIGACT Symposium on      Principles of Programming Languages         Sun 19 - Sat 25, January 2024            Denver, United States          https://popl25.sigplan.org

The 52nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2025) will be held in Denver, United States.

POPL provides a forum for the discussion of fundamental principles and important innovations in the design, definition, analysis, transformation, implementation, and verification of programming languages, programming systems, and programming abstractions.

Tutorials for POPL 2025 are solicited on any topic relevant to the POPL community. We particularly encourage submissions of introductory tutorials that make the research presented at POPL more accessible to the participants.

Tutorials will be held on Jan 19–21, 2025. The expected length of a tutorial is 3 hours, including questions and discussion (Q&A).

Submission details:

  • Deadline for submission:October 25th, 2024 (updated!)
  • Notification of acceptance: November 1st, 2024

A tutorial proposal should provide 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 if available.
  • 1-2 paragraph abstract suitable for tutorial publicity.
  • 1-paragraph biography suitable for tutorial publicity.

Proposals must be submitted by email to Christoph Matheja (chmat@dtu.dk) and Robert Rand (rand@uchicago.edu) with the subject line “POPL 2025 Tutorial Proposal: [tutorial name]”. The proposal should be attached as a PDF, docx, or txt file.

Further information

Any query regarding POPL 2025 tutorial proposals should be addressed to the co-located events chairs Christoph Matheja (chmat@dtu.dk) and Robert Rand (rand@uchicago.edu), or to the general chair Steve Zdancewic (stevez@seas.upenn.edu).

xFri 18 Jul 16:36
[8]ページ先頭
©2009-2025 Movatter.jp