Jacob Laurel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SAS | AURA: Precise Abstract Interpretation of Probabilistic Programs with Interval Data Uncertainty. | Zixin Huang, Jacob Laurel, Saikat Dutta, Sasa Misailovic |
| 2023 | DATE | ViX: Analysis-driven Compiler for Efficient Low-Precision Variational Inference. | Ashitabh Misra, Jacob Laurel, Sasa Misailovic |
| 2023 | ICLR | Provable Defense Against Geometric Transformations. | Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh |
| 2021 | DAC | Statheros: Compiler for Efficient Low-Precision Probabilistic Programming. | Jacob Laurel, Rem Yang, Atharva Sehgal, Shubham Ugare, Sasa Misailovic |
| 2021 | RV | Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs. | Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic |
| 2020 | ESOP | Continualization of Probabilistic Programs With Correction. | Jacob Laurel, Sasa Misailovic |