Yash Lad

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Implementation Details

Bayesian Networks

General Purpose

Top Venues

Proc. ACM Program. Lang.

Publications

Ian Briggs, Yash Lad, Pavel Panchekha
Implementation and Synthesis of Math Library Functions. Proc. ACM Program. Lang. 8 (POPL) (2024)
Ian Briggs, Yash Lad, Pavel Panchekha
Implementation and Synthesis of Math Library Functions. CoRR (2023)