Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Jacob Laurel"
download as .bib file
@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/pdf?id=ThXqBsRI-cY},
timestamp = {Fri, 30 Jun 2023 14:38:38 +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}
}
a service of 
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.
retrieved on 2024-07-14 15:48 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
