|Learning data-driven discretizations for partial differential equations|
Y Bar-Sinai, S Hoyer, J Hickey, MP Brenner
Proceedings of the National Academy of Sciences 116 (31), 15344-15349, 2019
|Free-form diffractive metagrating design based on generative adversarial networks|
J Jiang, D Sell, S Hoyer, J Hickey, J Yang, JA Fan
ACS nano 13 (8), 8872-8878, 2019
|Sunshine: A high performance self-routing broadband packet switch architecture|
JN Giacopelli, JJ Hickey, WS Marcus, WD Sincoskie, M Littlewood
IEEE Journal on selected Areas in Communications 9 (8), 1289-1298, 1991
|Building reliable, high-performance communication systems from components|
X Liu, C Kreitz, R Van Renesse, J Hickey, M Hayden, K Birman, ...
ACM SIGOPS Operating Systems Review 33 (5), 80-92, 1999
|Metnet: A neural weather model for precipitation forecasting|
CK Sønderby, L Espeholt, J Heek, M Dehghani, A Oliver, T Salimans, ...
arXiv preprint arXiv:2003.12140, 2020
|The Caltech multi-vehicle wireless testbed|
L Cremean, WB Dunbar, D Van Gogh, J Hickey, E Klavins, J Meltzer, ...
Proceedings of the 41st IEEE Conference on Decision and Control, 2002. 1, 86-88, 2002
|Machine learning for precipitation nowcasting from radar images|
S Agrawal, L Barrington, C Bromberg, J Burge, C Gazen, J Hickey
arXiv preprint arXiv:1912.12132, 2019
|The Horus and Ensemble projects: Accomplishments and limitations|
K Birman, B Constable, M Hayden, J Hickey, C Kreitz, R Van Renesse, ...
Proceedings DARPA Information Survivability Conference and Exposition …, 2000
|Specifications and proofs for Ensemble layers|
J Hickey, N Lynch, R Van Renesse
TACAS 99, 119-133, 1999
|Real World OCaml: Functional programming for the masses|
Y Minsky, A Madhavapeddy, J Hickey
" O'Reilly Media, Inc.", 2013
|MetaPRL–a modular logical environment|
J Hickey, A Nogin, RL Constable, BE Aydemir, E Barzilay, Y Bryukhov, ...
Theorem Proving in Higher Order Logics: 16th International Conference …, 2003
|The MetaPRL logical programming environment|
Cornell University, 2000
|Non-restoring integer square root: A case study in design by principled optimization|
J O'Leary, M Leeser, J Hickey, M Aagaard
Theorem Provers in Circuit Design: Theory, Practice and Experience Second …, 1995
|A proof environment for the development of group communication systems|
C Kreitz, M Hayden, J Hickey
Automated Deduction—CADE-15: 15th International Conference on Automated …, 1998
|Formal objects in type theory using very dependent types|
Foundations of Object Oriented Languages 3, 117-170, 1996
|Deep learning for twelve hour precipitation forecasts|
L Espeholt, S Agrawal, C Sønderby, M Kumar, J Heek, C Bromberg, ...
Nature communications 13 (1), 5145, 2022
|Robustness and the internet: Theoretical foundations|
J Doyle, J Carlson, S Low, F Paganini, G Vinnicombe, W Willinger, ...
|Sequent schema for derived rules|
A Nogin, J Hickey
Lecture notes in computer science 2410, 281-297, 2002
|Outlook for exploiting artificial intelligence in the earth and environmental sciences|
SA Boukabara, V Krasnopolsky, SG Penny, JQ Stewart, A McGovern, ...
Bulletin of the American Meteorological Society, 1-53, 2020
|Nuprl's class theory and its applications|
RL Constable, J Hickey
NATO ASI SERIES F COMPUTER AND SYSTEMS SCIENCES 175, 91-116, 2000