Building a security testing service with F#
summary
Describes Project Springfield, a Microsoft business incubator that implemented a cloud security-testing service using F#. Covers why F# and functional programming were adopted inside Microsoft, how the team used F# to rapidly prototype an MVP for the cloud service, and the speaker’s experience leading an F# development team.
AI-written summary · about
chapters (10)
- 0:00Start
- 12:10Springfield Tech Stack
- 21:35Correctness: option type
- 24:22Correctness: typed-checked printf
- 28:41Reliability via agent-based programming
- 31:50JSON serialization
- 32:43Resumable monad
- 34:48F# Type Providers
- 39:13Asynchronous programming with F#
- 39:55Handling asynchronous exceptions with
related talks
57mDev-first security: From code to cloud, and back to code (PRT291)
01h 04mTransformation Blueprint for Developer-Centric Application Security
52mBuilding Community-Driven Security Analysis for Your .NET Software Supply Chain
50mWhy Software Security Starts with Testing
26mFlagship Projects: Security Knowledge Framework
57mShift Left Security with the Security Test Pyramid
52mIntroducing Microsoft’s New Open Source Fuzzing Platform
06mInterview with