How Things Work #2: Executable Semantic Frameworks and K

In this episode of "How Things Work", we chat with Grigore Rosu about the 20+ year history of runtime verification and how his latest project, Pi Squared, is using Executable Semantic Frameworks (via K) to create a new type of blockchain execution environment that supports any programming language (including ones you write yourself). *** Speakers *** * Patrick O'Grady (Commonware): https://x.com/_patrickogrady * Grigore Rosu (Pi Squared): https://x.com/rosugrigore *** References *** * Runtime Verification: https://runtimeverification.com/ * Pi Squared: https://pi2.network/ * K Framework: https://github.com/runtimeverification/k * Pi Squared Multi-Language Demo: https://x.com/Pi_Squared_Pi2/status/1900191991612465338 * FastPay (High-Performance Byzantine Fault Tolerant Settlement): https://arxiv.org/abs/2003.11506 * Semantics-Based Execution and the LLVM Backend of the K Framework: https://pi2.network/papers/llvm-k-whitepaper