Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Watch this keynote address from ICSE2025 where Dr. Neha Rungta, Director of Science at AWS, explores how AWS developed a domain-specific language (DSL) for configuration checking rules. Learn how restricting a language can paradoxically increase its power, enabling developers to prove rule correctness more efficiently. Discover AWS's innovative approach of generating potential specifications for human verification rather than requiring humans to create specifications for computer checking. Dr. Rungta explains how this methodology has revolutionized configuration rule checking at AWS, demonstrating that in specific contexts, specialization can outperform generalization. The talk draws from her extensive experience implementing automated reasoning techniques at scale, including work on Amazon S3 Block Public Access, IAM Access Analyzer, and the Cedar language. Prior to AWS, Dr. Rungta verified unmanned space systems and conflict detection algorithms for commercial aircraft at NASA Ames Research Center.
