Query-Focused Video Summarization: Dataset, Evaluation, and a Memory Network Based Approach. - Aidean Sharghi; Jacob S. Laurel; Boqing Gong (CVPR, 2017)

Continualization of Probabilistic Programs With Correction. - Jacob Laurel; Sasa Misailovic (ESOP, 2020)

Statheros: Compiler for Efficient Low-Precision Probabilistic Programming. - Jacob Laurel; Rem Yang; Atharva Sehgal; Shubham Ugare; Sasa Misailovic (DAC, 2021)

Training Certifiably Robust Neural Networks Against Semantic Perturbations. - Rem Yang; Jacob Laurel; Sasa Misailovic; Gagandeep Singh 001 (CoRR, 2022)

A dual number abstraction for static analysis of Clarke Jacobians. - Jacob Laurel; Rem Yang; Gagandeep Singh 001; Sasa Misailovic (Proc. ACM Program. Lang., 2022)

A general construction for abstract interpretation of higher-order automatic differentiation. - Jacob Laurel; Rem Yang; Shubham Ugare; Robert Nagel; Gagandeep Singh 001; Sasa Misailovic (Proc. ACM Program. Lang., 2022)

ViX: Analysis-driven Compiler for Efficient Low-Precision Variational Inference. - Ashitabh Misra; Jacob Laurel; Sasa Misailovic (DATE, 2023)

Provable Defense Against Geometric Transformations. - Rem Yang; Jacob Laurel; Sasa Misailovic; Gagandeep Singh 001 (ICLR, 2023)

Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs. - Vimuth Fernando; Keyur Joshi 001; Jacob Laurel; Sasa Misailovic (Int. J. Softw. Tools Technol. Transf., 2023)

Synthesizing Precise Static Analyzers for Automatic Differentiation. - Jacob Laurel; Siyuan Brant Qian; Gagandeep Singh 001; Sasa Misailovic (Proc. ACM Program. Lang., 2023)

Safety and Trust in Artificial Intelligence with Abstract Interpretation. - Gagandeep Singh 001; Jacob Laurel; Sasa Misailovic; Debangshu Banerjee 001; Avaljot Singh; Changming Xu; Shubham Ugare; Huan Zhang (Found. Trends Program. Lang., 2025)