default search action
Search dblp for Publications
export results for "Jacob Laurel"
@article{DBLP:journals/pacmpl/LaurelQSM23, author = {Jacob Laurel and Siyuan Brant Qian and Gagandeep Singh and Sasa Misailovic}, title = {Synthesizing Precise Static Analyzers for Automatic Differentiation}, journal = {Proc. {ACM} Program. Lang.}, volume = {7}, number = {{OOPSLA2}}, pages = {1964--1992}, year = {2023}, url = {https://doi.org/10.1145/3622867}, doi = {10.1145/3622867}, timestamp = {Sun, 10 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/LaurelQSM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/FernandoJLM23, author = {Vimuth Fernando and Keyur Joshi and Jacob Laurel and Sasa Misailovic}, title = {Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {25}, number = {4}, pages = {521--539}, year = {2023}, url = {https://doi.org/10.1007/s10009-023-00717-y}, doi = {10.1007/S10009-023-00717-Y}, timestamp = {Tue, 21 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sttt/FernandoJLM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/MisraLM23, author = {Ashitabh Misra and Jacob Laurel and Sasa Misailovic}, title = {ViX: Analysis-driven Compiler for Efficient Low-Precision Variational Inference}, booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2023, Antwerp, Belgium, April 17-19, 2023}, pages = {1--6}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.23919/DATE56975.2023.10137324}, doi = {10.23919/DATE56975.2023.10137324}, timestamp = {Wed, 07 Jun 2023 22:08:03 +0200}, biburl = {https://dblp.org/rec/conf/date/MisraLM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclr/YangLM023, author = {Rem Yang and Jacob Laurel and Sasa Misailovic and Gagandeep Singh}, title = {Provable Defense Against Geometric Transformations}, booktitle = {The Eleventh International Conference on Learning Representations, {ICLR} 2023, Kigali, Rwanda, May 1-5, 2023}, publisher = {OpenReview.net}, year = {2023}, url = {https://openreview.net/forum?id=ThXqBsRI-cY}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclr/YangLM023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/neuroimage/MorrisMACVDHJBM22, author = {Laurel S. Morris and Marishka Mehta and Christopher Ahn and Morgan Corniquel and Gaurav Verma and Bradley Delman and Patrick R. Hof and Yael Jacob and Priti Balchandani and James W. Murrough}, title = {Ventral tegmental area integrity measured with high-resolution 7-Tesla {MRI} relates to motivation across depression and anxiety diagnoses}, journal = {NeuroImage}, volume = {264}, pages = {119704}, year = {2022}, url = {https://doi.org/10.1016/j.neuroimage.2022.119704}, doi = {10.1016/J.NEUROIMAGE.2022.119704}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/neuroimage/MorrisMACVDHJBM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/LaurelYSM22, author = {Jacob Laurel and Rem Yang and Gagandeep Singh and Sasa Misailovic}, title = {A dual number abstraction for static analysis of Clarke Jacobians}, journal = {Proc. {ACM} Program. Lang.}, volume = {6}, number = {{POPL}}, pages = {1--30}, year = {2022}, url = {https://doi.org/10.1145/3498718}, doi = {10.1145/3498718}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/LaurelYSM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/LaurelYUNSM22, author = {Jacob Laurel and Rem Yang and Shubham Ugare and Robert Nagel and Gagandeep Singh and Sasa Misailovic}, title = {A general construction for abstract interpretation of higher-order automatic differentiation}, journal = {Proc. {ACM} Program. Lang.}, volume = {6}, number = {{OOPSLA2}}, pages = {1007--1035}, year = {2022}, url = {https://doi.org/10.1145/3563324}, doi = {10.1145/3563324}, timestamp = {Mon, 05 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/LaurelYUNSM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/chi/BrowneG22, author = {Jacob T. Browne and Laurel Green}, editor = {Simone D. J. Barbosa and Cliff Lampe and Caroline Appert and David A. Shamma}, title = {The Future of Work is No Work: {A} Call to Action for Designers in the Abolition of Work}, booktitle = {{CHI} '22: {CHI} Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022 - 5 May 2022, Extended Abstracts}, pages = {5:1--5:8}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3491101.3516385}, doi = {10.1145/3491101.3516385}, timestamp = {Sun, 26 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/chi/BrowneG22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2207-11177, author = {Rem Yang and Jacob Laurel and Sasa Misailovic and Gagandeep Singh}, title = {Training Certifiably Robust Neural Networks Against Semantic Perturbations}, journal = {CoRR}, volume = {abs/2207.11177}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2207.11177}, doi = {10.48550/ARXIV.2207.11177}, eprinttype = {arXiv}, eprint = {2207.11177}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2207-11177.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/LaurelYSUM21, author = {Jacob Laurel and Rem Yang and Atharva Sehgal and Shubham Ugare and Sasa Misailovic}, title = {Statheros: Compiler for Efficient Low-Precision Probabilistic Programming}, booktitle = {58th {ACM/IEEE} Design Automation Conference, {DAC} 2021, San Francisco, CA, USA, December 5-9, 2021}, pages = {787--792}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/DAC18074.2021.9586276}, doi = {10.1109/DAC18074.2021.9586276}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dac/LaurelYSUM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/FernandoJLM21, author = {Vimuth Fernando and Keyur Joshi and Jacob Laurel and Sasa Misailovic}, editor = {Lu Feng and Dana Fisman}, title = {Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs}, booktitle = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual Event, October 11-14, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12974}, pages = {184--206}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88494-9\_10}, doi = {10.1007/978-3-030-88494-9\_10}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/FernandoJLM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/LaurelM20, author = {Jacob Laurel and Sasa Misailovic}, editor = {Peter M{\"{u}}ller}, title = {Continualization of Probabilistic Programs With Correction}, booktitle = {Programming Languages and Systems - 29th European Symposium on Programming, {ESOP} 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12075}, pages = {366--393}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-44914-8\_14}, doi = {10.1007/978-3-030-44914-8\_14}, timestamp = {Fri, 14 May 2021 08:34:21 +0200}, biburl = {https://dblp.org/rec/conf/esop/LaurelM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1902-11162, author = {Peter Wittenburg and Hana Pergl Sustkova and Annalisa Montesanti and Margreet Bloemers and S. H. de Waard and Mark A. Musen and John Graybeal and Kristina M. Hettne and Annika Jacobsen and Robert Pergl and Rob W. W. Hooft and Christine Staiger and Celia W. G. van Gelder and Sebastiaan L. Knijnenburg and A. C. van Arkel and Bert Meerman and Mark D. Wilkinson and Susanna{-}Assunta Sansone and Philippe Rocca{-}Serra and Peter McQuilton and Alejandra N. Gonz{\'{a}}lez{-}Beltr{\'{a}}n and G. J. C. Aben and Patr{\'{\i}}cia Henning and Maria Simone de Menezes Alencar and C. Ribeiro and C. R. L. Silva and Lu{\'{\i}}s Fernando Say{\~{a}}o and Luana Sales and Viviane Veiga and Jefferson Lima and Simone Dib and Paula Xavier dos Santos and R. Murtinho and Jakob Tendel and B. F. Schaap and P. M. Brouwer and A. K. Gavai and Yamine Bouzembrak and Hans J. P. Marvin and Albert Mons and Tobias Kuhn and A. A. Gambardella and Ricardo de Miranda Azevedo and Vesa Muhonen and Mira van der Naald and N. W. Smit and M. J. Buys and Taco F. de Bruin and Fieke Schoots and H. J. E. Goodson and Henry S. Rzepa and Keith G. Jeffery and Hugh P. Shanahan and M. Axton and Veniamin Tkachenko and Anne Deslattes Mays and Natalie Meyers and Michael Conlon and Laurel L. Haak and Erik A. Schultes}, title = {The {FAIR} Funder pilot programme to make it easy for funders to require and for grantees to produce {FAIR} Data}, journal = {CoRR}, volume = {abs/1902.11162}, year = {2019}, url = {http://arxiv.org/abs/1902.11162}, eprinttype = {arXiv}, eprint = {1902.11162}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1902-11162.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cvpr/SharghiLG17, author = {Aidean Sharghi and Jacob S. Laurel and Boqing Gong}, title = {Query-Focused Video Summarization: Dataset, Evaluation, and a Memory Network Based Approach}, booktitle = {2017 {IEEE} Conference on Computer Vision and Pattern Recognition, {CVPR} 2017, Honolulu, HI, USA, July 21-26, 2017}, pages = {2127--2136}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/CVPR.2017.229}, doi = {10.1109/CVPR.2017.229}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cvpr/SharghiLG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/SharghiLG17, author = {Aidean Sharghi and Jacob S. Laurel and Boqing Gong}, title = {Query-Focused Video Summarization: Dataset, Evaluation, and {A} Memory Network Based Approach}, journal = {CoRR}, volume = {abs/1707.04960}, year = {2017}, url = {http://arxiv.org/abs/1707.04960}, eprinttype = {arXiv}, eprint = {1707.04960}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/SharghiLG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.