YoVDO

Implementation and Synthesis of Math Library Functions

Offered By: ACM SIGPLAN via YouTube

Tags

Programming Language Design Courses Software Engineering Courses Formal Methods Courses Numerical Analysis Courses Function Approximation Courses E-Graphs Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a groundbreaking approach to implementing and synthesizing math library functions in this 20-minute video presentation from POPL 2024. Discover MegaLibm, a domain-specific language designed to address the challenges of developing accurate and efficient implementations of functions like exp, sin, and log. Learn how MegaLibm's safe, modular, and tunable features enable developers to detect mathematical errors, build implementations incrementally, and separate high-level and low-level decision making. Gain insights into how this innovative tool allows for interactive development, compilation, testing, and tuning of implementations, as well as the integration of tools like Sollya and type-directed synthesis. Understand how MegaLibm can express state-of-the-art math library implementations with comparable speed and accuracy to original C code, while also enabling the synthesis of variations and from-scratch implementations with minimal guidance.

Syllabus

[POPL'24] Implementation and Synthesis of Math Library Functions


Taught by

ACM SIGPLAN

Related Courses

Building Your Own Programming Language
Frontend Masters
BeauĀ­tiful Racket
Independent
Rust: A Language for the Next 40 Years
ChariotSolutions via YouTube
Move Deliberately and Don't Break Anything: Lessons from Java Evolution
ChariotSolutions via YouTube
Flex - Lexical Analysis
Write your own Operating System via YouTube