POPL 2025 Notes & Schedule

POPL 2025 Overview

Goals

• Track state-of-the-art in LLM/AI systems verification
• Connect with WebAssembly community
• Understand latest probabilistic programming advances

Structure

• Main track: POPL
• Co-located: CPP, VMCAI
• Key workshops: WAW, LAFI, PADL

Schedule & Notes

Monday (WAW Track Focus)

Tuesday (AI/LLM Focus)

Wednesday (Probabilistic)

Thursday (Verification)

Friday (Proof Systems)

Repository Structure

• docs/ - Conference materials
• notes/ - Daily detailed notes
• papers/ - Paper copies & annotations
• slides/ - Presentation materials

Local Variables

Emacs Configuration

Setup

Add to your init.el:

(load "~/path/to/popl-2025/init.el")

Available Commands

• popl-2025/tag-session - Tag current session
• popl-2025/set-priority - Set session priority
• popl-2025/generate-daily-agenda - View daily schedule
• popl-2025/mark-for-followup - Mark for follow-up

Key Bindings

Suggested bindings:

(global-set-key (kbd "C-c p t") 'popl-2025/tag-session)
(global-set-key (kbd "C-c p p") 'popl-2025/set-priority)
(global-set-key (kbd "C-c p a") 'popl-2025/generate-daily-agenda)
(global-set-key (kbd "C-c p f") 'popl-2025/mark-for-followup)

License

MIT

Docker Support

Quick Start

# Build image
make docker-build

# Generate exports
make docker-export

# Interactive shell
make docker-shell

Custom Export Commands

Run any make target in Docker:

docker-compose run --rm notes make html

Environment Setup

This repository includes Docker support for consistent environments:

• Emacs 29.1
• Org-mode with extras
• Export tools pre-configured

Use the provided Docker environment for reliable exports and consistent note-taking.

Published Notes

The conference notes are automatically published to GitHub Pages:

https://jwalsh.github.io/popl-2025/

Updated on every push to main branch.

Navigation

• Schedule by day in notes/
• Paper annotations in papers/
• Implementation ideas in docs/

Paper Management

Categories

• distinguished/ - Distinguished papers
• interesting/ - Papers for detailed review
• followup/ - Papers for future reference

Usage

Add a paper:

./scripts/manage-paper.sh <pdf_url> distinguished "Summary notes"

Generate summaries:

make papers-pdf   # Create PDF summary
make papers-html  # Create HTML summary
make papers-summary # List papers by category

Updates

[2025-01-21] Room Changes

Due to water damage, the following rooms have been relocated:

• PADL → Keep Away (2nd floor)
• Tutorial Fest → Paper (2nd floor)
• PEPM → Scissors (2nd floor)

See updates/room-changes.org for details.

Quick Access

• Room changes: ROOMS.org
• Session notes: sessions/

Scripts

notify-updates.sh

Send updates to Discord:

export DISCORD_WEBHOOK_URL="..."
./scripts/notify-updates.sh "Room change: PEPM moved to Scissors (2nd floor)"

room-finder.sh

Find session locations:

./scripts/room-finder.sh "Scissors"

Quick Notes

Capture Templates

Quick note capture with C-c c:

• s Session note
• p Paper note

Command Line

Quick notes from terminal:

./scripts/quick-note.sh "ethical-compiler" "Interesting points about type safety"

Paper Management

The papers/ directory (not tracked in git) contains downloaded papers organized as follows:

papers/arxiv/

arXiv papers, named by their ID

papers/slides/

Presentation slides

papers/supplementary/

Supplementary materials

To download a paper:

./scripts/fetch-paper.sh https://arxiv.org/pdf/2411.07078

The script will:

1. Download the PDF
2. Create a metadata file
3. Organize by source (arXiv, etc.)