Jacob Laurel

According to our database, Jacob Laurel authored at least 10 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Synthesizing Precise Static Analyzers for Automatic Differentiation.

Jacob Laurel, Siyuan Brant Qian, Gagandeep Singh, Sasa Misailovic

Proc. ACM Program. Lang., October, 2023

Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs.

Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic

Int. J. Softw. Tools Technol. Transf., August, 2023

Provable Defense Against Geometric Transformations.

Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh

Proceedings of the Eleventh International Conference on Learning Representations, 2023

ViX: Analysis-driven Compiler for Efficient Low-Precision Variational Inference.

Ashitabh Misra, Jacob Laurel, Sasa Misailovic

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

A general construction for abstract interpretation of higher-order automatic differentiation.

Jacob Laurel, Rem Yang, Shubham Ugare, Robert Nagel, Gagandeep Singh, Sasa Misailovic

Proc. ACM Program. Lang., 2022

A dual number abstraction for static analysis of Clarke Jacobians.

Jacob Laurel, Rem Yang, Gagandeep Singh, Sasa Misailovic

Proc. ACM Program. Lang., 2022

Training Certifiably Robust Neural Networks Against Semantic Perturbations.

Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh

CoRR, 2022

2021

Statheros: Compiler for Efficient Low-Precision Probabilistic Programming.

Jacob Laurel, Rem Yang, Atharva Sehgal, Shubham Ugare, Sasa Misailovic

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

Continualization of Probabilistic Programs With Correction.

Jacob Laurel, Sasa Misailovic

Proceedings of the Programming Languages and Systems, 2020

2017

Query-Focused Video Summarization: Dataset, Evaluation, and a Memory Network Based Approach.

Aidean Sharghi, Jacob S. Laurel, Boqing Gong

Proceedings of the 2017 IEEE Conference on Computer Vision and Pattern Recognition, 2017