Skip to content

Commit

Permalink
Merge branch 'main' into paper-vote-4
Browse files Browse the repository at this point in the history
  • Loading branch information
@phanukaev
phanukaev authored Oct 18, 2024
2 parents df10206 + 0e47417 commit df61c48
Show file tree
Hide file tree
Showing 5 changed files with 30 additions and 19 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/set.yaml
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
name: Set suggestion
name: Set paper

# This is a mirror of the "choose" workflow, but without randomization.
# The next paper suggestion is set manually from a DOI.
Expand Down
2 changes: 1 addition & 1 deletion data/papers.json
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion data/sources.txt
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
data/crawled/popl.txt
https://pldi24.sigplan.org/track/pldi-2024-papers
https://icfp23.sigplan.org/track/icfp-2023-papers
https://2023.splashcon.org/track/splash-2023-oopsla
https://2024.splashcon.org/track/splash-2024-oopsla
https://icfp24.sigplan.org/track/icfp-2024-papers
30 changes: 15 additions & 15 deletions docs/index.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,21 +20,21 @@ Our tools for paper selection: [plgroup on Github](https://github.com/the-au-for

#### Semester schedule

| \# | Date | Description |
|:---:|:-------------|:----------------------------------------------------------------------|
| 0. | August 16 | Kick-off meeting |
| 1. | August 30 | Numerical Fuzz: A Type System for Rounding Error Analysis |
| 2. | September 6 | Simple Reference Immutability for System F <: |
| 3. | September 13 | Polymorphic Type Inference for Dynamic Languages |
| 4. | September 20 | A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized |
| 5. | September 27 | Fat Pointers for Temporal Memory Safety of C |
| 6. | October 4 | A Pretty Expressive Printer |
| 7. | October 11 | Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory |
| 8. | October 18 | Paper 8 discussion |
| 9. | October 25 | Paper 9 discussion |
| 10. | November 1 | Paper 10 discussion |
| 11. | November 8 | Paper 11 discussion |
| 12. | November 22 | Fall Finale and Awards Gala |
| \# | Date | Description |
|:---:|:-------------|:-----------------------------------------------------------------------------|
| 0. | August 16 | Kick-off meeting |
| 1. | August 30 | Numerical Fuzz: A Type System for Rounding Error Analysis |
| 2. | September 6 | Simple Reference Immutability for System F <: |
| 3. | September 13 | Polymorphic Type Inference for Dynamic Languages |
| 4. | September 20 | A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized |
| 5. | September 27 | ⚠️ _meeting canceled for Hurricane Helene_ |
| 6. | October 4 | ⚠️ _meeting canceled for storm recovery and campus closure_ |
| 7. | October 11 | _Fall pause_ |
| 8. | October 18 | Fat Pointers for Temporal Memory Safety of C |
| 9. | October 25 | A Pretty Expressive Printer |
| 10. | November 1 | Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory |
| 11. | November 8 | Paper 8 discussion |
| 12. | November 22 | Fall Finale and Awards Gala |

No meeting on August 23 and November 15.
The weeks of November 8--22 are reserved for preparing for the awards discussion.
13 changes: 12 additions & 1 deletion readme.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -57,13 +57,18 @@ Edit files in [`docs`](docs) written in markdown.
The website theme is from [here](https://github.com/the-au-forml-lab/the-au-forml-lab.github.io).
You can override desired parts and customize the site following [Jekyll docs](https://jekyllrb.com/docs/themes/#overriding-theme-defaults).

**How to get a suggestion for next paper?**
**How to get a suggestion for the next paper?**

The paper-selection actions run on automated schedule, but paper selection can be dispatched manually if needed.
Run the "random paper" action or "vote open" action, in [actions](https://github.com/the-au-forml-lab/plgroup/actions), depending on the [configured workflow](#paper-selection-workflow-configuration).
The option to dispatch an action is available based on repository permissions.
Running a paper-selection action will generate appropriate PRs with paper suggestions.

**How to set the next paper (bypassing randomness)?**

Manually run the ["set paper"](https://github.com/the-au-forml-lab/plgroup/actions/workflows/set.yaml) workflow with a DOI as a parameter.
The workflow will run all necessary updates and generates a PR of changes. Approve the PR to confirm the next paper.

**How to change the paper selection schedule**

The paper-selection actions run on automated schedule.
Expand Down Expand Up @@ -105,6 +110,12 @@ Light maintenance is needed between semesters/reading periods to boot and shutdo
1. Turn off paper selection workflows in _settings > secrets and variables > actions_:
Set `PAPER_CHOOSE_ON` and `PAPER_VOTE_ON` values to `0`.

### Unexpected Interruptions

Pause or restart the workflows as necessary, by toggling the paper section workflows in repository settings.
- To pause: set `PAPER_CHOOSE_ON` and `PAPER_VOTE_ON` values to `0`.
- To restart: set `PAPER_CHOOSE_ON` or `PAPER_VOTE_ON` value to `1`, based on configured paper-section workflow.

## Initial setup & guidance for forking

The repository code is generic in the sense that, by changing the conference [`sources.txt`](data/sources.txt), it can be made to suggest any kinds of papers that have DOIs indexed by [Crossref](https://github.com/the-au-forml-lab/plgroup/blob/main/src/config.js#L6).
Expand Down

0 comments on commit df61c48

Please sign in to comment.