[Keynote] “Codename: Tunahead” aka Software Engineering Economics for Runtimes
The video game industry can teach us a lot about the economics of portable runtimes. Today they are essential to the industry, but in 1987 there were new, novel and the idea of squeezing one on onto an 8-bit home computer with 64kb of ram seemed crazy – but it was possible.
The appeal of WebAssembly for embedded systems shares some of the core software engineering economic principles that were visible in 1987. However, software never runs in isolation and open-source software has had a significant impact on modern software. By applying these core principles, updated with modern software requirements, we can see what WebAssembly needs for wider success. We can also envisage the impact of formal verification and huge value that SpecTec has on the future applications of WebAssembly within the embedded world.
Along the way, we’ll also discover what a “Tunahead” is.
https://conf.researchr.org/home/icfp-splash-2025/webassembly-ws-2025#Invited-Speakers
Thu 16 OctDisplayed time zone: Perth change
16:00 - 17:30 | Session 3WebAssembly Workshop at Orchid Small Chair(s): Conrad Watt Nanyang Technological University | ||
16:00 25mKeynote | [Keynote] “Codename: Tunahead” aka Software Engineering Economics for Runtimes WebAssembly Workshop | ||
16:25 20mTalk | BabelBridge: A Control-Flow Graph Debugger for Microcontrollers WebAssembly Workshop Carlos Rojas Castillo Vrije Universiteit Brussel, Matteo Marra Nokia Bell Labs, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel | ||
16:45 20mTalk | Updating WasmCert-Isabelle to WebAssembly 2.0 WebAssembly Workshop Antanas Kalkauskas Nanyang Technological University | ||
17:05 20mTalk | Efficient Concolic Execution of WebAssembly by Compilation and Snapshot Reuse WebAssembly Workshop | ||
17:25 5mDay closing | Closing WebAssembly Workshop Conrad Watt Nanyang Technological University | ||