Jared Davis

25 papers A* 2A 1B 3C 1Misc 1Journal 8Unranked 7
YearRankTypeTitle / Venue / Authors
2022 A* conf
Decentralized Training of Foundation Models in Heterogeneous Environments.
NeurIPS
Binhang Yuan, Yongjun He, Jared Davis, Tianyi Zhang, Tri Dao, Beidi Chen, Percy Liang, Christopher Ré, Ce Zhang
2021 A conf
CWY Parametrization: a Solution for Parallelized Optimization of Orthogonal and Stiefel Matrices.
AISTATS
Valerii Likhosherstov, Jared Davis, Krzysztof Choromanski, Adrian Weller
2021 J jnl
Debiasing a First-order Heuristic for Approximate Bi-level Optimization.
CoRR
Valerii Likhosherstov, Xingyou Song, Krzysztof Choromanski, Jared Davis, Adrian Weller
2020 J jnl
CWY Parametrization for Scalable Learning of Orthogonal and Stiefel Matrices.
CoRR
Valerii Likhosherstov, Jared Davis, Krzysztof Choromanski, Adrian Weller
2020 J jnl
Masked Language Modeling for Proteins via Linearly Scalable Long-Context Transformers.
CoRR
Krzysztof Choromanski, Valerii Likhosherstov, David Dohan, Xingyou Song, Jared Davis, Tamás Sarlós, David Belanger, Lucy J. Colwell, Adrian Weller
2020 J jnl
Rethinking Attention with Performers.
CoRR
Krzysztof Choromanski, Valerii Likhosherstov, David Dohan, Xingyou Song, Andreea Gane, Tamás Sarlós, Peter Hawkins, Jared Davis, Afroz Mohiuddin, Lukasz Kaiser, David Belanger, Lucy J. Colwell, Adrian Weller
2020 A* conf
Stochastic Flows and Geometric Optimization on the Orthogonal Group.
ICML
Krzysztof Choromanski, David Cheikhi, Jared Davis, Valerii Likhosherstov, Achille Nazaret, Achraf Bahamou, Xingyou Song, Mrugank Akarte, Jack Parker-Holder, Jacob Bergquist, Yuan Gao, Aldo Pacchiano, Tamás Sarlós, Adrian Weller, Vikas Sindhwani
2020 J jnl
Stochastic Flows and Geometric Optimization on the Orthogonal Group.
CoRR
Krzysztof Choromanski, David Cheikhi, Jared Davis, Valerii Likhosherstov, Achille Nazaret, Achraf Bahamou, Xingyou Song, Mrugank Akarte, Jack Parker-Holder, Jacob Bergquist, Yuan Gao, Aldo Pacchiano, Tamás Sarlós, Adrian Weller, Vikas Sindhwani
2020 J jnl
Sub-Linear Memory: How to Make Performers SLiM.
CoRR
Valerii Likhosherstov, Krzysztof Choromanski, Jared Davis, Xingyou Song, Adrian Weller
2020 J jnl
UFO-BLO: Unbiased First-Order Bilevel Optimization.
CoRR
Valerii Likhosherstov, Xingyou Song, Krzysztof Choromanski, Jared Davis, Adrian Weller
2015 — conf
Fix Your Types.
ACL2
Sol Swords, Jared Davis
2015 J jnl
The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it).
J. Autom. Reason.
Jared Davis, Magnus O. Myreen
2014 — conf
Industrial-Strength Documentation for ACL2.
ACL2
Jared Davis, Matt Kaufmann
2014 B conf
Microcode Verification - Another Piece of the Microprocessor Verification Puzzle.
ITP
Jared Davis, Anna Slobodová, Sol Swords
2014 B conf
The Reflective Milawa Theorem Prover Is Sound - (Down to the Machine Code That Runs It).
ITP
Magnus O. Myreen, Jared Davis
2013 — ed.
Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2013, Laramie, Wyoming, USA, May 30-31, 2013.
ACL2
Ruben Gamboa, Jared Davis
2013 — conf
Verified AIG Algorithms in ACL2
ACL2
Jared Davis, Sol Swords
2011 B conf
A Verified Runtime for a Verified Theorem Prover.
ITP
Magnus O. Myreen, Jared Davis
2011 C conf
A flexible formal verification framework for industrial scale validation.
MEMOCODE
Anna Slobodová, Jared Davis, Sol Swords, Warren A. Hunt Jr.
2011 — conf
Bit-Blasting ACL2 Theorems
ACL2
Sol Swords, Jared Davis
2010 — ch.
Use of Formal Verification at Centaur Technology.
Design and Verification of Microprocessor Systems for High-Assurance Applications
Warren A. Hunt Jr., Sol Swords, Jared Davis, Anna Slobodová
2008 Misc conf
Who's your Tiger? Using simulation to optimize the lineup of the Detroit Tigers offense.
WSC
Jared Davis, Barbara Fordyce, James Cicala, Matthew Cooper, Omer Tsimhoni
2006 — conf
Memories: array-like records for ACL2.
ACL2
Jared Davis
2006 — conf
Reasoning about ACL2 file input.
ACL2
Jared Davis
2004 — conf
The SSP: An Example of High-Assurance Systems Engineering.
HASE
Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter