Implementation and Synthesis of Math Library Functions
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
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
Intro to Computer ScienceUniversity of Virginia via Udacity Software Engineering for SaaS
University of California, Berkeley via Coursera CS50's Introduction to Computer Science
Harvard University via edX UNSW Computing 1 - The Art of Programming
OpenLearning Mobile Robotics
Open2Study