%0 Journal Article %1 journals/pacmpl/LaurelQSM23 %A Laurel, Jacob %A Qian, Siyuan Brant %A Singh, Gagandeep %A Misailovic, Sasa %D 2023 %J Proc. ACM Program. Lang. %K dblp %N OOPSLA2 %P 1964-1992 %T Synthesizing Precise Static Analyzers for Automatic Differentiation. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#LaurelQSM23 %V 7

@article{journals/pacmpl/LaurelQSM23, added-at = {2023-12-10T00:00:00.000+0100}, author = {Laurel, Jacob and Qian, Siyuan Brant and Singh, Gagandeep and Misailovic, Sasa}, biburl = {https://www.bibsonomy.org/bibtex/2bad8d43b8373c84a329839b8cf97c3c3/dblp}, ee = {https://doi.org/10.1145/3622867}, interhash = {46cf29192f8d1862745c87e1be77e409}, intrahash = {bad8d43b8373c84a329839b8cf97c3c3}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {October}, number = {OOPSLA2}, pages = {1964-1992}, timestamp = {2024-04-08T09:54:45.000+0200}, title = {Synthesizing Precise Static Analyzers for Automatic Differentiation.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#LaurelQSM23}, volume = 7, year = 2023 }