( en | de | ru )

 

Disambiguation of "Laurel, Jacob"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesizing Precise Static Analyzers for Automatic Differentiation.

, , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 1964-1992 (October 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sam Laurel Stephen

Jacob Jacob

Jacob

Andreas Jacob

Zohar Jacob

 

Other publications of authors with the same name

A dual number abstraction for static analysis of Clarke Jacobians., , , and . Proc. ACM Program. Lang., 6 (POPL): 1-30 (2022)Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs., , , and . RV, volume 12974 of Lecture Notes in Computer Science, page 184-206. Springer, (2021)Continualization of Probabilistic Programs With Correction., and . ESOP, volume 12075 of Lecture Notes in Computer Science, page 366-393. Springer, (2020)Training Certifiably Robust Neural Networks Against Semantic Perturbations., , , and . CoRR, (2022)A general construction for abstract interpretation of higher-order automatic differentiation., , , , , and . Proc. ACM Program. Lang., 6 (OOPSLA2): 1007-1035 (2022)Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs., , , and . Int. J. Softw. Tools Technol. Transf., 25 (4): 521-539 (August 2023)Synthesizing Precise Static Analyzers for Automatic Differentiation., , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 1964-1992 (October 2023)Statheros: Compiler for Efficient Low-Precision Probabilistic Programming., , , , and . DAC, page 787-792. IEEE, (2021)Provable Defense Against Geometric Transformations., , , and . ICLR, OpenReview.net, (2023)ViX: Analysis-driven Compiler for Efficient Low-Precision Variational Inference., , and . DATE, page 1-6. IEEE, (2023)