Jason Hickey
Cited by
Cited by
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
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
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
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
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
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
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
Specifications and proofs for Ensemble layers
J Hickey, N Lynch, R Renesse
International Conference on Tools and Algorithms for the Construction and …, 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
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, ...
International Conference on Theorem Proving in Higher Order Logics, 287-303, 2003
The MetaPRL logical programming environment
JJ Hickey
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
International Conference on Theorem Provers in Circuit Design, 52-71, 1994
A proof environment for the development of group communication systems
C Kreitz, M Hayden, J Hickey
International Conference on Automated Deduction, 317-332, 1998
Formal objects in type theory using very dependent types
JJ Hickey
Foundations of Object Oriented Languages 3, 117-170, 1996
Sequent schema for derived rules
A Nogin, J Hickey
International Conference on Theorem Proving in Higher Order Logics, 281-297, 2002
Robustness and the internet: Theoretical foundations
J Doyle, J Carlson, S Low, F Paganini, G Vinnicombe, W Willinger, ...
Mar, 2002
NuPRL-Light: An implementation framework for higher-order logics
JJ Hickey
International Conference on Automated Deduction, 395-399, 1997
The implementation of a high speed ATM packet switch using CMOS VLSI
JJ Hickey, WS Marcus
International Symposium on Switching 1, 75-84, 1990
MetaPRL home page
JJ Hickey, A Nogin, A Kopylov
The system can't perform the operation now. Try again later.
Articles 1–20