Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore the intricacies of multi-language program semantics in this 40-minute conference talk from Strange Loop. Delve into the world of language interoperability, examining platforms like .NET, JVM, and COM, as well as languages designed with cross-language support in mind. Learn about the multi-language semantics framework introduced by Matthews and Findler in 2007, which provides a methodology for integrating two languages and defining operational semantics for their boundaries. Discover how this framework supports reasoning about mixed-language program behavior and its impact on compiler correctness, secure compilation, and safe FFI design over the past 15 years. Gain insights from Professor Amal Ahmed of Northeastern University, an expert in type systems, semantics, and language interoperability, as she discusses her work on scaling logical relations proof methods and developing RichWasm, a typed WebAssembly for safe inter-language linking.
