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 | 125 | 2017 |
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 | 10 | 2022 |
Continualization of probabilistic programs with correction J Laurel, S Misailovic Programming Languages and Systems: 29th European Symposium on Programming …, 2020 | 8 | 2020 |
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 | 5 | 2022 |
Provable Defense Against Geometric Transformations R Yang, J Laurel, S Misailovic, G Singh arXiv preprint arXiv:2207.11177, 2022 | 5 | 2022 |
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 | 5 | 2021 |
Training Certifiably Robust Neural Networks Against Semantic Perturbations R Yang, J Laurel, S Misailovic, G Singh arXiv e-prints, arXiv: 2207.11177, 2022 | 2 | 2022 |
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 | | 2023 |
Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs V Fernando, K Joshi, J Laurel, S Misailovic Runtime Verification: 21st International Conference, RV 2021, Virtual Event …, 2021 | | 2021 |
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 | | |