Jared Davis

25 papers A* 2A 1B 3C 1Misc 1Journal 8Unranked 7
YearRankTypeTitle / Venue / Authors
2022 A* conf
NeurIPS
Binhang Yuan, Yongjun He, Jared Davis, Tianyi Zhang, Tri Dao, Beidi Chen, Percy Liang, Christopher Ré, Ce Zhang
2021 A conf
AISTATS
Valerii Likhosherstov, Jared Davis, Krzysztof Choromanski, Adrian Weller
2021 J jnl
CoRR
Valerii Likhosherstov, Xingyou Song, Krzysztof Choromanski, Jared Davis, Adrian Weller
2020 J jnl
CoRR
Valerii Likhosherstov, Jared Davis, Krzysztof Choromanski, Adrian Weller
2020 J jnl
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
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
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
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
CoRR
Valerii Likhosherstov, Krzysztof Choromanski, Jared Davis, Xingyou Song, Adrian Weller
2020 J jnl
CoRR
Valerii Likhosherstov, Xingyou Song, Krzysztof Choromanski, Jared Davis, Adrian Weller
2015 conf
ACL2
Sol Swords, Jared Davis
2015 J jnl
J. Autom. Reason.
Jared Davis, Magnus O. Myreen
2014 conf
ACL2
Jared Davis, Matt Kaufmann
2014 B conf
ITP
Jared Davis, Anna Slobodová, Sol Swords
2014 B conf
ITP
Magnus O. Myreen, Jared Davis
2013 ed.
ACL2
Ruben Gamboa, Jared Davis
2013 conf
ACL2
Jared Davis, Sol Swords
2011 B conf
ITP
Magnus O. Myreen, Jared Davis
2011 C conf
MEMOCODE
Anna Slobodová, Jared Davis, Sol Swords, Warren A. Hunt Jr.
2011 conf
ACL2
Sol Swords, Jared Davis
2010 ch.
Design and Verification of Microprocessor Systems for High-Assurance Applications
Warren A. Hunt Jr., Sol Swords, Jared Davis, Anna Slobodová
2008 Misc conf
WSC
Jared Davis, Barbara Fordyce, James Cicala, Matthew Cooper, Omer Tsimhoni
2006 conf
ACL2
Jared Davis
2006 conf
ACL2
Jared Davis
2004 conf
HASE
Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter