Jacob Laurel

University of Illinois at Urbana‑Champaign

Google Scholar


Address

Room 3107,
201 N Goodwin Ave,
Urbana, IL 61801 USA

Email

jlaurel2@illinois.edu

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