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 | 143 | 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 | 17 | 2022 |
Continualization of probabilistic programs with correction J Laurel, S Misailovic Programming Languages and Systems: 29th European Symposium on Programming …, 2020 | 12 | 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 | 10 | 2022 |
Provable defense against geometric transformations R Yang, J Laurel, S Misailovic, G Singh arXiv preprint arXiv:2207.11177, 2022 | 7 | 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 | 6 | 2021 |
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 | 2 | 2023 |
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 | 2 | 2023 |
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 | 2 | 2023 |
Training certifiably robust neural networks against semantic perturbations R Yang, J Laurel, S Misailovic, G Singh arXiv preprint arXiv:2207.11177, 2022 | 2 | 2022 |
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 | | |