Publications

Publications by categories in reversed chronological order.

2023

  1. OOPSLA 2023
    Synthesizing Precise Static Analyzers for Automatic Differentiation
    Jacob LaurelSiyuan Brant QianGagandeep Singh, and Sasa Misailovic
    In 38th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications, Oct 2023, Cascais, Portugal.