Skip to content

Commit

Permalink
Update README
Browse files Browse the repository at this point in the history
  • Loading branch information
@rossberg
rossberg committed Apr 8, 2024
1 parent d09ef47 commit 4e5666d
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions papers/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,3 +13,11 @@
ACM-SIGPLAN Conference on Object-Oriented Programming, Systems, Language and Architectures (OOSPLA 2019)

*Describes and formalises the extension of WebAssembly with threads and a suitable memory model.*

* [Bringing the WebAssembly Standard up to Speed with SpecTec](pldi2024.pdf)

Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Rao Xiaojia, Conrad Watt, Andreas Rossberg

ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2024)

*Describes the design and implementation of Wasm SpecTec.*

0 comments on commit 4e5666d

Please sign in to comment.