WAW 2025 Contributors

Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

co-located with POPL 2025

Filter

Role Type

Contributing to

Number of Roles

Country

Results (27)

A Amal AhmedAhmed, Amal Northeastern University, USAUnited States Committee Member in Program Committee within the WAW-track
B Alexander BaiBai, Alexander MPI-SWSUnited States A Big-Step Compositional Continuation-Passing Semantics for WebAssembly
Andrew BrownBrown, Andrew Portland State University Meta-tracing Interpreters in WebAssembly
D Harsh DesaiDesai, Harsh Carnegie Mellon University An MLIR Dialect for WebAssembly
E Frank EmrichEmrich, Frank University of Edinburgh, UK Continuing Stack Switching in Wasmtime
F Chris FallinFallin, Chris F5United States Full-Stack Correctness in Wasm: Eliminating Bugs Inside and Outside the Sandbox
G Deepti GandluriGandluri, Deepti Google Beyond the Baseline: Experimental WebAssembly for High Performance
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom Committee Member in Program Committee within the WAW-track
H Daniel HillerströmHillerström, Daniel Category Labs and The University of EdinburghUnited Kingdom Continuing Stack Switching in Wasmtime
J Limin JiaJia, Limin Carnegie Mellon University An MLIR Dialect for WebAssembly
K Byeongjee KangKang, Byeongjee Carnegie Mellon UniversityUnited States An MLIR Dialect for WebAssembly
L Yalun LiangLiang, Yalun Shanghai Jiao Tong University Experience Report: Stack Switching in Wasm SpecTec
Sam LindleyLindley, Sam The University of EdinburghUnited Kingdom Experience Report: Stack Switching in Wasm SpecTec
Brandon LuciaLucia, Brandon Carnegie Mellon University, USA An MLIR Dialect for WebAssembly
M Lucy MenonMenon, Lucy Microsoft The WebAssembly Component Model
Eliot MossMoss, Eliot University of Massachusetts at AmherstUnited States A Transactions Extension for Web Assembly
R Shravan Ravi NarayanRavi Narayan, Shravan Adventures in Making Wasm Fast and More Secure
Andreas RossbergRossberg, Andreas IndependentGermany Experience Report: Stack Switching in Wasm SpecTec Committee Member in Program Committee within the WAW-track
S John ShorttShortt, John University of Ottawa A Coq Formalization of WebAssembly Execution Costs
Deian StefanStefan, Deian University of California at San DiegoUnited States Removing the runtime from the TCB and other adventures in making Wasm fast and more secure
T Ben L. TitzerTitzer, Ben L. Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the WAW-track
Andrew TolmachTolmach, Andrew Portland State University Meta-tracing Interpreters in WebAssembly
W Luke WagnerWagner, Luke Fastly The WebAssembly Component Model
Conrad WattWatt, Conrad Nanyang Technological UniversitySingapore Lighting talks and closing discussion Organizing Chair in Organizers within the WAW-track
Guannan WeiWei, Guannan Inria/ENS; Tufts UniversityFrance A Big-Step Compositional Continuation-Passing Semantics for WebAssembly
Z Jiatai ZhangZhang, Jiatai Tufts University A Big-Step Compositional Continuation-Passing Semantics for WebAssembly
Dinghong ZhongZhong, Dinghong Xi'an Jiaotong University A Big-Step Compositional Continuation-Passing Semantics for WebAssembly