Jason Hickey

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 8

Top Topics

Top Venues

Publications

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
High-Resolution Building and Road Detection from Sentinel-2. CoRR (2023)
Shreya Agrawal, Rob Carver, Cenk Gazen, Eric S. Maddy, Vladimir Krasnopolsky, Carla Bromberg, Zack Ontiveros, Tyler Russell, Jason Hickey, Sid-Ahmed Boukabara
A Machine Learning Outlook: Post-processing of Global Medium-range Forecasts. CoRR (2023)
Ignacio Lopez-Gomez, Amy McGovern, Shreya Agrawal, Jason Hickey
Global Extreme Heat Forecasting Using Neural Weather Models. CoRR (2022)
Lasse Espeholt, Shreya Agrawal, Casper Kaae Sønderby, Manoj Kumar, Jonathan Heek, Carla Bromberg, Cenk Gazen, Jason Hickey, Aaron Bell, Nal Kalchbrenner
Skillful Twelve Hour Precipitation Forecasts using Large Context Neural Networks. CoRR (2021)
Fantine Huot, R. Lily Hu, Matthias Ihme, Qing Wang, John Burge, Tianjian Lu, Jason Hickey, Yi-Fan Chen, John R. Anderson
Deep Learning Models for Predicting Wildfires from Historical Remote-Sensing Data. CoRR (2020)
Casper Kaae Sønderby, Lasse Espeholt, Jonathan Heek, Mostafa Dehghani, Avital Oliver, Tim Salimans, Shreya Agrawal, Jason Hickey, Nal Kalchbrenner
MetNet: A Neural Weather Model for Precipitation Forecasting. CoRR (2020)
Shreya Agrawal, Luke Barrington, Carla Bromberg, John Burge, Cenk Gazen, Jason Hickey
Machine Learning for Precipitation Nowcasting from Radar Images. CoRR (2019)
Jiaqi Jiang, David Sell, Stephan Hoyer, Jason Hickey, Jianji Yang, Jonathan A. Fan
Data-driven metasurface discovery. CoRR (2018)
Jirí Simsa, Randy Bryant, Garth A. Gibson, Jason Hickey
Scalable Dynamic Partial Order Reduction. RV (2012)
Cristian Tapus, Jason Hickey
Distributed speculative execution for reliability and fault tolerance: an operational semantics. Distributed Comput. 21 (6) (2009)
Cristian Tapus, Jason Hickey
A Theory of Nested Speculative Execution. COORDINATION (2007)
Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov
Practical Reflection for Sequent Logics. Electron. Notes Theor. Comput. Sci. 174 (5) (2007)
Justin D. Smith, Cristian Tapus, Jason Hickey
The Mojave Compiler: Providing Language Primitives for Whole-Process Migration and Speculation for Distributed Applications. IPDPS (2007)
Cristian Tapus, Jason Hickey
Speculations: providing fault-tolerance and improving performance of parallel applications. PPOPP (2007)
Jason Hickey, Aleksey Nogin
Formal compiler construction in a logical framework. High. Order Symb. Comput. 19 (2-3) (2006)
Cristian Tapus, David A. Noblet, Vlad Grama, Jason Hickey
MojaveFS: Providing Sequential Consistency in a Distributed Objects System. ISPDC (2006)
Cristian Tapus, David A. Noblet, Jason Hickey
MojaveComm: A Robust Group Communication Library for Grid Environments. ICNS (2006)
Cristian Tapus, Jason Hickey
Speculations: Providing Fault-tolerance and Recoverability in Distributed Environments. HotDep (2006)
Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. ICFP (2006)
Jason Hickey, Aleksey Nogin
: Designing a Scalable Build Process. FASE (2006)
Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey
A computational approach to reflective meta-reasoning about languages with bindings. MERLIN (2005)
Cristian Tapus, Jason Hickey
Distributed synchronization with shared semaphore sets. CCGRID (2005)
Jason Hickey, Aleksey Nogin
Extensible Hierarchical Tactic Construction in a Logical Framework. TPHOLs (2004)
Cristian Tapus, Aleksey Nogin, Jason Hickey, Jerome White
A Mechanism for Sequential Consistency in a Distributed Objects System. PDCS (2004)
Adam Granicz, Jason Hickey
Phobos: A Front-End Approach to Extensible Compilers. HICSS (2003)
Jason Hickey, Aleksey Nogin, Adam Granicz
Compiler implementation in a formal logical framework. MERLIN (2003)
Adam Granicz, Daniel M. Zimmerman, Jason Hickey
Rewriting UNITY. RTA (2003)
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, Stephan Schmitt, Carl Witty, Xin Yu
MetaPRL - A Modular Logical Environment. TPHOLs (2003)
Lars B. Cremean, William B. Dunbar, Dave van Gogh, Jason Hickey, Eric Klavins, Jason Meltzer, Richard M. Murray
The Caltech Multi-Vehicle Wireless Testbed. CDC (2002)
Aleksey Nogin, Jason Hickey
Sequent Schema for Derived Rules. TPHOLs (2002)
Jason Hickey, Aleksey Nogin
Fast Tactic-Based Theorem Proving. TPHOLs (2000)
Jason Hickey
Fault-Tolerant Distributed Theorem Proving. CADE (1999)
Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden, Kenneth P. Birman, Robert L. Constable
Building reliable, high-performance communication systems from components. SOSP (1999)
Mark Bickford, Jason Hickey
Predicate Transformers for Infinite-State Automata in NuPRL Type Theory. IWFM (1999)
Jason Hickey, Nancy A. Lynch, Robbert van Renesse
Specifications and Proofs for Ensemble Layers. TACAS (1999)
Christoph Kreitz, Mark Hayden, Jason Hickey
A Proof Environment for the Development of Group Communication Systems. CADE (1998)
John W. O'Leary, Miriam Leeser, Jason Hickey, Mark D. Aagaard
Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization. TPCD (1994)