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

Human Computer Interaction
Independent
Introduction à la logique informatique - Partie 2 : calcul des prédicats
Université Paris-Saclay via France Université Numerique
System Validation (4): Modelling Software, Protocols, and other behaviour
EIT Digital via Coursera
Formal Software Verification
University System of Maryland via edX
Principles of Secure Coding
University of California, Davis via Coursera