Insights
Session Types for Hearty Codecs
Zack Pierce
In software systems where components talk to each other, data serialization is an essential challenge. A system's encoding format has to hit the right balance of requirements around performance, expressiveness, tooling quality, and ease of correct usage.
Whitepapers
The Challenge of Using C in Safety-Critical Applications
Shea Newton, Nathan Aschbacher
We examine the challenges of using C and its associated standards and tools when applied to safety-critical applications.
Safety Implications of Serialization Timing in Autonomous Vehicles
Zachary Pierce, Nathan Aschbacher
We examine the effect differences that time budget consumption of cross-component message serialization has on overall system safety.