Jared Davis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2008–2021
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | AISTATS | CWY Parametrization: a Solution for Parallelized Optimization of Orthogonal and Stiefel Matrices. | Valerii Likhosherstov, Jared Davis, Krzysztof Choromanski, Adrian Weller |
| 2020 | ICML | Stochastic Flows and Geometric Optimization on the Orthogonal Group. | 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, Tams Sarls, Adrian Weller, Vikas Sindhwani |
| 2014 | ITP | Microcode Verification - Another Piece of the Microprocessor Verification Puzzle. | Jared Davis, Anna Slobodov, Sol Swords |
| 2014 | ITP | The Reflective Milawa Theorem Prover Is Sound - (Down to the Machine Code That Runs It). | Magnus O. Myreen, Jared Davis |
| 2011 | ITP | A Verified Runtime for a Verified Theorem Prover. | Magnus O. Myreen, Jared Davis |
| 2011 | MEMOCODE | A flexible formal verification framework for industrial scale validation. | Anna Slobodov, Jared Davis, Sol Swords, Warren A. Hunt Jr. |
| 2008 | WSC | Who's your Tiger? Using simulation to optimize the lineup of the Detroit Tigers offense. | Jared Davis, Barbara Fordyce, James Cicala, Matthew Cooper, Omer Tsimhoni |