Jacob Laurel
University of Illinois at Urbana‑Champaign
Address
Room 3107,201 N Goodwin Ave,
Urbana, IL 61801 USA
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. You can find my CV here.I am on the Academic Job Market this year! Research Statement and Teaching Statement.
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