AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
Explore the innovative Hylo programming language for high-level systems programming in this 28-minute conference talk from ACM SIGPLAN. Delve into Hylo's unique approach to safety and efficiency, based on mutable value semantics. Discover how this discipline emphasizes value independence to support local reasoning, resulting in an expressive language with a simple type system that eliminates the need for lifetime annotations. Learn about Hylo's safety verification process, which utilizes an abstract interpreter to process Hylo IR, an intermediate representation modeling lifetime properties with ghost instructions. Understand how lifetime constraints are leveraged to predictably eliminate unnecessary memory allocations, making Hylo a promising alternative to approaches based on complex aliasing restrictions.
