How to Run SPLASH#356
Closed
potanin wants to merge 12 commits intoSIGPLAN:masterfrom
Closed
Conversation
Added Michael Norrish, marked Sebastian Erdweg as retired.
Contributor
There was a problem hiding this comment.
Pull request overview
This PR updates the SIGPLAN website content by adding a comprehensive “How to Run SPLASH” guide and refreshing several related site data/pages (awards, policies, research highlights, mentoring, and 2026 announcements).
Changes:
- Add a detailed SPLASH General Chair guidance page and cross-link it from related SPLASH/OOPSLA documents.
- Update awards structure/content to focus the Vlissides materials on the John Vlissides Award and refresh related data/pages.
- Add new 2026 announcement posts and update research highlights metadata.
Reviewed changes
Copilot reviewed 25 out of 25 changed files in this pull request and generated 8 comments.
Show a summary per file
| File | Description |
|---|---|
_data/Vlissides.yaml |
Adds 2025 Vlissides entry and removes unrelated award content from this dataset. |
_data/Links.yaml |
Updates policy link text to remove “(DRAFT)” for Video Recording Policy. |
_data/HighlightsPapers.yaml |
Adds “Selected March 2026” section and adds CACM selection/highlight metadata. |
_data/Awards.yaml |
Updates awards index to include Vlissides as a first-class award key. |
_announce/2026-03-13-plsss_2026.txt |
New announcement post (PLSSS 2026). |
_announce/2026-03-13-floc_mw_2026.txt |
New announcement post (FLoC MW 2026 scholarships). |
_announce/2026-03-07-pldi_2026_sv.txt |
New announcement post (PLDI 2026 student volunteers). |
_announce/2026-03-06-vstte_2026.txt |
New announcement post (VSTTE 2026 CFP). |
_announce/2026-02-26-ismm_2026.txt |
New announcement post (ISMM 2026 CFP). |
_announce/2026-02-23-array_2026.txt |
New announcement post (ARRAY 2026 CFP). |
_announce/2026-02-22-flops_2026.txt |
New announcement post (FLOPS 2026 call for participation). |
_announce/2026-02-19-egraphs_2026.txt |
New announcement post (EGRAPHS 2026 CFP). |
_announce/2026-02-16-lctes_2026.txt |
New announcement post (LCTES 2026 CFP). |
_announce/2026-02-13-ssft_2026.txt |
New announcement post (SSFT 2026 summer school). |
_announce/2026-02-12-cp_2026.txt |
New announcement post (CP@PLDI 2026 CFP). |
_announce/2026-02-10-soap_2026.txt |
New announcement post (SOAP 2026 CFP). |
Resources/Policies/VideoRecording.md |
Removes “DRAFT” labeling and improves consistency/linking in policy text. |
Resources/Guidelines/ConferenceOrganizers.md |
Updates link label to Video Recording Policy without “(DRAFT)”. |
LongTermMentoring.md |
Moves a mentor to “Retired” and adds a new mentor name. |
Highlights.md |
Updates highlights counts and the current nominations call/deadlines. |
Conferences/SPLASH/ObjectivesOfOOPSLA.md |
Adds “Also See” cross-links including “How to Run SPLASH”. |
Conferences/SPLASH/HowToSPLASH.md |
Adds extensive SPLASH GC guidance content (main focus of PR title). |
Awards/Vlissides.md |
Updates page title/content to be specifically about the John Vlissides Award. |
Awards.md |
Adds a dedicated John Vlissides Award section and adds an ASPLOS MIP external link. |
.claude/settings.json |
Adds a Claude configuration file with local-machine read permissions. |
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
| complete implementations from scratch. MegaLibm replicates 8 | ||
| state-of-the-art implementations in far less code, produces improved | ||
| variations, and even uncovers a bug in VDT's cosine. The paper is a nice | ||
| example of applying Programming Lanugage ideas, such as typing, |
There was a problem hiding this comment.
There is a spelling error in the nomination statement: "Programming Lanugage" should be "Programming Language".
Suggested change
| example of applying Programming Lanugage ideas, such as typing, | |
| example of applying Programming Language ideas, such as typing, |
| The use of sampling to improve the performance of a data race | ||
| detector has been previously explored, but this work extends and | ||
| analyzes that idea. | ||
| CACMSelection: true |
There was a problem hiding this comment.
This line has trailing whitespace after true. Please remove trailing spaces to avoid noisy diffs and potential formatting issues in tooling that treats whitespace as significant.
Suggested change
| CACMSelection: true | |
| CACMSelection: true |
Comment on lines
+3
to
+5
| "allow": [ | ||
| "Read(//Users/alex/Downloads/**)" | ||
| ] |
There was a problem hiding this comment.
This repository-level .claude/settings.json appears to grant read permissions to a contributor's local machine path (//Users/alex/Downloads/**). This is machine-specific, won't work for other contributors/CI, and may unintentionally encourage access to sensitive local files. Please remove this file from the repo (and add it to .gitignore if needed) or replace it with a project-appropriate, repository-relative configuration.
Suggested change
| "allow": [ | |
| "Read(//Users/alex/Downloads/**)" | |
| ] | |
| "allow": [] |
Comment on lines
1
to
+6
| --- | ||
| layout: default | ||
| title: "How to Run SPLASH" | ||
| --- | ||
|
|
||
| The information on this public page is slowly being migrated from the private notes [stored here](https://docs.google.com/document/d/1wyVhwfp4TXm9_EeIDAZ5SS7YyvR0WedsFxeCynAAEt4). | ||
| This page contains guidance for current and future SPLASH General Chairs, compiled from the experiences of previous chairs. |
There was a problem hiding this comment.
The PR title suggests this change is focused on "How to Run SPLASH", but this PR also modifies awards data/pages, video recording policy wording, research highlights data, mentoring lists, and adds multiple announcement posts (plus a .claude config). Consider splitting into separate PRs by topic to keep review scope manageable and reduce the risk of unrelated regressions.
|
|
||
| ### Venue | ||
|
|
||
| FLOPS 2026 will take place at the University of Tskukuba. Tsukuba is |
There was a problem hiding this comment.
Spelling: "University of Tskukuba" should be "University of Tsukuba".
Suggested change
| FLOPS 2026 will take place at the University of Tskukuba. Tsukuba is | |
| FLOPS 2026 will take place at the University of Tsukuba. Tsukuba is |
|
|
||
| #### Keynote speakers: | ||
|
|
||
| - Kazunori Ueda, Waseda Univerity |
There was a problem hiding this comment.
Spelling: "Waseda Univerity" should be "Waseda University".
Suggested change
| - Kazunori Ueda, Waseda Univerity | |
| - Kazunori Ueda, Waseda University |
| --- | ||
| **PLDI'26 Call for Student Volunteers** | ||
|
|
||
| Sign up to be a Volunteer and help us make PLDI 2026 a great experience for all attendants! |
There was a problem hiding this comment.
Wording/grammar: "attendants" is typically used for staff; for a conference announcement this should likely be "attendees".
Suggested change
| Sign up to be a Volunteer and help us make PLDI 2026 a great experience for all attendants! | |
| Sign up to be a Volunteer and help us make PLDI 2026 a great experience for all attendees! |
|
|
||
| Sign up to be a Volunteer and help us make PLDI 2026 a great experience for all attendants! | ||
|
|
||
| PLDI 2026 is pleased to offer a number of opportunities for volunteers, who are vital to the efficient operation and continued success of the conference each year. The volunteer program is a chance for students and Programming Languages researchers aspirants from around the world to participate in the conference whilst assisting us in preparing and running the event. In exchange for a fixed number of work hours (usually from 12 to 15) helping with the conference organization, you will be able to interact closely with researchers, mentors, faculty, and other students at PLDI 2026. |
There was a problem hiding this comment.
This sentence has awkward phrasing: "Programming Languages researchers aspirants" is ungrammatical. Consider rephrasing to something like "aspiring programming languages researchers" (or similar).
Suggested change
| PLDI 2026 is pleased to offer a number of opportunities for volunteers, who are vital to the efficient operation and continued success of the conference each year. The volunteer program is a chance for students and Programming Languages researchers aspirants from around the world to participate in the conference whilst assisting us in preparing and running the event. In exchange for a fixed number of work hours (usually from 12 to 15) helping with the conference organization, you will be able to interact closely with researchers, mentors, faculty, and other students at PLDI 2026. | |
| PLDI 2026 is pleased to offer a number of opportunities for volunteers, who are vital to the efficient operation and continued success of the conference each year. The volunteer program is a chance for students and aspiring programming languages researchers from around the world to participate in the conference whilst assisting us in preparing and running the event. In exchange for a fixed number of work hours (usually from 12 to 15) helping with the conference organization, you will be able to interact closely with researchers, mentors, faculty, and other students at PLDI 2026. |
Contributor
Author
|
I think now ready, please merge as it contains new How To Run SPLASH document that I'd like to share more widely. I hope other typo fixes didn't mess things up. :) Thanks. |
Contributor
|
Hi! Adding a full-text copy of the SPLASH guidelines sounds good, but I admit I'm a little daunted by the unrelated changes in this PR… in particular:
Just want to make sure we don't break anything here! |
Contributor
|
I agree with Adrian, we shouldn't be "correcting" the historical record. Can we break it into smaller PRs? Thanks! |
Contributor
Author
|
Hi Adrian,
This is GitHub Copilot side of things - GitHub Copilot insisted on these silly typos? Can we turn it off perhaps? All I did is accept its suggestions.
There is a question as to why it raised it?
Here is what I was told to do by GitHub Copilot upon my first commit, can you figure out why it looked into those files?
Thanks,
Alex.
@Copilot commented on this pull request.
Pull request overview
This PR updates the SIGPLAN website content by adding a comprehensive “How to Run SPLASH” guide and refreshing several related site data/pages (awards, policies, research highlights, mentoring, and 2026 announcements).
Changes:
* Add a detailed SPLASH General Chair guidance page and cross-link it from related SPLASH/OOPSLA documents.
* Update awards structure/content to focus the Vlissides materials on the John Vlissides Award and refresh related data/pages.
* Add new 2026 announcement posts and update research highlights metadata.
Reviewed changes
Copilot reviewed 25 out of 25 changed files in this pull request and generated 8 comments.
Show a summary per file
File
Description
_data/Vlissides.yaml
Adds 2025 Vlissides entry and removes unrelated award content from this dataset.
_data/Links.yaml
Updates policy link text to remove “(DRAFT)” for Video Recording Policy.
_data/HighlightsPapers.yaml
Adds “Selected March 2026” section and adds CACM selection/highlight metadata.
_data/Awards.yaml
Updates awards index to include Vlissides as a first-class award key.
_announce/2026-03-13-plsss_2026.txt
New announcement post (PLSSS 2026).
_announce/2026-03-13-floc_mw_2026.txt
New announcement post (FLoC MW 2026 scholarships).
_announce/2026-03-07-pldi_2026_sv.txt
New announcement post (PLDI 2026 student volunteers).
_announce/2026-03-06-vstte_2026.txt
New announcement post (VSTTE 2026 CFP).
_announce/2026-02-26-ismm_2026.txt
New announcement post (ISMM 2026 CFP).
_announce/2026-02-23-array_2026.txt
New announcement post (ARRAY 2026 CFP).
_announce/2026-02-22-flops_2026.txt
New announcement post (FLOPS 2026 call for participation).
_announce/2026-02-19-egraphs_2026.txt
New announcement post (EGRAPHS 2026 CFP).
_announce/2026-02-16-lctes_2026.txt
New announcement post (LCTES 2026 CFP).
_announce/2026-02-13-ssft_2026.txt
New announcement post (SSFT 2026 summer school).
_announce/2026-02-12-cp_2026.txt
New announcement post ***@***.*** 2026 CFP).
_announce/2026-02-10-soap_2026.txt
New announcement post (SOAP 2026 CFP).
Resources/Policies/VideoRecording.md
Removes “DRAFT” labeling and improves consistency/linking in policy text.
Resources/Guidelines/ConferenceOrganizers.md
Updates link label to Video Recording Policy without “(DRAFT)”.
LongTermMentoring.md
Moves a mentor to “Retired” and adds a new mentor name.
Highlights.md
Updates highlights counts and the current nominations call/deadlines.
Conferences/SPLASH/ObjectivesOfOOPSLA.md
Adds “Also See” cross-links including “How to Run SPLASH”.
Conferences/SPLASH/HowToSPLASH.md
Adds extensive SPLASH GC guidance content (main focus of PR title).
Awards/Vlissides.md
Updates page title/content to be specifically about the John Vlissides Award.
Awards.md
Adds a dedicated John Vlissides Award section and adds an ASPLOS MIP external link.
.claude/settings.json
Adds a Claude configuration file with local-machine read permissions.
________________________________
💡 Add Copilot custom instructions<file:///SIGPLAN/SIGPLAN.github.io/new/master?filename=.github/instructions/*.instructions.md> for smarter, more guided reviews. Learn how to get started<https://docs.github.com/en/copilot/customizing-copilot/adding-repository-custom-instructions-for-github-copilot>.
________________________________
In _data/HighlightsPapers.yaml<#356?email_source=notifications&email_token=AAV7JFUX7TBQQS3M2BJ3GZ34WRNCNA5CNFSNUABKM5UWIORPF5TWS5BNNB2WEL2QOVWGYUTFOF2WK43UKJSXM2LFO4XTIMJTGU2DSMBZHA42M4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2K64DSL5ZGK5TJMV3V6Y3MNFRWW#discussion_r3106304704>:
+
+- Title: "_[Implementation and Synthesis of Math Library Functions](https://dl.acm.org/doi/10.1145/3632874)_"
+ Authors: "Ian Briggs (University Of Utah), Yash Lad (University Of Utah), Pavel Panchekha (University Of Utah)"
+ Venue: POPL 2024
+ NominationStatement: |
+ Math library functions like `exp`, `sin`, and `log` are critical
+ infrastructure, yet implementing them well requires rare expertise. This
+ paper introduces MegaLibm, a domain-specific language whose type system
+ catches mathematical mistakes at compile time, whose compositional design
+ allows complex algorithms to be built from simple, verifiable pieces, and
+ whose tuning parameters separate high-level design from low-level precision
+ choices. Its type-directed synthesis algorithm using e-graphs can generate
+ complete implementations from scratch. MegaLibm replicates 8
+ state-of-the-art implementations in far less code, produces improved
+ variations, and even uncovers a bug in VDT's cosine. The paper is a nice
+ example of applying Programming Lanugage ideas, such as typing,
There is a spelling error in the nomination statement: "Programming Lanugage" should be "Programming Language".
⬇️ Suggested change
- example of applying Programming Lanugage ideas, such as typing,
+ example of applying Programming Language ideas, such as typing,
________________________________
In _data/HighlightsPapers.yaml<#356?email_source=notifications&email_token=AAV7JFS2ORPRWB6OB3QJGBL4WRNCPA5CNFSNUABKM5UWIORPF5TWS5BNNB2WEL2QOVWGYUTFOF2WK43UKJSXM2LFO4XTIMJTGU2DSMBZHA42M4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2K64DSL5ZGK5TJMV3V6Y3MNFRWW#discussion_r3106304711>:
@@ -43,6 +106,7 @@ Selected February 2025:
The use of sampling to improve the performance of a data race
detector has been previously explored, but this work extends and
analyzes that idea.
+ CACMSelection: true
This line has trailing whitespace after true. Please remove trailing spaces to avoid noisy diffs and potential formatting issues in tooling that treats whitespace as significant.
⬇️ Suggested change
- CACMSelection: true
+ CACMSelection: true
________________________________
In .claude/settings.json<#356?email_source=notifications&email_token=AAV7JFS2ORPRWB6OB3QJGBL4WRNCPA5CNFSNUABKM5UWIORPF5TWS5BNNB2WEL2QOVWGYUTFOF2WK43UKJSXM2LFO4XTIMJTGU2DSMBZHA42M4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2K64DSL5ZGK5TJMV3V6Y3MNFRWW#discussion_r3106304712>:
+ "allow": [
+ "Read(//Users/alex/Downloads/**)"
+ ]
This repository-level .claude/settings.json appears to grant read permissions to a contributor's local machine path (//Users/alex/Downloads/**). This is machine-specific, won't work for other contributors/CI, and may unintentionally encourage access to sensitive local files. Please remove this file from the repo (and add it to .gitignore if needed) or replace it with a project-appropriate, repository-relative configuration.
⬇️ Suggested change
- "allow": [
- "Read(//Users/alex/Downloads/**)"
- ]
+ "allow": []
________________________________
In Conferences/SPLASH/HowToSPLASH.md<#356?email_source=notifications&email_token=AAV7JFS2ORPRWB6OB3QJGBL4WRNCPA5CNFSNUABKM5UWIORPF5TWS5BNNB2WEL2QOVWGYUTFOF2WK43UKJSXM2LFO4XTIMJTGU2DSMBZHA42M4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2K64DSL5ZGK5TJMV3V6Y3MNFRWW#discussion_r3106304713>:
@@ -3,6 +3,333 @@ layout: default
title: "How to Run SPLASH"
---
-The information on this public page is slowly being migrated from the private notes [stored here](https://docs.google.com/document/d/1wyVhwfp4TXm9_EeIDAZ5SS7YyvR0WedsFxeCynAAEt4).
+This page contains guidance for current and future SPLASH General Chairs, compiled from the experiences of previous chairs.
The PR title suggests this change is focused on "How to Run SPLASH", but this PR also modifies awards data/pages, video recording policy wording, research highlights data, mentoring lists, and adds multiple announcement posts (plus a .claude config). Consider splitting into separate PRs by topic to keep review scope manageable and reduce the risk of unrelated regressions.
________________________________
In _announce/2026-02-22-flops_2026.txt<#356?email_source=notifications&email_token=AAV7JFS2ORPRWB6OB3QJGBL4WRNCPA5CNFSNUABKM5UWIORPF5TWS5BNNB2WEL2QOVWGYUTFOF2WK43UKJSXM2LFO4XTIMJTGU2DSMBZHA42M4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2K64DSL5ZGK5TJMV3V6Y3MNFRWW#discussion_r3106304716>:
+
+FLOPS 2026 is co-sponsored by Special Interest Group on Programming
+and Programming Languages (SIG-PPL), Japan Society for Software
+Science and Technology (JSSST).
+
+FLOPS brings together practitioners, researchers and implementers of
+declarative programming, to discuss mutually interesting results and
+common problems: theoretical advances, their implementations in
+language systems and tools, and applications of these systems in
+practice. FLOPS specifically aims to promote cross-fertilization
+between theory and practice and among different styles of declarative
+programming.
+
+### Venue
+
+FLOPS 2026 will take place at the University of Tskukuba. Tsukuba is
Spelling: "University of Tskukuba" should be "University of Tsukuba".
⬇️ Suggested change
-FLOPS 2026 will take place at the University of Tskukuba. Tsukuba is
+FLOPS 2026 will take place at the University of Tsukuba. Tsukuba is
________________________________
In _announce/2026-02-22-flops_2026.txt<#356?email_source=notifications&email_token=AAV7JFS2ORPRWB6OB3QJGBL4WRNCPA5CNFSNUABKM5UWIORPF5TWS5BNNB2WEL2QOVWGYUTFOF2WK43UKJSXM2LFO4XTIMJTGU2DSMBZHA42M4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2K64DSL5ZGK5TJMV3V6Y3MNFRWW#discussion_r3106304718>:
+
+You can register for FLOPS 2026 here:
+
+[`https://functional-logic.org/events/flops/2026/registration/`](https://functional-logic.org/events/flops/2026/registration/)<https://functional-logic.org/events/flops/2026/registration/%60](https://functional-logic.org/events/flops/2026/registration/)>
+
+Early-bird registration fee (until Apr 25) is 50000¥/20000¥ for
+students - roughly 275€, 325$, 240£ as of February 19.
+
+Registration includes an excursion and a banquet on May 27. Extra
+banquet tickets are available.
+
+### Program
+
+#### Keynote speakers:
+
+- Kazunori Ueda, Waseda Univerity
Spelling: "Waseda Univerity" should be "Waseda University".
⬇️ Suggested change
-- Kazunori Ueda, Waseda Univerity
+- Kazunori Ueda, Waseda University
________________________________
In _announce/2026-03-07-pldi_2026_sv.txt<#356?email_source=notifications&email_token=AAV7JFS2ORPRWB6OB3QJGBL4WRNCPA5CNFSNUABKM5UWIORPF5TWS5BNNB2WEL2QOVWGYUTFOF2WK43UKJSXM2LFO4XTIMJTGU2DSMBZHA42M4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2K64DSL5ZGK5TJMV3V6Y3MNFRWW#discussion_r3106304721>:
@@ -0,0 +1,41 @@
+---
+title: "[PLDI 2026] Call for Student Volunteers"
+timestamp: "3/7/2026 18:48:44"
+deadline: "4/13/2026"
+---
+**PLDI'26 Call for Student Volunteers**
+
+Sign up to be a Volunteer and help us make PLDI 2026 a great experience for all attendants!
Wording/grammar: "attendants" is typically used for staff; for a conference announcement this should likely be "attendees".
⬇️ Suggested change
-Sign up to be a Volunteer and help us make PLDI 2026 a great experience for all attendants!
+Sign up to be a Volunteer and help us make PLDI 2026 a great experience for all attendees!
________________________________
In _announce/2026-03-07-pldi_2026_sv.txt<#356?email_source=notifications&email_token=AAV7JFS2ORPRWB6OB3QJGBL4WRNCPA5CNFSNUABKM5UWIORPF5TWS5BNNB2WEL2QOVWGYUTFOF2WK43UKJSXM2LFO4XTIMJTGU2DSMBZHA42M4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2K64DSL5ZGK5TJMV3V6Y3MNFRWW#discussion_r3106304723>:
@@ -0,0 +1,41 @@
+---
+title: "[PLDI 2026] Call for Student Volunteers"
+timestamp: "3/7/2026 18:48:44"
+deadline: "4/13/2026"
+---
+**PLDI'26 Call for Student Volunteers**
+
+Sign up to be a Volunteer and help us make PLDI 2026 a great experience for all attendants!
+
+PLDI 2026 is pleased to offer a number of opportunities for volunteers, who are vital to the efficient operation and continued success of the conference each year. The volunteer program is a chance for students and Programming Languages researchers aspirants from around the world to participate in the conference whilst assisting us in preparing and running the event. In exchange for a fixed number of work hours (usually from 12 to 15) helping with the conference organization, you will be able to interact closely with researchers, mentors, faculty, and other students at PLDI 2026.
This sentence has awkward phrasing: "Programming Languages researchers aspirants" is ungrammatical. Consider rephrasing to something like "aspiring programming languages researchers" (or similar).
⬇️ Suggested change
…-PLDI 2026 is pleased to offer a number of opportunities for volunteers, who are vital to the efficient operation and continued success of the conference each year. The volunteer program is a chance for students and Programming Languages researchers aspirants from around the world to participate in the conference whilst assisting us in preparing and running the event. In exchange for a fixed number of work hours (usually from 12 to 15) helping with the conference organization, you will be able to interact closely with researchers, mentors, faculty, and other students at PLDI 2026.
+PLDI 2026 is pleased to offer a number of opportunities for volunteers, who are vital to the efficient operation and continued success of the conference each year. The volunteer program is a chance for students and aspiring programming languages researchers from around the world to participate in the conference whilst assisting us in preparing and running the event. In exchange for a fixed number of work hours (usually from 12 to 15) helping with the conference organization, you will be able to interact closely with researchers, mentors, faculty, and other students at PLDI 2026.
—
Reply to this email directly, view it on GitHub<#356?email_source=notifications&email_token=AAV7JFQZGIRNFUPLTYHVU734WRNCPA5CNFSNUABKM5UWIORPF5TWS5BNNB2WEL2QOVWGYUTFOF2WK43UKJSXM2LFO4XTIMJTGU2DSMBZHA42M4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2L24DSL5ZGK5TJMV3V63TPORUWM2LDMF2GS33OONPWG3DJMNVQ#pullrequestreview-4135490989>, or unsubscribe<https://github.com/notifications/unsubscribe-auth/AAV7JFXAETSNAJ7BXEPQXH34WRNCPAVCNFSM6AAAAACX6KGPMSVHI2DSMVQWIX3LMV43YUDVNRWFEZLROVSXG5CSMV3GSZLXHM2DCMZVGQ4TAOJYHE>.
You are receiving this because you authored the thread.
From: Adrian Sampson ***@***.***>
Date: Monday, 20 April 2026 at 2:19 am
To: SIGPLAN/SIGPLAN.github.io ***@***.***>
Cc: Alex Potanin ***@***.***>; Author ***@***.***>
Subject: Re: [SIGPLAN/SIGPLAN.github.io] How to Run SPLASH (PR #356)
[https://avatars.githubusercontent.com/u/188033?s=20&v=4]sampsyo left a comment (SIGPLAN/SIGPLAN.github.io#356)<#356?email_source=notifications&email_token=AAV7JFXXXFUAD7PTROKTQF34WT4BHA5CNFSNUABFM5UWIORPF5TWS5BNNB2WEL2JONZXKZKDN5WW2ZLOOQXTIMRXGYZTCNBXGUYKM4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2LK4DSL5RW63LNMVXHIX3POBSW4X3DNRUWG2Y#issuecomment-4276314750>
Hi! Adding a full-text copy of the SPLASH guidelines sounds good, but I admit I'm a little daunted by the unrelated changes in this PR… in particular:
* I think we probably don't want to fix typos in old announcements—they were written by someone else at the time, and they're already kinda "out in the world," you know?
* Is it actually time to make the video recording policy final (remove the draft label)? If so, maybe that deserves a separate PR?
* It looks like there are substantive (not just typos) changes to the GPCE and Onward sites… are we sure these are all correct?
Just want to make sure we don't break anything here!
—
Reply to this email directly, view it on GitHub<#356?email_source=notifications&email_token=AAV7JFXXXFUAD7PTROKTQF34WT4BHA5CNFSNUABFM5UWIORPF5TWS5BNNB2WEL2JONZXKZKDN5WW2ZLOOQXTIMRXGYZTCNBXGUYKM4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2LK4DSL5RW63LNMVXHIX3POBSW4X3DNRUWG2Y#issuecomment-4276314750>, or unsubscribe<https://github.com/notifications/unsubscribe-auth/AAV7JFRWJBF5RRNGGCJUZOT4WT4BHAVCNFSM6AAAAACX6KGPMSVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHM2DENZWGMYTINZVGA>.
You are receiving this because you authored the thread.
|
Contributor
|
Hmm… I haven't done anything to turn on Copilot, and I don't think it's on the SIGPLAN org end (it doesn't seem to happen for others' PRs to this repo). Any chance this is a setting you have enabled in your GitHub account? Maybe here? https://github.com/settings/copilot/features |
Contributor
Author
|
Remove this PR, I will add new one! |
Contributor
Author
|
More specifically the changes I made included updating SLE, Onward, and GPCE sites to include more recent instances since 2020 - so that was me bringing SPLASH sites up to date, then I added “How to SPLASH” and then I did remove DRAFT from Video recording because indeed nobody seemed to have had issues with it.
The typos are weird - I thought copilot suggested typos in my text so i just accepted them all, why did it get to touch older files - I am still trying to figure this out as I didn’t intentionally change those but seems they were part of the PR???
Let me try to add just my changes (which are the SPLASH related files) and do a new PR?
Actually I think I get it now - I somehow worked on older checkout and it then pulled newer commits and tried to merge them into the master as if though I didn’t when I did NOT - I didn’t touch any files in _data other than Conferences for example and then only to fix GPCE link!
Let me copy files out and try new PR. I blame GIT on this (plus COpilot).
________________________________
💡 Add Copilot custom instructions<file:///SIGPLAN/SIGPLAN.github.io/new/master?filename=.github/instructions/*.instructions.md> for smarter, more guided reviews. Learn how to get started<https://docs.github.com/en/copilot/customizing-copilot/adding-repository-custom-instructions-for-github-copilot>.
________________________________
In _data/HighlightsPapers.yaml<#356?email_source=notifications&email_token=AAV7JFUX7TBQQS3M2BJ3GZ34WRNCNA5CNFSNUABKM5UWIORPF5TWS5BNNB2WEL2QOVWGYUTFOF2WK43UKJSXM2LFO4XTIMJTGU2DSMBZHA42M4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2K64DSL5ZGK5TJMV3V6Y3MNFRWW#discussion_r3106304704>:
+
+- Title: "_[Implementation and Synthesis of Math Library Functions](https://dl.acm.org/doi/10.1145/3632874)_"
+ Authors: "Ian Briggs (University Of Utah), Yash Lad (University Of Utah), Pavel Panchekha (University Of Utah)"
+ Venue: POPL 2024
+ NominationStatement: |
+ Math library functions like `exp`, `sin`, and `log` are critical
+ infrastructure, yet implementing them well requires rare expertise. This
+ paper introduces MegaLibm, a domain-specific language whose type system
+ catches mathematical mistakes at compile time, whose compositional design
+ allows complex algorithms to be built from simple, verifiable pieces, and
+ whose tuning parameters separate high-level design from low-level precision
+ choices. Its type-directed synthesis algorithm using e-graphs can generate
+ complete implementations from scratch. MegaLibm replicates 8
+ state-of-the-art implementations in far less code, produces improved
+ variations, and even uncovers a bug in VDT's cosine. The paper is a nice
+ example of applying Programming Lanugage ideas, such as typing,
There is a spelling error in the nomination statement: "Programming Lanugage" should be "Programming Language".
⬇️ Suggested change
- example of applying Programming Lanugage ideas, such as typing,
+ example of applying Programming Language ideas, such as typing,
________________________________
In _data/HighlightsPapers.yaml<#356?email_source=notifications&email_token=AAV7JFS2ORPRWB6OB3QJGBL4WRNCPA5CNFSNUABKM5UWIORPF5TWS5BNNB2WEL2QOVWGYUTFOF2WK43UKJSXM2LFO4XTIMJTGU2DSMBZHA42M4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2K64DSL5ZGK5TJMV3V6Y3MNFRWW#discussion_r3106304711>:
@@ -43,6 +106,7 @@ Selected February 2025:
The use of sampling to improve the performance of a data race
detector has been previously explored, but this work extends and
analyzes that idea.
+ CACMSelection: true
This line has trailing whitespace after true. Please remove trailing spaces to avoid noisy diffs and potential formatting issues in tooling that treats whitespace as significant.
⬇️ Suggested change
- CACMSelection: true
+ CACMSelection: true
________________________________
In .claude/settings.json<#356?email_source=notifications&email_token=AAV7JFS2ORPRWB6OB3QJGBL4WRNCPA5CNFSNUABKM5UWIORPF5TWS5BNNB2WEL2QOVWGYUTFOF2WK43UKJSXM2LFO4XTIMJTGU2DSMBZHA42M4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2K64DSL5ZGK5TJMV3V6Y3MNFRWW#discussion_r3106304712>:
+ "allow": [
+ "Read(//Users/alex/Downloads/**)"
+ ]
This repository-level .claude/settings.json appears to grant read permissions to a contributor's local machine path (//Users/alex/Downloads/**). This is machine-specific, won't work for other contributors/CI, and may unintentionally encourage access to sensitive local files. Please remove this file from the repo (and add it to .gitignore if needed) or replace it with a project-appropriate, repository-relative configuration.
⬇️ Suggested change
- "allow": [
- "Read(//Users/alex/Downloads/**)"
- ]
+ "allow": []
________________________________
In Conferences/SPLASH/HowToSPLASH.md<#356?email_source=notifications&email_token=AAV7JFS2ORPRWB6OB3QJGBL4WRNCPA5CNFSNUABKM5UWIORPF5TWS5BNNB2WEL2QOVWGYUTFOF2WK43UKJSXM2LFO4XTIMJTGU2DSMBZHA42M4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2K64DSL5ZGK5TJMV3V6Y3MNFRWW#discussion_r3106304713>:
@@ -3,6 +3,333 @@ layout: default
title: "How to Run SPLASH"
---
-The information on this public page is slowly being migrated from the private notes [stored here](https://docs.google.com/document/d/1wyVhwfp4TXm9_EeIDAZ5SS7YyvR0WedsFxeCynAAEt4).
+This page contains guidance for current and future SPLASH General Chairs, compiled from the experiences of previous chairs.
The PR title suggests this change is focused on "How to Run SPLASH", but this PR also modifies awards data/pages, video recording policy wording, research highlights data, mentoring lists, and adds multiple announcement posts (plus a .claude config). Consider splitting into separate PRs by topic to keep review scope manageable and reduce the risk of unrelated regressions.
________________________________
In _announce/2026-02-22-flops_2026.txt<#356?email_source=notifications&email_token=AAV7JFS2ORPRWB6OB3QJGBL4WRNCPA5CNFSNUABKM5UWIORPF5TWS5BNNB2WEL2QOVWGYUTFOF2WK43UKJSXM2LFO4XTIMJTGU2DSMBZHA42M4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2K64DSL5ZGK5TJMV3V6Y3MNFRWW#discussion_r3106304716>:
+
+FLOPS 2026 is co-sponsored by Special Interest Group on Programming
+and Programming Languages (SIG-PPL), Japan Society for Software
+Science and Technology (JSSST).
+
+FLOPS brings together practitioners, researchers and implementers of
+declarative programming, to discuss mutually interesting results and
+common problems: theoretical advances, their implementations in
+language systems and tools, and applications of these systems in
+practice. FLOPS specifically aims to promote cross-fertilization
+between theory and practice and among different styles of declarative
+programming.
+
+### Venue
+
+FLOPS 2026 will take place at the University of Tskukuba. Tsukuba is
Spelling: "University of Tskukuba" should be "University of Tsukuba".
⬇️ Suggested change
-FLOPS 2026 will take place at the University of Tskukuba. Tsukuba is
+FLOPS 2026 will take place at the University of Tsukuba. Tsukuba is
________________________________
In _announce/2026-02-22-flops_2026.txt<#356?email_source=notifications&email_token=AAV7JFS2ORPRWB6OB3QJGBL4WRNCPA5CNFSNUABKM5UWIORPF5TWS5BNNB2WEL2QOVWGYUTFOF2WK43UKJSXM2LFO4XTIMJTGU2DSMBZHA42M4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2K64DSL5ZGK5TJMV3V6Y3MNFRWW#discussion_r3106304718>:
+
+You can register for FLOPS 2026 here:
+
+[`https://functional-logic.org/events/flops/2026/registration/`](https://functional-logic.org/events/flops/2026/registration/)<https://functional-logic.org/events/flops/2026/registration/%60](https://functional-logic.org/events/flops/2026/registration/)>
+
+Early-bird registration fee (until Apr 25) is 50000¥/20000¥ for
+students - roughly 275€, 325$, 240£ as of February 19.
+
+Registration includes an excursion and a banquet on May 27. Extra
+banquet tickets are available.
+
+### Program
+
+#### Keynote speakers:
+
+- Kazunori Ueda, Waseda Univerity
Spelling: "Waseda Univerity" should be "Waseda University".
⬇️ Suggested change
-- Kazunori Ueda, Waseda Univerity
+- Kazunori Ueda, Waseda University
________________________________
In _announce/2026-03-07-pldi_2026_sv.txt<#356?email_source=notifications&email_token=AAV7JFS2ORPRWB6OB3QJGBL4WRNCPA5CNFSNUABKM5UWIORPF5TWS5BNNB2WEL2QOVWGYUTFOF2WK43UKJSXM2LFO4XTIMJTGU2DSMBZHA42M4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2K64DSL5ZGK5TJMV3V6Y3MNFRWW#discussion_r3106304721>:
@@ -0,0 +1,41 @@
+---
+title: "[PLDI 2026] Call for Student Volunteers"
+timestamp: "3/7/2026 18:48:44"
+deadline: "4/13/2026"
+---
+**PLDI'26 Call for Student Volunteers**
+
+Sign up to be a Volunteer and help us make PLDI 2026 a great experience for all attendants!
Wording/grammar: "attendants" is typically used for staff; for a conference announcement this should likely be "attendees".
⬇️ Suggested change
-Sign up to be a Volunteer and help us make PLDI 2026 a great experience for all attendants!
+Sign up to be a Volunteer and help us make PLDI 2026 a great experience for all attendees!
________________________________
In _announce/2026-03-07-pldi_2026_sv.txt<#356?email_source=notifications&email_token=AAV7JFS2ORPRWB6OB3QJGBL4WRNCPA5CNFSNUABKM5UWIORPF5TWS5BNNB2WEL2QOVWGYUTFOF2WK43UKJSXM2LFO4XTIMJTGU2DSMBZHA42M4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2K64DSL5ZGK5TJMV3V6Y3MNFRWW#discussion_r3106304723>:
@@ -0,0 +1,41 @@
+---
+title: "[PLDI 2026] Call for Student Volunteers"
+timestamp: "3/7/2026 18:48:44"
+deadline: "4/13/2026"
+---
+**PLDI'26 Call for Student Volunteers**
+
+Sign up to be a Volunteer and help us make PLDI 2026 a great experience for all attendants!
+
+PLDI 2026 is pleased to offer a number of opportunities for volunteers, who are vital to the efficient operation and continued success of the conference each year. The volunteer program is a chance for students and Programming Languages researchers aspirants from around the world to participate in the conference whilst assisting us in preparing and running the event. In exchange for a fixed number of work hours (usually from 12 to 15) helping with the conference organization, you will be able to interact closely with researchers, mentors, faculty, and other students at PLDI 2026.
This sentence has awkward phrasing: "Programming Languages researchers aspirants" is ungrammatical. Consider rephrasing to something like "aspiring programming languages researchers" (or similar).
⬇️ Suggested change
…-PLDI 2026 is pleased to offer a number of opportunities for volunteers, who are vital to the efficient operation and continued success of the conference each year. The volunteer program is a chance for students and Programming Languages researchers aspirants from around the world to participate in the conference whilst assisting us in preparing and running the event. In exchange for a fixed number of work hours (usually from 12 to 15) helping with the conference organization, you will be able to interact closely with researchers, mentors, faculty, and other students at PLDI 2026.
+PLDI 2026 is pleased to offer a number of opportunities for volunteers, who are vital to the efficient operation and continued success of the conference each year. The volunteer program is a chance for students and aspiring programming languages researchers from around the world to participate in the conference whilst assisting us in preparing and running the event. In exchange for a fixed number of work hours (usually from 12 to 15) helping with the conference organization, you will be able to interact closely with researchers, mentors, faculty, and other students at PLDI 2026.
—
Reply to this email directly, view it on GitHub<#356?email_source=notifications&email_token=AAV7JFQZGIRNFUPLTYHVU734WRNCPA5CNFSNUABKM5UWIORPF5TWS5BNNB2WEL2QOVWGYUTFOF2WK43UKJSXM2LFO4XTIMJTGU2DSMBZHA42M4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2L24DSL5ZGK5TJMV3V63TPORUWM2LDMF2GS33OONPWG3DJMNVQ#pullrequestreview-4135490989>, or unsubscribe<https://github.com/notifications/unsubscribe-auth/AAV7JFXAETSNAJ7BXEPQXH34WRNCPAVCNFSM6AAAAACX6KGPMSVHI2DSMVQWIX3LMV43YUDVNRWFEZLROVSXG5CSMV3GSZLXHM2DCMZVGQ4TAOJYHE>.
You are receiving this because you authored the thread.
From: Adrian Sampson ***@***.***>
Date: Monday, 20 April 2026 at 2:19 am
To: SIGPLAN/SIGPLAN.github.io ***@***.***>
Cc: Alex Potanin ***@***.***>; Author ***@***.***>
Subject: Re: [SIGPLAN/SIGPLAN.github.io] How to Run SPLASH (PR #356)
[https://avatars.githubusercontent.com/u/188033?s=20&v=4]sampsyo left a comment (SIGPLAN/SIGPLAN.github.io#356)<#356?email_source=notifications&email_token=AAV7JFXXXFUAD7PTROKTQF34WT4BHA5CNFSNUABFM5UWIORPF5TWS5BNNB2WEL2JONZXKZKDN5WW2ZLOOQXTIMRXGYZTCNBXGUYKM4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2LK4DSL5RW63LNMVXHIX3POBSW4X3DNRUWG2Y#issuecomment-4276314750>
Hi! Adding a full-text copy of the SPLASH guidelines sounds good, but I admit I'm a little daunted by the unrelated changes in this PR… in particular:
* I think we probably don't want to fix typos in old announcements—they were written by someone else at the time, and they're already kinda "out in the world," you know?
* Is it actually time to make the video recording policy final (remove the draft label)? If so, maybe that deserves a separate PR?
* It looks like there are substantive (not just typos) changes to the GPCE and Onward sites… are we sure these are all correct?
Just want to make sure we don't break anything here!
—
Reply to this email directly, view it on GitHub<#356?email_source=notifications&email_token=AAV7JFXXXFUAD7PTROKTQF34WT4BHA5CNFSNUABFM5UWIORPF5TWS5BNNB2WEL2JONZXKZKDN5WW2ZLOOQXTIMRXGYZTCNBXGUYKM4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2LK4DSL5RW63LNMVXHIX3POBSW4X3DNRUWG2Y#issuecomment-4276314750>, or unsubscribe<https://github.com/notifications/unsubscribe-auth/AAV7JFRWJBF5RRNGGCJUZOT4WT4BHAVCNFSM6AAAAACX6KGPMSVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHM2DENZWGMYTINZVGA>.
You are receiving this because you authored the thread.
|
Contributor
Author
|
Found the darn thing!!!
[Screenshot 2026-04-20 at 10.44.02 am.png]
Submitting clean new PR now! 😊
From: Adrian Sampson ***@***.***>
Date: Monday, 20 April 2026 at 9:39 am
To: SIGPLAN/SIGPLAN.github.io ***@***.***>
Cc: Alex Potanin ***@***.***>; Author ***@***.***>
Subject: Re: [SIGPLAN/SIGPLAN.github.io] How to Run SPLASH (PR #356)
[https://avatars.githubusercontent.com/u/188033?s=20&v=4]sampsyo left a comment (SIGPLAN/SIGPLAN.github.io#356)<#356?email_source=notifications&email_token=AAV7JFSNYRW27ZPL2ULIBJL4WVPRVA5CNFSNUABFM5UWIORPF5TWS5BNNB2WEL2JONZXKZKDN5WW2ZLOOQXTIMRXG4YDQNJQGE22M4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2LK4DSL5RW63LNMVXHIX3POBSW4X3DNRUWG2Y#issuecomment-4277085015>
Hmm… I haven't done anything to turn on Copilot, and I don't think it's on the SIGPLAN org end (it doesn't seem to happen for others' PRs to this repo). Any chance this is a setting you have enabled in your GitHub account? Maybe here? https://github.com/settings/copilot/features
—
Reply to this email directly, view it on GitHub<#356?email_source=notifications&email_token=AAV7JFSNYRW27ZPL2ULIBJL4WVPRVA5CNFSNUABFM5UWIORPF5TWS5BNNB2WEL2JONZXKZKDN5WW2ZLOOQXTIMRXG4YDQNJQGE22M4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2LK4DSL5RW63LNMVXHIX3POBSW4X3DNRUWG2Y#issuecomment-4277085015>, or unsubscribe<https://github.com/notifications/unsubscribe-auth/AAV7JFQIE6TOS7QKUYV4CPL4WVPRVAVCNFSM6AAAAACX6KGPMSVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHM2DENZXGA4DKMBRGU>.
You are receiving this because you authored the thread.
|
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.