![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Jason Hickey
Person information
- affiliation: Google
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [i8]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 abs/2303.16301 (2023) - [i7]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 abs/2310.11622 (2023) - 2022
- [i6]Ignacio Lopez-Gomez
, Amy McGovern, Shreya Agrawal, Jason Hickey:
Global Extreme Heat Forecasting Using Neural Weather Models. CoRR abs/2205.10972 (2022) - 2021
- [i5]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 abs/2111.07470 (2021) - 2020
- [i4]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 abs/2003.12140 (2020) - [i3]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 abs/2010.07445 (2020)
2010 – 2019
- 2019
- [i2]Shreya Agrawal, Luke Barrington, Carla Bromberg, John Burge, Cenk Gazen, Jason Hickey:
Machine Learning for Precipitation Nowcasting from Radar Images. CoRR abs/1912.12132 (2019) - 2018
- [i1]Jiaqi Jiang, David Sell, Stephan Hoyer, Jason Hickey, Jianji Yang, Jonathan A. Fan:
Data-driven metasurface discovery. CoRR abs/1811.12436 (2018) - 2013
- [b1]Yaron Minsky, Anil Madhavapeddy, Jason Hickey:
Real World OCaml - Functional Programming for the Masses. O'Reilly 2013, ISBN 978-1-4493-2391-2, pp. I-XXII, 1-483 - 2012
- [c27]Jirí Simsa, Randy Bryant, Garth A. Gibson, Jason Hickey:
Scalable Dynamic Partial Order Reduction. RV 2012: 19-34
2000 – 2009
- 2009
- [j2]Cristian Tapus, Jason Hickey:
Distributed speculative execution for reliability and fault tolerance: an operational semantics. Distributed Comput. 21(6): 433-455 (2009) - 2007
- [c26]Cristian Tapus, Jason Hickey:
A Theory of Nested Speculative Execution. COORDINATION 2007: 151-170 - [c25]Justin D. Smith, Cristian Tapus, Jason Hickey:
The Mojave Compiler: Providing Language Primitives for Whole-Process Migration and Speculation for Distributed Applications. IPDPS 2007: 1-8 - [c24]Cristian Tapus, Jason Hickey:
Speculations: providing fault-tolerance and improving performance of parallel applications. PPoPP 2007: 152-153 - 2006
- [j1]Jason Hickey, Aleksey Nogin
:
Formal compiler construction in a logical framework. High. Order Symb. Comput. 19(2-3): 197-230 (2006) - [c23]Jason Hickey, Aleksey Nogin
:
: Designing a Scalable Build Process. FASE 2006: 63-78 - [c22]Cristian Tapus, Jason Hickey:
Speculations: Providing Fault-tolerance and Recoverability in Distributed Environments. HotDep 2006 - [c21]Jason Hickey, Aleksey Nogin
, Xin Yu, Alexei Kopylov:
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. ICFP 2006: 172-183 - [c20]Cristian Tapus, David A. Noblet, Jason Hickey:
MojaveComm: A Robust Group Communication Library for Grid Environments. ICNS 2006: 77 - [c19]Cristian Tapus, David A. Noblet, Vlad Grama, Jason Hickey:
MojaveFS: Providing Sequential Consistency in a Distributed Objects System. ISPDC 2006: 66-73 - [c18]Jason Hickey, Aleksey Nogin
, Xin Yu, Alexei Kopylov:
Practical Reflection for Sequent Logics. LFMTP@FLoC 2006: 79-94 - 2005
- [c17]Cristian Tapus, Jason Hickey:
Distributed synchronization with shared semaphore sets. CCGRID 2005: 921-928 - [c16]Aleksey Nogin
, Alexei Kopylov, Xin Yu, Jason Hickey:
A computational approach to reflective meta-reasoning about languages with bindings. MERLIN 2005: 2-12 - 2004
- [c15]Cristian Tapus, Aleksey Nogin, Jason Hickey, Jerome White:
A Mechanism for Sequential Consistency in a Distributed Objects System. PDCS 2004: 284-289 - [c14]Jason Hickey, Aleksey Nogin
:
Extensible Hierarchical Tactic Construction in a Logical Framework. TPHOLs 2004: 136-151 - 2003
- [c13]Adam Granicz, Jason Hickey:
Phobos: A Front-End Approach to Extensible Compilers. HICSS 2003: 324 - [c12]Jason Hickey, Aleksey Nogin
, Adam Granicz:
Compiler implementation in a formal logical framework. MERLIN 2003 - [c11]Adam Granicz, Daniel M. Zimmerman, Jason Hickey:
Rewriting UNITY. RTA 2003: 138-147 - [c10]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: 287-303 - 2002
- [c9]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: 86-88 - [c8]Aleksey Nogin
, Jason Hickey:
Sequent Schema for Derived Rules. TPHOLs 2002: 281-297 - 2000
- [c7]Jason Hickey, Aleksey Nogin
:
Fast Tactic-Based Theorem Proving. TPHOLs 2000: 252-267
1990 – 1999
- 1999
- [c6]Jason Hickey:
Fault-Tolerant Distributed Theorem Proving. CADE 1999: 227-231 - [c5]Mark Bickford, Jason Hickey:
Predicate Transformers for Infinite-State Automata in NuPRL Type Theory. IWFM 1999 - [c4]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: 80-92 - [c3]Jason Hickey, Nancy A. Lynch, Robbert van Renesse:
Specifications and Proofs for Ensemble Layers. TACAS 1999: 119-133 - 1998
- [c2]Christoph Kreitz, Mark Hayden, Jason Hickey:
A Proof Environment for the Development of Group Communication Systems. CADE 1998: 317-332 - 1994
- [c1]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: 52-71
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint