Model Context Protocol, or MCP, is arguably the most powerful innovation in AI integration to date, but sadly, its purpose and potential are largely misunderstood.

Abstract: Priority inversion and priority inheritance protocols for bounding blocking time are well-understood topics in realtime systems research. The two most commonly used priority inheritance ...

In this paper, we present the tool LARVA, for the runtime verification of properties of Java programs, including real-time properties. Properties can be expressed in a number of notations, including ...

May 3, 2025 • Recorded in Chicago, with host Peter Sagal, judge and scorekeeper Bill Kurtis, Not My Job guest Natasha Rothwell, and panelists Hari Kondabolu, Peter Grosz, and Joyelle Nicole Johnson.