POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
Wed 22 Jan 2025 18:00 - 20:00 at Four Square Corridor - SRC Poster Session

The increasing diversity of CPU architectures in cloud and edge computing has driven the need for systems capable of supporting various CPUs. WebAssembly is a stack-based binary code format that runs on a variety of platforms and can be used in conjunction with live migration technology to migrate services running across different CPU architectures. The Ahead-of-Time (AOT) compilation technique in WebAssembly runtimes accelerates execution by precompiling code. However, this method complicates the preservation and restoration of platform-independent runtime states because WebAssembly value stacks are not preserved during compilation. This research introduces a method to incorporate migration functionality into WebAssembly AOT compilers. By instrumenting instructions during compilation, the proposed approach enables runtime state to be saved and restored using a platform-neutral snapshot format. To demonstrate this, we developed and evaluated Wanco, a WebAssembly compiler that supports live migration. Results from the evaluation show that this method reduces snapshot file sizes, checkpointing and restoring time, and achieves smoother program migrations compared to CRIU, a de facto standard Linux process live migration tool.

Wed 22 Jan

Displayed time zone: Mountain Time (US & Canada) change

18:00 - 20:00
18:00
2h
Poster
Efficient Strong Simulation of High-level Quantum Gates
Student Research Competition
18:00
2h
Poster
Value semantics in reference-based languages
Student Research Competition
Hamza Remmal EPFL, LAMP
18:00
2h
Poster
Intermittent Concurrency
Student Research Competition
Myra Dotzel Carnegie Mellon University, Milijana Surbatovich University of Maryland, Limin Jia Carnegie Mellon University
18:00
2h
Poster
APIdemic: Verifying Idempotency of REST API Clients
Student Research Competition
Bhavik Kamlesh Goplani University of Kansas
18:00
2h
Poster
Formalizing Erlang’s Success Typings
Student Research Competition
Elan Semenova University of Maryland, College Park, Leonidas Lampropoulos University of Maryland, College Park
18:00
2h
Poster
A Complete Translation from Planning Problems to linear logic
Student Research Competition
Luis Hernan Garcia Paucar Aston University, Chris Martens Northeastern University
18:00
2h
Poster
Wanco: WebAssembly AOT Compiler that supports Live Migration
Student Research Competition
Raiki Tamura Kyoto University, Daisuke Kotani Kyoto University, Yasuo Okabe Kyoto University
18:00
2h
Poster
Increasing the Expressiveness of a Gradual Verifier
Student Research Competition
Priyam Gupta Purdue University
18:00
2h
Poster
M3: A Multi-Stage ML with Mutation
Student Research Competition
Maite Kramarz University of Toronto
18:00
2h
Poster
Loop Invariants Using Neural Networks
Student Research Competition
Atticus Kuhn University of Cambridge, Abhinandan Pal University of Birmingham, Mirco Giacobbe University of Birmingham
18:00
2h
Poster
Property Testing Trace Languages
Student Research Competition
Jed Koh Jin Keat National University of Singapore
18:00
2h
Poster
Optimizing Asynchronous Rust with Hydroflow
Student Research Competition
Ryan Alameddine University of California, Berkeley
18:00
2h
Poster
Relational Hoare Logic for Sequential Program Verification
Student Research Competition
Shushu Wu Shanghai Jiao Tong University
18:00
2h
Poster
Expanding the Scope of Grammar-Based Enumerative Testing
Student Research Competition
Thea Kjeldsmark University of California, Irvine
18:00
2h
Poster
System $F^\omega$ with Coherent Implicit Resolution
Student Research Competition
18:00
2h
Poster
The Store-Order Consistency Testing Problem for C-like Memory Models
Student Research Competition
Grace Tan National University of Singapore
18:00
2h
Poster
Formalizing Representation Transformations: A Case Study of Bit Vector Types
Student Research Competition
Katherine Philip Portland State University