default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jared Davis
@article{DBLP:journals/corr/abs-2403-02419,
author = {Lingjiao Chen and
Jared Quincy Davis and
Boris Hanin and
Peter Bailis and
Ion Stoica and
Matei Zaharia and
James Zou},
title = {Are More {LLM} Calls All You Need? Towards Scaling Laws of Compound
Inference Systems},
journal = {CoRR},
volume = {abs/2403.02419},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.02419},
doi = {10.48550/ARXIV.2403.02419},
eprinttype = {arXiv},
eprint = {2403.02419},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-02419.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-16831,
author = {Jared Quincy Davis and
Boris Hanin and
Lingjiao Chen and
Peter Bailis and
Ion Stoica and
Matei Zaharia},
title = {Networks of Networks: Complexity Class Principles Applied to Compound
{AI} Systems Design},
journal = {CoRR},
volume = {abs/2407.16831},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.16831},
doi = {10.48550/ARXIV.2407.16831},
eprinttype = {arXiv},
eprint = {2407.16831},
timestamp = {Mon, 19 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-16831.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/YuanHDZDCLR022,
author = {Binhang Yuan and
Yongjun He and
Jared Davis and
Tianyi Zhang and
Tri Dao and
Beidi Chen and
Percy Liang and
Christopher R{\'{e}} and
Ce Zhang},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {Decentralized Training of Foundation Models in Heterogeneous Environments},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference
on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
LA, USA, November 28 - December 9, 2022},
year = {2022},
url = {http://papers.nips.cc/paper\_files/paper/2022/hash/a37d615b61f999a5fa276adb14643476-Abstract-Conference.html},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/YuanHDZDCLR022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-01288,
author = {Binhang Yuan and
Yongjun He and
Jared Quincy Davis and
Tianyi Zhang and
Tri Dao and
Beidi Chen and
Percy Liang and
Christopher R{\'{e}} and
Ce Zhang},
title = {Decentralized Training of Foundation Models in Heterogeneous Environments},
journal = {CoRR},
volume = {abs/2206.01288},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.01288},
doi = {10.48550/ARXIV.2206.01288},
eprinttype = {arXiv},
eprint = {2206.01288},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-01288.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-13131,
author = {Yuri Chervonyi and
Praneet Dutta and
Piotr Trochim and
Octavian Voicu and
Cosmin Paduraru and
Crystal Qian and
Emre Karagozler and
Jared Quincy Davis and
Richard Chippendale and
Gautam Bajaj and
Sims Witherspoon and
Jerry Luo},
title = {Semi-analytical Industrial Cooling System Model for Reinforcement
Learning},
journal = {CoRR},
volume = {abs/2207.13131},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.13131},
doi = {10.48550/ARXIV.2207.13131},
eprinttype = {arXiv},
eprint = {2207.13131},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-13131.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-07357,
author = {Jerry Luo and
Cosmin Paduraru and
Octavian Voicu and
Yuri Chervonyi and
Scott Munns and
Jerry Li and
Crystal Qian and
Praneet Dutta and
Jared Quincy Davis and
Ningjia Wu and
Xingwei Yang and
Chu{-}Ming Chang and
Ted Li and
Rob Rose and
Mingyan Fan and
Hootan Nakhost and
Tinglin Liu and
Brian Kirkman and
Frank Altamura and
Lee Cline and
Patrick Tonker and
Joel Gouker and
Dave Uden and
Warren Buddy Bryan and
Jason Law and
Deeni Fatiha and
Neil Satra and
Juliet Rothenberg and
Molly Carlin and
Satish Tallapaka and
Sims Witherspoon and
David Parish and
Peter Dolan and
Chenyu Zhao and
Daniel J. Mankowitz},
title = {Controlling Commercial Cooling Systems Using Reinforcement Learning},
journal = {CoRR},
volume = {abs/2211.07357},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.07357},
doi = {10.48550/ARXIV.2211.07357},
eprinttype = {arXiv},
eprint = {2211.07357},
timestamp = {Wed, 16 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-07357.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aistats/LikhosherstovDC21,
author = {Valerii Likhosherstov and
Jared Davis and
Krzysztof Choromanski and
Adrian Weller},
editor = {Arindam Banerjee and
Kenji Fukumizu},
title = {{CWY} Parametrization: a Solution for Parallelized Optimization of
Orthogonal and Stiefel Matrices},
booktitle = {The 24th International Conference on Artificial Intelligence and Statistics,
{AISTATS} 2021, April 13-15, 2021, Virtual Event},
series = {Proceedings of Machine Learning Research},
volume = {130},
pages = {55--63},
publisher = {{PMLR}},
year = {2021},
url = {http://proceedings.mlr.press/v130/likhosherstov21a.html},
timestamp = {Wed, 14 Apr 2021 16:51:37 +0200},
biburl = {https://dblp.org/rec/conf/aistats/LikhosherstovDC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/ChoromanskiLDSG21,
author = {Krzysztof Marcin Choromanski and
Valerii Likhosherstov and
David Dohan and
Xingyou Song and
Andreea Gane and
Tam{\'{a}}s Sarl{\'{o}}s and
Peter Hawkins and
Jared Quincy Davis and
Afroz Mohiuddin and
Lukasz Kaiser and
David Benjamin Belanger and
Lucy J. Colwell and
Adrian Weller},
title = {Rethinking Attention with Performers},
booktitle = {9th International Conference on Learning Representations, {ICLR} 2021,
Virtual Event, Austria, May 3-7, 2021},
publisher = {OpenReview.net},
year = {2021},
url = {https://openreview.net/forum?id=Ua6zuk0WRH},
timestamp = {Wed, 23 Jun 2021 17:36:39 +0200},
biburl = {https://dblp.org/rec/conf/iclr/ChoromanskiLDSG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/DavisGCDRFL21,
author = {Jared Quincy Davis and
Albert Gu and
Krzysztof Choromanski and
Tri Dao and
Christopher R{\'{e}} and
Chelsea Finn and
Percy Liang},
editor = {Marina Meila and
Tong Zhang},
title = {Catformer: Designing Stable Transformers via Sensitivity Analysis},
booktitle = {Proceedings of the 38th International Conference on Machine Learning,
{ICML} 2021, 18-24 July 2021, Virtual Event},
series = {Proceedings of Machine Learning Research},
volume = {139},
pages = {2489--2499},
publisher = {{PMLR}},
year = {2021},
url = {http://proceedings.mlr.press/v139/davis21a.html},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/DavisGCDRFL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/LikhosherstovSC21,
author = {Valerii Likhosherstov and
Xingyou Song and
Krzysztof Choromanski and
Jared Quincy Davis and
Adrian Weller},
editor = {Marina Meila and
Tong Zhang},
title = {Debiasing a First-order Heuristic for Approximate Bi-level Optimization},
booktitle = {Proceedings of the 38th International Conference on Machine Learning,
{ICML} 2021, 18-24 July 2021, Virtual Event},
series = {Proceedings of Machine Learning Research},
volume = {139},
pages = {6621--6630},
publisher = {{PMLR}},
year = {2021},
url = {http://proceedings.mlr.press/v139/likhosherstov21a.html},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/LikhosherstovSC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/LikhosherstovCD21,
author = {Valerii Likhosherstov and
Krzysztof Marcin Choromanski and
Jared Quincy Davis and
Xingyou Song and
Adrian Weller},
editor = {Marc'Aurelio Ranzato and
Alina Beygelzimer and
Yann N. Dauphin and
Percy Liang and
Jennifer Wortman Vaughan},
title = {Sub-Linear Memory: How to Make Performers SLiM},
booktitle = {Advances in Neural Information Processing Systems 34: Annual Conference
on Neural Information Processing Systems 2021, NeurIPS 2021, December
6-14, 2021, virtual},
pages = {6707--6719},
year = {2021},
url = {https://proceedings.neurips.cc/paper/2021/hash/35309226eb45ec366ca86a4329a2b7c3-Abstract.html},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/LikhosherstovCD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-02487,
author = {Valerii Likhosherstov and
Xingyou Song and
Krzysztof Choromanski and
Jared Davis and
Adrian Weller},
title = {Debiasing a First-order Heuristic for Approximate Bi-level Optimization},
journal = {CoRR},
volume = {abs/2106.02487},
year = {2021},
url = {https://arxiv.org/abs/2106.02487},
eprinttype = {arXiv},
eprint = {2106.02487},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-02487.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-07258,
author = {Rishi Bommasani and
Drew A. Hudson and
Ehsan Adeli and
Russ B. Altman and
Simran Arora and
Sydney von Arx and
Michael S. Bernstein and
Jeannette Bohg and
Antoine Bosselut and
Emma Brunskill and
Erik Brynjolfsson and
Shyamal Buch and
Dallas Card and
Rodrigo Castellon and
Niladri S. Chatterji and
Annie S. Chen and
Kathleen Creel and
Jared Quincy Davis and
Dorottya Demszky and
Chris Donahue and
Moussa Doumbouya and
Esin Durmus and
Stefano Ermon and
John Etchemendy and
Kawin Ethayarajh and
Li Fei{-}Fei and
Chelsea Finn and
Trevor Gale and
Lauren Gillespie and
Karan Goel and
Noah D. Goodman and
Shelby Grossman and
Neel Guha and
Tatsunori Hashimoto and
Peter Henderson and
John Hewitt and
Daniel E. Ho and
Jenny Hong and
Kyle Hsu and
Jing Huang and
Thomas Icard and
Saahil Jain and
Dan Jurafsky and
Pratyusha Kalluri and
Siddharth Karamcheti and
Geoff Keeling and
Fereshte Khani and
Omar Khattab and
Pang Wei Koh and
Mark S. Krass and
Ranjay Krishna and
Rohith Kuditipudi and
et al.},
title = {On the Opportunities and Risks of Foundation Models},
journal = {CoRR},
volume = {abs/2108.07258},
year = {2021},
url = {https://arxiv.org/abs/2108.07258},
eprinttype = {arXiv},
eprint = {2108.07258},
timestamp = {Mon, 05 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-07258.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/ChoromanskiCDLN20,
author = {Krzysztof Choromanski and
David Cheikhi and
Jared Davis and
Valerii Likhosherstov and
Achille Nazaret and
Achraf Bahamou and
Xingyou Song and
Mrugank Akarte and
Jack Parker{-}Holder and
Jacob Bergquist and
Yuan Gao and
Aldo Pacchiano and
Tam{\'{a}}s Sarl{\'{o}}s and
Adrian Weller and
Vikas Sindhwani},
title = {Stochastic Flows and Geometric Optimization on the Orthogonal Group},
booktitle = {Proceedings of the 37th International Conference on Machine Learning,
{ICML} 2020, 13-18 July 2020, Virtual Event},
series = {Proceedings of Machine Learning Research},
volume = {119},
pages = {1918--1928},
publisher = {{PMLR}},
year = {2020},
url = {http://proceedings.mlr.press/v119/choromanski20a.html},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/ChoromanskiCDLN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/ChoromanskiDLSS20,
author = {Krzysztof Marcin Choromanski and
Jared Quincy Davis and
Valerii Likhosherstov and
Xingyou Song and
Jean{-}Jacques E. Slotine and
Jacob Varley and
Honglak Lee and
Adrian Weller and
Vikas Sindhwani},
editor = {Hugo Larochelle and
Marc'Aurelio Ranzato and
Raia Hadsell and
Maria{-}Florina Balcan and
Hsuan{-}Tien Lin},
title = {Ode to an {ODE}},
booktitle = {Advances in Neural Information Processing Systems 33: Annual Conference
on Neural Information Processing Systems 2020, NeurIPS 2020, December
6-12, 2020, virtual},
year = {2020},
url = {https://proceedings.neurips.cc/paper/2020/hash/228669109aa3ab1b4ec06b7722efb105-Abstract.html},
timestamp = {Tue, 19 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/ChoromanskiDLSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-13563,
author = {Krzysztof Choromanski and
David Cheikhi and
Jared Davis and
Valerii Likhosherstov and
Achille Nazaret and
Achraf Bahamou and
Xingyou Song and
Mrugank Akarte and
Jack Parker{-}Holder and
Jacob Bergquist and
Yuan Gao and
Aldo Pacchiano and
Tam{\'{a}}s Sarl{\'{o}}s and
Adrian Weller and
Vikas Sindhwani},
title = {Stochastic Flows and Geometric Optimization on the Orthogonal Group},
journal = {CoRR},
volume = {abs/2003.13563},
year = {2020},
url = {https://arxiv.org/abs/2003.13563},
eprinttype = {arXiv},
eprint = {2003.13563},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-13563.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-08675,
author = {Valerii Likhosherstov and
Jared Davis and
Krzysztof Choromanski and
Adrian Weller},
title = {{CWY} Parametrization for Scalable Learning of Orthogonal and Stiefel
Matrices},
journal = {CoRR},
volume = {abs/2004.08675},
year = {2020},
url = {https://arxiv.org/abs/2004.08675},
eprinttype = {arXiv},
eprint = {2004.08675},
timestamp = {Wed, 22 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-08675.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-01906,
author = {Jared Quincy Davis and
Krzysztof Choromanski and
Jake Varley and
Honglak Lee and
Jean{-}Jacques E. Slotine and
Valerii Likhosterov and
Adrian Weller and
Ameesh Makadia and
Vikas Sindhwani},
title = {Time Dependence in Non-Autonomous Neural ODEs},
journal = {CoRR},
volume = {abs/2005.01906},
year = {2020},
url = {https://arxiv.org/abs/2005.01906},
eprinttype = {arXiv},
eprint = {2005.01906},
timestamp = {Fri, 08 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-01906.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-03555,
author = {Krzysztof Choromanski and
Valerii Likhosherstov and
David Dohan and
Xingyou Song and
Jared Davis and
Tam{\'{a}}s Sarl{\'{o}}s and
David Belanger and
Lucy J. Colwell and
Adrian Weller},
title = {Masked Language Modeling for Proteins via Linearly Scalable Long-Context
Transformers},
journal = {CoRR},
volume = {abs/2006.03555},
year = {2020},
url = {https://arxiv.org/abs/2006.03555},
eprinttype = {arXiv},
eprint = {2006.03555},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-03555.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-03631,
author = {Valerii Likhosherstov and
Xingyou Song and
Krzysztof Choromanski and
Jared Davis and
Adrian Weller},
title = {{UFO-BLO:} Unbiased First-Order Bilevel Optimization},
journal = {CoRR},
volume = {abs/2006.03631},
year = {2020},
url = {https://arxiv.org/abs/2006.03631},
eprinttype = {arXiv},
eprint = {2006.03631},
timestamp = {Fri, 12 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-03631.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-11421,
author = {Krzysztof Choromanski and
Jared Quincy Davis and
Valerii Likhosherstov and
Xingyou Song and
Jean{-}Jacques E. Slotine and
Jacob Varley and
Honglak Lee and
Adrian Weller and
Vikas Sindhwani},
title = {An Ode to an {ODE}},
journal = {CoRR},
volume = {abs/2006.11421},
year = {2020},
url = {https://arxiv.org/abs/2006.11421},
eprinttype = {arXiv},
eprint = {2006.11421},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-11421.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-14794,
author = {Krzysztof Choromanski and
Valerii Likhosherstov and
David Dohan and
Xingyou Song and
Andreea Gane and
Tam{\'{a}}s Sarl{\'{o}}s and
Peter Hawkins and
Jared Davis and
Afroz Mohiuddin and
Lukasz Kaiser and
David Belanger and
Lucy J. Colwell and
Adrian Weller},
title = {Rethinking Attention with Performers},
journal = {CoRR},
volume = {abs/2009.14794},
year = {2020},
url = {https://arxiv.org/abs/2009.14794},
eprinttype = {arXiv},
eprint = {2009.14794},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-14794.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-11346,
author = {Valerii Likhosherstov and
Krzysztof Choromanski and
Jared Davis and
Xingyou Song and
Adrian Weller},
title = {Sub-Linear Memory: How to Make Performers SLiM},
journal = {CoRR},
volume = {abs/2012.11346},
year = {2020},
url = {https://arxiv.org/abs/2012.11346},
eprinttype = {arXiv},
eprint = {2012.11346},
timestamp = {Mon, 04 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-11346.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/DavisM15,
author = {Jared Davis and
Magnus O. Myreen},
title = {The Reflective Milawa Theorem Prover is Sound (Down to the Machine
Code that Runs it)},
journal = {J. Autom. Reason.},
volume = {55},
number = {2},
pages = {117--183},
year = {2015},
url = {https://doi.org/10.1007/s10817-015-9324-6},
doi = {10.1007/S10817-015-9324-6},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/DavisM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/SwordsD15,
author = {Sol Swords and
Jared Davis},
editor = {Matt Kaufmann and
David L. Rager},
title = {Fix Your Types},
booktitle = {Proceedings Thirteenth International Workshop on the {ACL2} Theorem
Prover and Its Applications, Austin, Texas, USA, 1-2 October 2015},
series = {{EPTCS}},
volume = {192},
pages = {3--16},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.192.2},
doi = {10.4204/EPTCS.192.2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SwordsD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/DavisSS14,
author = {Jared Davis and
Anna Slobodov{\'{a}} and
Sol Swords},
editor = {Gerwin Klein and
Ruben Gamboa},
title = {Microcode Verification - Another Piece of the Microprocessor Verification
Puzzle},
booktitle = {Interactive Theorem Proving - 5th International Conference, {ITP}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8558},
pages = {1--16},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08970-6\_1},
doi = {10.1007/978-3-319-08970-6\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/DavisSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/MyreenD14,
author = {Magnus O. Myreen and
Jared Davis},
editor = {Gerwin Klein and
Ruben Gamboa},
title = {The Reflective Milawa Theorem Prover Is Sound - (Down to the Machine
Code That Runs It)},
booktitle = {Interactive Theorem Proving - 5th International Conference, {ITP}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8558},
pages = {421--436},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08970-6\_27},
doi = {10.1007/978-3-319-08970-6\_27},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/MyreenD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DavisK14,
author = {Jared Davis and
Matt Kaufmann},
editor = {Freek Verbeek and
Julien Schmaltz},
title = {Industrial-Strength Documentation for {ACL2}},
booktitle = {Proceedings Twelfth International Workshop on the {ACL2} Theorem Prover
and its Applications, Vienna, Austria, 12-13th July 2014},
series = {{EPTCS}},
volume = {152},
pages = {9--25},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.152.2},
doi = {10.4204/EPTCS.152.2},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/DavisK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1304-7861,
author = {Jared Davis and
Sol Swords},
editor = {Ruben Gamboa and
Jared Davis},
title = {Verified {AIG} Algorithms in {ACL2}},
booktitle = {Proceedings International Workshop on the {ACL2} Theorem Prover and
its Applications, {ACL2} 2013, Laramie, Wyoming, USA, May 30-31, 2013},
series = {{EPTCS}},
volume = {114},
pages = {95--110},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.114.8},
doi = {10.4204/EPTCS.114.8},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-7861.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1304-7123,
editor = {Ruben Gamboa and
Jared Davis},
title = {Proceedings International Workshop on the {ACL2} Theorem Prover and
its Applications, {ACL2} 2013, Laramie, Wyoming, USA, May 30-31, 2013},
series = {{EPTCS}},
volume = {114},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.114},
doi = {10.4204/EPTCS.114},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-7123.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/MyreenD11,
author = {Magnus O. Myreen and
Jared Davis},
editor = {Marko C. J. D. van Eekelen and
Herman Geuvers and
Julien Schmaltz and
Freek Wiedijk},
title = {A Verified Runtime for a Verified Theorem Prover},
booktitle = {Interactive Theorem Proving - Second International Conference, {ITP}
2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6898},
pages = {265--280},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22863-6\_20},
doi = {10.1007/978-3-642-22863-6\_20},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/MyreenD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/SlobodovaDSH11,
author = {Anna Slobodov{\'{a}} and
Jared Davis and
Sol Swords and
Warren A. Hunt Jr.},
editor = {Satnam Singh and
Barbara Jobstmann and
Michael Kishinevsky and
Jens Brandt},
title = {A flexible formal verification framework for industrial scale validation},
booktitle = {9th {IEEE/ACM} International Conference on Formal Methods and Models
for Codesign, {MEMOCODE} 2011, Cambridge, UK, 11-13 July, 2011},
pages = {89--97},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/MEMCOD.2011.5970515},
doi = {10.1109/MEMCOD.2011.5970515},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/SlobodovaDSH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1110-4676,
author = {Sol Swords and
Jared Davis},
editor = {David S. Hardin and
Julien Schmaltz},
title = {Bit-Blasting {ACL2} Theorems},
booktitle = {Proceedings 10th International Workshop on the {ACL2} Theorem Prover
and its Applications, {ACL2} 2011, Austin, Texas, USA, November 3-4,
2011},
series = {{EPTCS}},
volume = {70},
pages = {84--102},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.70.7},
doi = {10.4204/EPTCS.70.7},
timestamp = {Tue, 16 Nov 2021 18:11:09 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-4676.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/10/HuntSDS10,
author = {Warren A. Hunt Jr. and
Sol Swords and
Jared Davis and
Anna Slobodov{\'{a}}},
editor = {David S. Hardin},
title = {Use of Formal Verification at Centaur Technology},
booktitle = {Design and Verification of Microprocessor Systems for High-Assurance
Applications},
pages = {65--88},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-1-4419-1539-9\_3},
doi = {10.1007/978-1-4419-1539-9\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/10/HuntSDS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/DavisFCCT08,
author = {Jared Davis and
Barbara Fordyce and
James Cicala and
Matthew Cooper and
Omer Tsimhoni},
editor = {Scott J. Mason and
Raymond R. Hill and
Lars M{\"{o}}nch and
Oliver Rose and
Thomas Jefferson and
John W. Fowler},
title = {Who's your Tiger? Using simulation to optimize the lineup of the Detroit
Tigers offense},
booktitle = {Proceedings of the 2008 Winter Simulation Conference, Global Gateway
to Discovery, {WSC} 2008, InterContinental Hotel, Miami, Florida,
USA, December 7-10, 2008},
pages = {2835--2843},
publisher = {{WSC}},
year = {2008},
url = {https://doi.org/10.1109/WSC.2008.4736404},
doi = {10.1109/WSC.2008.4736404},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsc/DavisFCCT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl2/Davis06,
author = {Jared Davis},
editor = {Panagiotis Manolios and
Matthew Wilding},
title = {Memories: array-like records for {ACL2}},
booktitle = {Proceedings of the Sixth International Workshop on the {ACL2} Theorem
Prover and its Applications, {ACL2} 2006, Seattle, Washington, USA,
August 15-16, 2006},
pages = {57--60},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1217975.1217986},
doi = {10.1145/1217975.1217986},
timestamp = {Tue, 23 Jun 2020 17:42:40 +0200},
biburl = {https://dblp.org/rec/conf/acl2/Davis06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl2/Davis06a,
author = {Jared Davis},
editor = {Panagiotis Manolios and
Matthew Wilding},
title = {Reasoning about {ACL2} file input},
booktitle = {Proceedings of the Sixth International Workshop on the {ACL2} Theorem
Prover and its Applications, {ACL2} 2006, Seattle, Washington, USA,
August 15-16, 2006},
pages = {117--126},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1217975.1218000},
doi = {10.1145/1217975.1218000},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acl2/Davis06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/WickstromDMRW04,
author = {Gregory L. Wickstrom and
Jared Davis and
Steven E. Morrison and
Steve Roach and
Victor L. Winter},
title = {The {SSP:} An Example of High-Assurance Systems Engineering},
booktitle = {8th {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} 2004), 25-26 March 2004, Tampa, FL, {USA}},
pages = {167--177},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/HASE.2004.1281741},
doi = {10.1109/HASE.2004.1281741},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/WickstromDMRW04.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.
last updated on 2024-08-20 22:52 CEST 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:
