3:04 [SRC POPL'22] Michael Fitzgibbons -- CapableWasm: Bringing Better Interop Down to WebAssembly ACM SIGPLAN
3:00 [SRC POPL'22] Daniel Marshall -- Linearity, Uniqueness, Ownership: An Entente Cordiale ACM SIGPLAN
3:01 [SRC POPL'22] Tianyu Chen -- Generic Blame-Subtyping Theorem in Agda Using Abstract Binding Trees ACM SIGPLAN
2:59 [SRC POPL'22] Eleftherios Ioannidis -- Normalization-by-evaluation and Metaprogramming with PHOAS ACM SIGPLAN
3:05 [SRC POPL'22] Kris Satya -- A Succinct Logic Representation for Linear Conjunctive Languages ACM SIGPLAN
3:19 [SRC POPL'22] Noble Mushtak -- A Realizability Model for Interoperability Between Languages ... ACM SIGPLAN
3:01 [SRC POPL'22] Noam Zilberstein -- An Under-Approximate Probabilistic Separation Logic ACM SIGPLAN
