Hacker Blog Posts

Jonathan Protzenko personal blog

Generating C code that people want to use

jonathan.protzenko.fr published 2019-01-047 min read

Project Everest is a large, collaborative research effort that aims to verify and deploy a new, secure HTTPS stack. All of our code is verified using the F* programming language. Using KreMLin, a dedicated compiler, the verified F* code is compiled to readable C, meaning existing systems projects can readily integrate…
Read on jonathan.protzenko.fr → Discuss on HN (51) Archived copy
Points
225
HN comments
51
Submissions
1
Cited by
0 commenters

Software EngineeringProgramming Languages2019

On Hacker News

SubmittedTitle on HNPointsComments
Mar 4, 2019Generating C code that people want to use by bibyte22551

More from Jonathan Protzenko

All 3 posts →

Related posts from the same era