Παρακολούθηση
Jacob Laurel
Jacob Laurel
University of Illinois Urbana-Champaign
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα illinois.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Query-focused video summarization: Dataset, evaluation, and a memory network based approach
A Sharghi, JS Laurel, B Gong
Proceedings of the IEEE conference on computer vision and pattern …, 2017
1562017
A dual number abstraction for static analysis of Clarke Jacobians
J Laurel, R Yang, G Singh, S Misailovic
Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022
212022
Provable defense against geometric transformations
R Yang, J Laurel, S Misailovic, G Singh
arXiv preprint arXiv:2207.11177, 2022
182022
Continualization of probabilistic programs with correction
J Laurel, S Misailovic
Programming Languages and Systems: 29th European Symposium on Programming …, 2020
152020
A general construction for abstract interpretation of higher-order automatic differentiation
J Laurel, R Yang, S Ugare, R Nagel, G Singh, S Misailovic
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1007-1035, 2022
122022
Statheros: Compiler for efficient low-precision probabilistic programming
J Laurel, R Yang, A Sehgal, S Ugare, S Misailovic
2021 58th ACM/IEEE Design Automation Conference (DAC), 787-792, 2021
122021
Synthesizing precise static analyzers for automatic differentiation
J Laurel, SB Qian, G Singh, S Misailovic
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1964-1992, 2023
62023
Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs
V Fernando, K Joshi, J Laurel, S Misailovic
International Journal on Software Tools for Technology Transfer 25 (4), 521-539, 2023
52023
Vix: analysis-driven compiler for efficient low-precision variational inference
A Misra, J Laurel, S Misailovic
2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2023
42023
Training certifiably robust neural networks against semantic perturbations
R Yang, J Laurel, S Misailovic, G Singh
arXiv preprint arXiv:2207.11177, 2022
22022
STATIC ANALYSIS OF DIFFERENTIABLE PROGRAMS
JS LAUREL
2024
Supplementary Material for Query-Focused Video Summarization: Dataset, Evaluation, and A Memory Network Based Approach
A Sharghi, JS Laurel, B Gong
Query-focused Video Summarization
J Laurel, A Sharghi, B Gong
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–13