Jacob Laurel

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 10

Top Topics

Distributed Constraint Satisfaction Problems

Multilayer Neural Network

Abstract Interpretation

Top Venues

Proc. ACM Program. Lang.

Int. J. Softw. Tools Technol. Transf.

Publications

Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh
Provable Defense Against Geometric Transformations. ICLR (2023)
Jacob Laurel, Siyuan Brant Qian, Gagandeep Singh, Sasa Misailovic
Synthesizing Precise Static Analyzers for Automatic Differentiation. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Ashitabh Misra, Jacob Laurel, Sasa Misailovic
ViX: Analysis-driven Compiler for Efficient Low-Precision Variational Inference. DATE (2023)
Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic
Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Jacob Laurel, Rem Yang, Shubham Ugare, Robert Nagel, Gagandeep Singh, Sasa Misailovic
A general construction for abstract interpretation of higher-order automatic differentiation. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Jacob Laurel, Rem Yang, Gagandeep Singh, Sasa Misailovic
A dual number abstraction for static analysis of Clarke Jacobians. Proc. ACM Program. Lang. 6 (POPL) (2022)
Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh
Training Certifiably Robust Neural Networks Against Semantic Perturbations. CoRR (2022)
Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic
Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs. RV (2021)
Jacob Laurel, Rem Yang, Atharva Sehgal, Shubham Ugare, Sasa Misailovic
Statheros: Compiler for Efficient Low-Precision Probabilistic Programming. DAC (2021)
Jacob Laurel, Sasa Misailovic
Continualization of Probabilistic Programs With Correction. ESOP (2020)