-
Notifications
You must be signed in to change notification settings - Fork 154
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Initial concrete agenda for June CG meeting (#1590)
- Loading branch information
Showing
1 changed file
with
54 additions
and
76 deletions.
There are no files selected for viewing
This file contains 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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -3,8 +3,8 @@ | |
| ## Table of Contents | ||
|
|
||
| * [Agenda for the June meeting](#agenda-for-the-June-meeting-of-webassemblys-community-group) | ||
| * [Research day](#research-day) | ||
|
|
||
| * [Research day](#research-day) | ||
| * [Registration](#registration) | ||
| * [Logistics](#logistics) | ||
|
|
||
|
|
@@ -15,9 +15,7 @@ | |
|
|
||
| - **Host**: Carnegie Mellon University, Pittsburgh, Pennsylvania, USA | ||
| - **Dates**: Wednesday-Thursday, June 5-6, 2024 | ||
| - **Times**: 9:00AM - 5:00PM | ||
| - **Agenda items**: | ||
| - TBD | ||
| - **Times**: 9:00AM - 5:00PM ET | ||
| - **Video Meeting**: | ||
| - Link sent to registered attendees. | ||
| - **Location**: | ||
|
|
@@ -29,7 +27,7 @@ | |
|
|
||
| ### Research Day | ||
|
|
||
| - Date & time: Tuesday, June 4th, 2024. 9:00AM - 5:30PM | ||
| - Date & time: Tuesday, June 4th, 2024. 9:00AM - 5:30PM | ||
| - Agenda: [Preliminary agenda here](https://www.cs.cmu.edu/~wasm/wasm-research-day-2024.html). | ||
|
|
||
| ### Registration | ||
|
|
@@ -39,10 +37,10 @@ | |
| ### Logistics | ||
|
|
||
| - Communication | ||
| - Event contact: [email protected], [email protected] | ||
| - CG chair contact: [email protected] | ||
| - Event contact: [email protected], [email protected] | ||
| - CG chair contact: [email protected] | ||
| - Discord: Feel free to use the [CG meeting channel](https://discord.com/channels/453584038356058112/1228021998647509013) for any issues during the meeting. | ||
|
|
||
| - Lodging | ||
| - See this [doc](https://docs.google.com/document/d/1Hjfl6QnqVQuXjFZ9vuP0vTMl0sQhBhupu_vfg2XbE5Q/edit) for hotel recommendations. | ||
|
|
||
|
|
@@ -52,73 +50,53 @@ | |
| - The East Campus garage is the next closest option and is slightly less expensive. | ||
| - The CIC building also has underground parking that is close. | ||
|
|
||
| ### Proposed agenda items (to be scheduled if time permits) | ||
| Use this space to add any agenda items that need to be scheduled, and scheduling constraints here, especially if you're not able to travel, but would like to contribute to one of the agenda items. If you are adding a scheduling constraint, add the agenda item you are interested in attending, and timeslots that would work. | ||
| Adding a constraint doesn't guarantee that we will be able to accommodate it, but we will attempt to make sure interested folks can attend and contribute. | ||
|
|
||
| #### Sorting out repos | ||
| Most proposals spend most of their time before the stage where formal spec text needs to be written. Especially combined with proposals that have dependency on other proposals, this leads to a poor experience for proposal champions. I would like to open a discussion for better ways of working. | ||
|
|
||
| - Two ideas: adopt a 'mono-repo' methodology (which would depend on tooling supporting if-defs and flags); and/or split the repo into multiple repos (one for proposal overviews, one for spec, one for the reference interpreter and possibly spec tests) [Francis McCabe, open discussion] | ||
|
|
||
| #### Exception Handling | ||
| Vote to phase 4 if appropriate, or otherwise a status update | ||
|
|
||
| #### Memory64 | ||
| Vote to phase 4 if appropriate, or otherwise a status update | ||
|
|
||
| #### Custom Annotations | ||
| Vote to phase 4 if appropriate, or otherwise a status update | ||
|
|
||
| #### Branch Hinting | ||
| Vote to phase 4 | ||
|
|
||
| #### JS String Builtins | ||
| Vote to phase 3 | ||
|
|
||
| #### Shared-Everything Threads | ||
| Status update and discussion | ||
| - schedule on 6th | ||
|
|
||
| #### Memory Control | ||
| Status update and discussion, vote to phase 2 | ||
|
|
||
| #### FP16 | ||
| Vote to phase 2 | ||
|
|
||
| #### Compilation Hints | ||
| Status update and discussion | ||
|
|
||
| #### Bag-o-Stacks Stack Switching | ||
| Design deep dive and discussion | ||
| - schedule on 6th (earlier for EU/US overlap hours) | ||
|
|
||
| #### Typed Continuations Stack Switching | ||
| Status update and next steps | ||
| - schedule on 6th (earlier for EU/US overlap hours) | ||
|
|
||
| #### SpecTec DSL | ||
| Vote on intent to use the DSL to author the official spec | ||
| - schedule on 6th (first morning slot may help Korea overlap) | ||
|
|
||
| #### WebAssembly.org Makeover | ||
| Discussion of goals for website refresh | ||
| - schedule on 5th (earlier for EU/US overlap hours) | ||
|
|
||
| #### WASI / Component Model update | ||
| Status update and next steps | ||
|
|
||
| #### Transactions (and Persistence) Extension | ||
| Describe this proposed extension | ||
| - goals/non-goals, features, approach | ||
| - status of design and sample implementations | ||
|
|
||
| #### Experience report: Compiling Scala.js to Wasm | ||
| Talk presenting our experience of [compiling Scala.js to Wasm](https://github.com/scala-js/scala-js/pull/4988), with a focus on interoperability with JavaScript, its challenges and things we cannot support yet. | ||
| - schedule on 5th afternoon or on 6th any time | ||
|
|
||
| #### Large WASM Binaries From Desktop Application Migrations | ||
| Discussion on how to mitigate large WASM binaries using code-coverage profile guided optimizations and possibly paging in code as it downloads. | ||
| ### Agenda Items | ||
|
|
||
| Session start times are not guaranteed. We may start sessions before their | ||
| scheduled times if previous sessions end early. | ||
|
|
||
| [Google calendar](https://calendar.google.com/calendar/u/0?cid=Y18xNmNmMWQyM2U3YzA1NzJiNGIyMWI3NWE0NDRiYjI1YjJlZGUxZTdhZGE5MzA4MDZjZGIwZTU4NzU5MWZiNjI2QGdyb3VwLmNhbGVuZGFyLmdvb2dsZS5jb20) | ||
|
|
||
| #### Wednesday, June 5 | ||
|
|
||
| - 9:00am: Welcome and Introduction (Ben Titzer and CG Chairs) | ||
| - 9:15am: WebAssembly.org makeover (Tom Steiner) | ||
| - 10:00am: Custom annotations (Andreas Rossberg) | ||
| - Vote to advance to phase 4 | ||
| - 10:30am: Break | ||
| - 10:45am: Branch hinting (Yuri Iozzelli) | ||
| - Vote to advance to phase 4 | ||
| - 11:15am: Compilation hints (Emanuel Ziegler) | ||
| - 11:45am: Exception handling (Ben Titzer and Heejin Ahn) | ||
| - Possible vote to advance to phase 4 | ||
| - 12:15pm: Lunch | ||
| - 1:15pm: Experience report: Compiling Scala.js to Wasm (Sébastien Doeraene) | ||
| - 2:00pm: JS string builtins (Ryan Hunt) | ||
| - Vote to advance to phase 3 | ||
| - 2:45pm: Break | ||
| - 3:00pm: Memory control (Deepti Gandluri) | ||
| - Vote to advance to phase 2 | ||
| - 4:00pm: FP16 (Ilya Rezvov) | ||
| - Vote to advance to phase 2 | ||
| - 4:45pm - 5:00pm: Slack time | ||
|
|
||
| #### Thursday, June 6 | ||
|
|
||
| - 9:00am: SpecTec DSL (Andreas Rossberg) | ||
| - Vote of intent to adopt SpecTec in spec infrastructure | ||
| - 9:45am: Typed Continuations (Frank Emrich) | ||
| - 10:30am: Break | ||
| - 10:45am: Bag-o-stacks (Thomas Lively) | ||
| - 11:30am: On the growing complexity of WebAssembly (Andreas Rossberg) | ||
| - 12:00pm: Lunch | ||
| - 1:00pm: Large Wasm binaries from desktop application migrations (David Sankel) | ||
| - 1:45pm: Shared-everything threads (Thomas Lively) | ||
| - 2:30pm: Break | ||
| - 2:45pm: Memory64 (Sam Clegg) | ||
| - Possible vote to advance to phase 4 | ||
| - 3:30pm: WASI / component model (Luke Wagner) | ||
| - 4:15pm: Proposal repo organization (Francis McCabe) | ||
| - 4:45pm - 5:00pm: Slack time | ||
|
|
||
| ## Meeting notes | ||
| To be added after the meeting | ||
|
|
||