Skip to content

Instantly share code, notes, and snippets.

@flaki

flaki/wasm-cg.md

Last active April 17, 2019 00:46
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save flaki/617058f96f20d32446dbbf34041f7b32 to your computer and use it in GitHub Desktop.
Save flaki/617058f96f20d32446dbbf34041f7b32 to your computer and use it in GitHub Desktop.
Download ZIP
WebAssembly CG TLDR
Raw
wasm-cg.md

TL;DR: WebAssembly CG Meeting, April 16, 2019

  • Agenda
  • Dan Gohman, Mozilla was voted to Chair the WASI subgroup with unanimous consent
  • Proposal for a second chair (Co-chair), Sam Clegg, Google volunteered but decision was postponed until the next meeting
  • A vote was proposed for adopting the WASI subgroup charter and was accepted without objections
  • A vote was proposed for landing the reference libc implementation for WASI, but eventually postponed. The implementation uses MUSL that is MIT licensed, with no precedence of MIT-licensed code in the codebase before. Vote was postponed until after consulting with legal for guidance on this, and the various other licenses in use/included currently.
  • Sergey Rubanov raised the issue for making the CG more inclusive, proposed several apps to complement the current communication channels (e.g. IRC).
  • Till Schneidereit, Mozilla offered to pitch an overview of Discord (already used by the Rust Project and rustwasm) on the next meeting.
  • Everett Hildenbrandt introduced the K language.

    In K, users can define formal syntax and semantics of programming languages as K definitions, and automatically obtain parsers, interpreters, compilers, and various verification tools for their languages. — kframework/kore

  • One may use K and the WebAssembly Semantics (among other things) for formal verification of WebAssembly code, including verifying ewasm smart contracts running on the Ethereum EVM virtual machine.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment