Forbes
@forbes·2.1M subscribers·11.3K videos
Compiler-Generated Code That's As Good As Expert Coders’
Posted
September 8, 2023
Views
5,616
Likes
139
Comments
3
Engagement
2.53%
September 8, 2023
5,616
139
3
2.53%
Every word spoken in this episode is indexed. Type any phrase to jump straight to the moment it was said.
Type any word or phrase that may have been spoken. Click a result to seek the player to that exact moment.
Try a name, a topic, or a quoted line
See what was published immediately before and after this episode.
6:30Now PlayingAdam Chlipala, a prominent figure in the realm of programming languages and formal methods, is dedicated to simplifying and enhancing the development of correct, secure, and high-performing systems. He leverages machine-checked mathematical proofs and an array of innovative concepts, spanning object-capability systems, proof-carrying code, transactions, type systems, and whole-program optimizing compilers to impact fields like computer architecture, cryptography, databases, and operating systems. His affiliation with MIT CSAIL underscores his unwavering commitment to advancing the frontiers of computer science.
Subscribe to FORBES
Fuel your success with Forbes. Gain unlimited access to premium journalism, including breaking news, groundbreaking in-depth reported stories, daily digests and more. Plus, members get a front-row seat at members-only events with leading thinkers and doers, access to premium video that can help you get ahead, an ad-light experience, early access to select products including NFT drops and more:
Stay Connected
Forbes newsletters
Forbes on Facebook
Forbes Video on Twitter
Forbes Video on Instagram
More From Forbes
Forbes covers the intersection of entrepreneurship, wealth, technology, business and lifestyle with a focus on people and success.
Sentinel Indexing in Progress
Metadata and chapters are available. Claim extraction for this episode is pending.
All video content is delivered via YouTube embedded players in accordance with the YouTube Terms of Service. Sentinel provides research tools that promote discovery and accountability across political media.
