About Me
I'm a final year PhD student in the
Department of Computer Science at the University of Illinois at Urbana‑Champaign. I'm
advised by
Sasa Misailovic and I also collaborate closely with
Gagandeep Singh. My current research focuses on static analysis of programming languages that expose continuous computations, which includes both probabilistic and differentiable programming languages.
I will be joining Georgia Tech School of Computer Science as a tenure-track faculty in 2025 and 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
- 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
I have TA'd the following courses:
- Intro to Algorithms & Models of Computation
CS 374; Sp 2018
- Discrete Structures
CS 173; Fa 2018
- Software Design Studio
CS 126; Sp 2019
- Programming Languages and Compilers
CS 421; Fa 2019
Internships
In Summer 2019 I interned at NASA Langley working with César Muñoz and Aaron Duttle studying floating point error of probabilistic programs.
Service
OOPSLA 2021 AEC, SAS 2022 AEC, ECCV 2022, WFVML 2023