Jacob Laurel
Georgia Institute of Technology
Address
Klaus Advanced Computing Building,266 Ferst Dr NW,
Atlanta, GA 30332 USA
About Me
I'm an Assistant Professor in the School of Computer Science at Georgia Tech. My current research focuses on static analysis of programming languages that expose continuous computations, which includes both probabilistic and differentiable programming languages. I am actively recruiting multiple PhD students who plan to start in Fall 2025. If you are interested in Differentiable and Probabilistic programming, please get in touch, mention my name in your application statement and apply to Georgia Tech!Publications
2024
- Static Analysis of Differentiable Programs
Jacob Laurel
PhD Dissertation
Full Text
- Abstract Interpretation for Automatic Differentiation
Jacob Laurel, Siyuan Brant Qian, Gagandeep Singh, Sasa Misailovic
Workshop on Languages for Inference (LAFI 2024)
2023
- Synthesizing Precise Static Analyzers for Automatic Differentiation
Jacob Laurel, Siyuan Brant Qian, Gagandeep Singh, Sasa Misailovic
Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2023)
Full Text | Appendix
- Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs with Diamont
Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic
The International Journal on Software Tools for Technology Transfer (STTT 2023)
link
- Provable Defense Against Geometric Transformations
Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh
International Conference on Learning Representations (ICLR 2023). Designated notable (top 25%)
link
- ViX: Analysis-driven Compiler for Efficient Low-Precision Differentiable Inference
Ashitabh Misra, Jacob Laurel, Sasa Misailovic
Design, Automation and Test in Europe Conference (DATE 2023)
Full Text
2022
- A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation
Jacob Laurel, Rem Yang, Shubham Ugare, Robert Nagel, Gagandeep Singh, Sasa Misailovic
Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2022)
Full Text | Conference Talk | Code
- A Dual Number Abstraction for Static Analysis of Clarke Jacobians
Jacob Laurel, Rem Yang, Gagandeep Singh, Sasa Misailovic
Symposium on Principles of Programming Languages (POPL 2022)
Full Text | Appendix | Conference Talk | Code
2021
- Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs
Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic
21st International Conference on Runtime Verification (RV 2021)
Full Text | Appendix | Conference Talk
- Statheros: A Compiler for Efficient Low-Precision Probabilistic Programming
Jacob Laurel, Rem Yang, Atharva Seghal, Shubham Ugare, Sasa Misailovic
Design Automation Conference (DAC 2021)
Full Text | Slides
2020
- Continualization of Probabilistic Programs with Correction
Jacob Laurel, Sasa Misailovic
European Symposium on Programming (ESOP 2020)
Full Text | Appendix | Slides
2017
- Query-focused video summarization: Dataset, evaluation, and a memory network based approach
Aidean Sharghi, Jacob Laurel, Boqing Gong
IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2017)
Full Text | Supplemental Material
Teaching
- Special Topics in Probabilistic and Differentiable Programming
Georgia Tech, Spring 2024