1 citations · 2 across the 3 of their papers we have counts for
3 papers
RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
Zoe Paraskevopoulou, Michael Fitzgibbons, Michelle Thalakottur +3
Safe, shared-memory interoperability between languages with different type systems and memory-safety guarantees is an intricate problem as crossing language boundaries may result i…
Fast Number Parsing Without Fallback
Noble Mushtak, Daniel Lemire
In recent work, Lemire (2021) presented a fast algorithm to convert number strings into binary floating-point numbers. The algorithm has been adopted by several important systems:…
Semantic Soundness for Language Interoperability
Daniel Patterson, Noble Mushtak, Andrew Wagner +1
Programs are rarely implemented in a single language, and thus questions of type soundness should address not only the semantics of a single language, but how it interacts with oth…