Jason Hickey

Affiliations:
  • Google


According to our database1, Jason Hickey authored at least 38 papers between 1994 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
High-Resolution Building and Road Detection from Sentinel-2.
CoRR, 2023

A Machine Learning Outlook: Post-processing of Global Medium-range Forecasts.
CoRR, 2023

2022
Global Extreme Heat Forecasting Using Neural Weather Models.
CoRR, 2022

2021
Skillful Twelve Hour Precipitation Forecasts using Large Context Neural Networks.
CoRR, 2021

2020
Deep Learning Models for Predicting Wildfires from Historical Remote-Sensing Data.
CoRR, 2020

MetNet: A Neural Weather Model for Precipitation Forecasting.
CoRR, 2020

2019
Machine Learning for Precipitation Nowcasting from Radar Images.
CoRR, 2019

2018
Data-driven metasurface discovery.
CoRR, 2018

2013
Real World OCaml - Functional Programming for the Masses.
O'Reilly, ISBN: 978-1-4493-2391-2, 2013

2012
Scalable Dynamic Partial Order Reduction.
Proceedings of the Runtime Verification, Third International Conference, 2012

2009
Distributed speculative execution for reliability and fault tolerance: an operational semantics.
Distributed Comput., 2009

2007
Speculations: providing fault-tolerance and improving performance of parallel applications.
Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

The Mojave Compiler: Providing Language Primitives for Whole-Process Migration and Speculation for Distributed Applications.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

A Theory of Nested Speculative Execution.
Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

2006
Formal compiler construction in a logical framework.
High. Order Symb. Comput., 2006

Practical Reflection for Sequent Logics.
Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2006

MojaveFS: Providing Sequential Consistency in a Distributed Objects System.
Proceedings of the 5th International Symposium on Parallel and Distributed Computing (ISPDC 2006), 2006

MojaveComm: A Robust Group Communication Library for Grid Environments.
Proceedings of the 2006 International Conference on Networking and Services (ICNS 2006), 2006

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection.
Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

Speculations: Providing Fault-tolerance and Recoverability in Distributed Environments.
Proceedings of the Second Workshop on Hot Topics in System Dependability, 2006

: Designing a Scalable Build Process.
Proceedings of the Fundamental Approaches to Software Engineering, 2006

2005
A computational approach to reflective meta-reasoning about languages with bindings.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2005

Distributed synchronization with shared semaphore sets.
Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005

2004
Extensible Hierarchical Tactic Construction in a Logical Framework.
Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

A Mechanism for Sequential Consistency in a Distributed Objects System.
Proceedings of the ISCA 17th International Conference on Parallel and Distributed Computing Systems, 2004

2003
MetaPRL - A Modular Logical Environment.
Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

Rewriting UNITY.
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

Compiler implementation in a formal logical framework.
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

Phobos: A Front-End Approach to Extensible Compilers.
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

2002
Sequent Schema for Derived Rules.
Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

The Caltech Multi-Vehicle Wireless Testbed.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2000
Fast Tactic-Based Theorem Proving.
Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

1999
Specifications and Proofs for Ensemble Layers.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Building reliable, high-performance communication systems from components.
Proceedings of the 17th ACM Symposium on Operating System Principles, 1999

Predicate Transformers for Infinite-State Automata in NuPRL Type Theory.
Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999

Fault-Tolerant Distributed Theorem Proving.
Proceedings of the Automated Deduction, 1999

1998
A Proof Environment for the Development of Group Communication Systems.
Proceedings of the Automated Deduction, 1998

1994
Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization.
Proceedings of the Theorem Provers in Circuit Design, 1994


  Loading...