Jacob Laurel

According to our database, Jacob Laurel authored at least 12 papers between 2017 and 2025.

Collaborative distances:

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

2025

Safety and Trust in Artificial Intelligence with Abstract Interpretation.

Gagandeep Singh, Jacob Laurel, Sasa Misailovic, Debangshu Banerjee, Avaljot Singh, Changming Xu, Shubham Ugare, Huan Zhang

Found. Trends Program. Lang., 2025

AURA: Precise Abstract Interpretation of Probabilistic Programs with Interval Data Uncertainty.

Zixin Huang, Jacob Laurel, Saikat Dutta, Sasa Misailovic

Proceedings of the Static Analysis - 32nd International Symposium, 2025

2023

Synthesizing Precise Static Analyzers for Automatic Differentiation.

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

Proc. ACM Program. Lang., October, 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

Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs.

Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic

Proceedings of the Runtime Verification - 21st International Conference, 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