Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization. - John W. O'Leary; Miriam Leeser; Jason Hickey; Mark D. Aagaard (TPCD, 1994)

A Proof Environment for the Development of Group Communication Systems. - Christoph Kreitz; Mark Hayden; Jason Hickey (CADE, 1998)

Fault-Tolerant Distributed Theorem Proving. - Jason Hickey (CADE, 1999)

Predicate Transformers for Infinite-State Automata in NuPRL Type Theory. - Mark Bickford; Jason Hickey (IWFM, 1999)

Building reliable, high-performance communication systems from components. - Xiaoming Liu 003; Christoph Kreitz; Robbert van Renesse; Jason Hickey; Mark Hayden; Kenneth P. Birman; Robert L. Constable (SOSP, 1999)

Specifications and Proofs for Ensemble Layers. - Jason Hickey; Nancy A. Lynch; Robbert van Renesse (TACAS, 1999)

Fast Tactic-Based Theorem Proving. - Jason Hickey; Aleksey Nogin (TPHOLs, 2000)

The Caltech Multi-Vehicle Wireless Testbed. - Lars B. Cremean; William B. Dunbar; Dave van Gogh; Jason Hickey; Eric Klavins; Jason Meltzer; Richard M. Murray (CDC, 2002)

Sequent Schema for Derived Rules. - Aleksey Nogin; Jason Hickey (TPHOLs, 2002)

Phobos: A Front-End Approach to Extensible Compilers. - Adam Granicz; Jason Hickey (HICSS, 2003)

Compiler implementation in a formal logical framework. - Jason Hickey; Aleksey Nogin; Adam Granicz (MERLIN, 2003)

Rewriting UNITY. - Adam Granicz; Daniel M. Zimmerman; Jason Hickey (RTA, 2003)

MetaPRL - A Modular Logical Environment. - Jason Hickey; Aleksey Nogin; Robert L. Constable; Brian E. Aydemir; Eli Barzilay; Yegor Bryukhov; Richard Eaton; Adam Granicz; Alexei Kopylov; Christoph Kreitz; Vladimir Krupski; Lori Lorigo; et al. (TPHOLs, 2003)

A Mechanism for Sequential Consistency in a Distributed Objects System. - Cristian Tapus; Aleksey Nogin; Jason Hickey; Jerome White (PDCS, 2004)

Extensible Hierarchical Tactic Construction in a Logical Framework. - Jason Hickey; Aleksey Nogin (TPHOLs, 2004)

Distributed synchronization with shared semaphore sets. - Cristian Tapus; Jason Hickey (CCGRID, 2005)

A computational approach to reflective meta-reasoning about languages with bindings. - Aleksey Nogin; Alexei Kopylov; Xin Yu; Jason Hickey (MERLIN, 2005)

: Designing a Scalable Build Process. - Jason Hickey; Aleksey Nogin (FASE, 2006)

Speculations: Providing Fault-tolerance and Recoverability in Distributed Environments. - Cristian Tapus; Jason Hickey (HotDep, 2006)

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. - Jason Hickey; Aleksey Nogin; Xin Yu; Alexei Kopylov (ICFP, 2006)

MojaveComm: A Robust Group Communication Library for Grid Environments. - Cristian Tapus; David A. Noblet; Jason Hickey (ICNS, 2006)

MojaveFS: Providing Sequential Consistency in a Distributed Objects System. - Cristian Tapus; David A. Noblet; Vlad Grama; Jason Hickey (ISPDC, 2006)

Practical Reflection for Sequent Logics. - Jason Hickey; Aleksey Nogin; Xin Yu; Alexei Kopylov (LFMTP@FLoC, 2006)

Formal compiler construction in a logical framework. - Jason Hickey; Aleksey Nogin (High. Order Symb. Comput., 2006)

A Theory of Nested Speculative Execution. - Cristian Tapus; Jason Hickey (COORDINATION, 2007)

The Mojave Compiler: Providing Language Primitives for Whole-Process Migration and Speculation for Distributed Applications. - Justin D. Smith; Cristian Tapus; Jason Hickey (IPDPS, 2007)

Speculations: providing fault-tolerance and improving performance of parallel applications. - Cristian Tapus; Jason Hickey (PPoPP, 2007)

Distributed speculative execution for reliability and fault tolerance: an operational semantics. - Cristian Tapus; Jason Hickey (Distributed Comput., 2009)

Scalable Dynamic Partial Order Reduction. - Jirí Simsa; Randy Bryant; Garth A. Gibson; Jason Hickey (RV, 2012)

Real World OCaml - Functional Programming for the Masses. - Yaron Minsky; Anil Madhavapeddy; Jason Hickey (O'Reilly, 2013)

Data-driven metasurface discovery. - Jiaqi Jiang; David Sell; Stephan Hoyer; Jason Hickey; Jianji Yang; Jonathan A. Fan (CoRR, 2018)

Machine Learning for Precipitation Nowcasting from Radar Images. - Shreya Agrawal; Luke Barrington; Carla Bromberg; John Burge; Cenk Gazen; Jason Hickey (CoRR, 2019)

MetNet: A Neural Weather Model for Precipitation Forecasting. - Casper Kaae Sønderby; Lasse Espeholt; Jonathan Heek; Mostafa Dehghani 001; Avital Oliver; Tim Salimans; Shreya Agrawal; Jason Hickey; Nal Kalchbrenner (CoRR, 2020)

Deep Learning Models for Predicting Wildfires from Historical Remote-Sensing Data. - Fantine Huot; R. Lily Hu; Matthias Ihme; Qing Wang 032; John Burge; Tianjian Lu; Jason Hickey; Yi-Fan Chen; John R. Anderson (CoRR, 2020)

Skillful Twelve Hour Precipitation Forecasts using Large Context Neural Networks. - Lasse Espeholt; Shreya Agrawal; Casper Kaae Sønderby; Manoj Kumar; Jonathan Heek; Carla Bromberg; Cenk Gazen; Jason Hickey; Aaron Bell; Nal Kalchbrenner (CoRR, 2021)

Global Extreme Heat Forecasting Using Neural Weather Models. - Ignacio Lopez-Gomez; Amy McGovern; Shreya Agrawal; Jason Hickey (CoRR, 2022)

A Machine Learning Outlook: Post-processing of Global Medium-range Forecasts. - Shreya Agrawal; Rob Carver; Cenk Gazen; Eric S. Maddy; Vladimir Krasnopolsky; Carla Bromberg; Zack Ontiveros; Tyler Russell; Jason Hickey; Sid-Ahmed Boukabara (CoRR, 2023)

High-Resolution Building and Road Detection from Sentinel-2. - Wojciech Sirko; Emmanuel Asiedu Brempong; Juliana T. C. Marcos; Abigail Annkah; Abel Korme; Mohammed Alewi Hassen; Krishna Sapkota; Tomer Shekel; Abdoulaye Diack; Sella Nevo; Jason Hickey; John Quinn (CoRR, 2023)