Travelled to:1 × Australia
1 × China
2 × USA
Collaborated with:Z.Tan F.Yu L.Zhang J.Colgrove J.Hayes E.L.Miller C.Sandvig R.Sears A.Tamches N.Vachharajani F.Wang M.Balakrishnan D.Malkhi T.Wobber M.Wu V.Prabhakaran M.Wei S.Rao T.Zou A.Zuck
Talks about:hardwar (2) acceler (2) reconfigur (1) enterpris (1) distribut (1) structur (1) satisfi (1) practic (1) boolean (1) storag (1)
Person: John D. Davis
DBLP: Davis:John_D=
Contributed to:
2015
2013
2008
2008Wrote 4 papers:
- SIGMOD-2015-ColgroveDHMSSTV #component #enterprise #named #performance
- Purity: Building Fast, Highly-Available Enterprise Flash Storage from Commodity Components (JC, JDD, JH, ELM, CS, RS, AT, NV, FW), pp. 1683–1694.
- SOSP-2013-BalakrishnanMWWPWDRZZ #data type #distributed #named
- Tango: distributed data structures over a shared log (MB, DM, TW, MW, VP, MW, JDD, SR, TZ, AZ), pp. 325–340.
- DAC-2008-DavisTYZ #configuration management #hardware #satisfiability
- A practical reconfigurable hardware accelerator for Boolean satisfiability solvers (JDD, ZT, FY, LZ), pp. 780–785.
- SAT-2008-DavisTYZ #design #hardware #performance #satisfiability
- Designing an Efficient Hardware Implication Accelerator for SAT Solving (JDD, ZT, FY, LZ), pp. 48–62.