Search dblp for Publications

• > Home > Search

@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}
}

@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}
}

@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    = {{DATE}},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2023}
}

@inproceedings{DBLP:conf/iclr/YangLM023,
  author       = {Rem Yang and
                  Jacob Laurel and
                  Sasa Misailovic and
                  Gagandeep Singh},
  title        = {Provable Defense Against Geometric Transformations},
  booktitle    = {{ICLR}},
  publisher    = {OpenReview.net},
  year         = {2023}
}

@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}
}

@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}
}

@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}
}

@inproceedings{DBLP:conf/chi/BrowneG22,
  author       = {Jacob T. Browne and
                  Laurel Green},
  title        = {The Future of Work is No Work: {A} Call to Action for Designers in
                  the Abolition of Work},
  booktitle    = {{CHI} Extended Abstracts},
  pages        = {5:1--5:8},
  publisher    = {{ACM}},
  year         = {2022}
}

@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}
}

@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    = {{DAC}},
  pages        = {787--792},
  publisher    = {{IEEE}},
  year         = {2021}
}

@inproceedings{DBLP:conf/rv/FernandoJLM21,
  author       = {Vimuth Fernando and
                  Keyur Joshi and
                  Jacob Laurel and
                  Sasa Misailovic},
  title        = {Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous
                  Programs},
  booktitle    = {{RV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12974},
  pages        = {184--206},
  publisher    = {Springer},
  year         = {2021}
}

@inproceedings{DBLP:conf/esop/LaurelM20,
  author       = {Jacob Laurel and
                  Sasa Misailovic},
  title        = {Continualization of Probabilistic Programs With Correction},
  booktitle    = {{ESOP}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12075},
  pages        = {366--393},
  publisher    = {Springer},
  year         = {2020}
}

@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}
}

@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    = {{CVPR}},
  pages        = {2127--2136},
  publisher    = {{IEEE} Computer Society},
  year         = {2017}
}

@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}
}