Jason Hickey - RankMe

41 papers A* 1A 5B 4C 2Journal 13Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	WAXAL: A Large-Scale Multilingual African Language Speech Corpus. CoRR Abdoulaye Diack, Perry Nelson, Kwaku Agbesi, Angela Nakalembe, MohamedElfatih MohamedKhair, Vusumuzi Dube, Tavonga Siyavora, Subhashini Venugopalan, Jason Hickey, Uche Okonkwo, Abhishek Bapna, Isaac Wiafe, Raynard Dodzi Helegah, Elikem Doe Atsakpo, Charles Nutrokpor, Fiifi Baffoe Payin Winful, Kafui Kwashie Solaga, Jamal-Deen Abdulai, Akon Obu Ekpezu, Audace Niyonkuru, Samuel Rutunda, Boris Ishimwe, Michael Melese, Engineer Bainomugisha, Joyce Nakatumba-Nabende, Andrew Katumba, Claire Babirye, Jonathan Mukiibi, Vincent Kimani, Samuel Kibacia, James Maina, Fridah Emmah, Ahmed Ibrahim Shekarau, Ibrahim Shehu Adamu, Yusuf Abdullahi, Howard Lakougna, Bob MacDonald, Hadar Shemtov, Aisha Walcott-Bryant, Moustapha Cisse, Avinatan Hassidim, Jeff Dean, Yossi Matias
2025	J	`jnl`	An Operational Deep Learning System for Satellite-Based High-Resolution Global Nowcasting. CoRR Shreya Agrawal, Mohammed Alewi Hassen, Emmanuel Asiedu Brempong, Boris Babenko, Fred Zyda, Olivia Graham, Di Li, Samier Merchant, Santiago Hincapie Potes, Tyler Russell, Danny Cheresnick, Aditya Prakash Kakkirala, Stephan Rasp, Avinatan Hassidim, Yossi Matias, Nal Kalchbrenner, Pramod Gupta, Jason Hickey, Aaron Bell
2025	J	`jnl`	Oya: Deep Learning for Accurate Global Precipitation Estimation. CoRR Emmanuel Asiedu Brempong, Mohammed Alewi Hassen, MohamedElfatih MohamedKhair, Vusumuzi Dube, Santiago Hincapie Potes, Olivia Graham, Amanie Brik, Amy McGovern, George J. Huffman, Jason Hickey
2023	J	`jnl`	A Machine Learning Outlook: Post-processing of Global Medium-range Forecasts. CoRR Shreya Agrawal, Rob Carver, Cenk Gazen, Eric S. Maddy, Vladimir Krasnopolsky, Carla Bromberg, Zack Ontiveros, Tyler Russell, Jason Hickey, Sid-Ahmed Boukabara
2023	J	`jnl`	High-Resolution Building and Road Detection from Sentinel-2. CoRR 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
2022	J	`jnl`	Global Extreme Heat Forecasting Using Neural Weather Models. CoRR Ignacio Lopez-Gomez, Amy McGovern, Shreya Agrawal, Jason Hickey
2021	J	`jnl`	Skillful Twelve Hour Precipitation Forecasts using Large Context Neural Networks. CoRR Lasse Espeholt, Shreya Agrawal, Casper Kaae Sønderby, Manoj Kumar, Jonathan Heek, Carla Bromberg, Cenk Gazen, Jason Hickey, Aaron Bell, Nal Kalchbrenner
2020	J	`jnl`	Deep Learning Models for Predicting Wildfires from Historical Remote-Sensing Data. CoRR Fantine Huot, R. Lily Hu, Matthias Ihme, Qing Wang, John Burge, Tianjian Lu, Jason Hickey, Yi-Fan Chen, John R. Anderson
2020	J	`jnl`	MetNet: A Neural Weather Model for Precipitation Forecasting. CoRR Casper Kaae Sønderby, Lasse Espeholt, Jonathan Heek, Mostafa Dehghani, Avital Oliver, Tim Salimans, Shreya Agrawal, Jason Hickey, Nal Kalchbrenner
2019	J	`jnl`	Machine Learning for Precipitation Nowcasting from Radar Images. CoRR Shreya Agrawal, Luke Barrington, Carla Bromberg, John Burge, Cenk Gazen, Jason Hickey
2018	J	`jnl`	Data-driven metasurface discovery. CoRR Jiaqi Jiang, David Sell, Stephan Hoyer, Jason Hickey, Jianji Yang, Jonathan A. Fan
2013	—	`book`	Real World OCaml - Functional Programming for the Masses. Yaron Minsky, Anil Madhavapeddy, Jason Hickey
2012	B	`conf`	Scalable Dynamic Partial Order Reduction. RV Jirí Simsa, Randy Bryant, Garth A. Gibson, Jason Hickey
2009	J	`jnl`	Distributed speculative execution for reliability and fault tolerance: an operational semantics. Distributed Comput. Cristian Tapus, Jason Hickey
2007	C	`conf`	A Theory of Nested Speculative Execution. COORDINATION Cristian Tapus, Jason Hickey
2007	B	`conf`	Speculations: providing fault-tolerance and improving performance of parallel applications. PPoPP Cristian Tapus, Jason Hickey
2007	A	`conf`	The Mojave Compiler: Providing Language Primitives for Whole-Process Migration and Speculation for Distributed Applications. IPDPS Justin D. Smith, Cristian Tapus, Jason Hickey
2006	B	`conf`	: Designing a Scalable Build Process. FASE Jason Hickey, Aleksey Nogin
2006	J	`jnl`	Formal compiler construction in a logical framework. High. Order Symb. Comput. Jason Hickey, Aleksey Nogin
2006	A	`conf`	Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. ICFP Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov
2006	—	`conf`	MojaveComm: A Robust Group Communication Library for Grid Environments. ICNS Cristian Tapus, David A. Noblet, Jason Hickey
2006	C	`conf`	MojaveFS: Providing Sequential Consistency in a Distributed Objects System. ISPDC Cristian Tapus, David A. Noblet, Vlad Grama, Jason Hickey
2006	—	`conf`	Practical Reflection for Sequent Logics. LFMTP@FLoC Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov
2006	—	`conf`	Speculations: Providing Fault-tolerance and Recoverability in Distributed Environments. HotDep Cristian Tapus, Jason Hickey
2005	—	`conf`	A computational approach to reflective meta-reasoning about languages with bindings. MERLIN Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey
2005	B	`conf`	Distributed synchronization with shared semaphore sets. CCGRID Cristian Tapus, Jason Hickey
2004	—	`conf`	A Mechanism for Sequential Consistency in a Distributed Objects System. PDCS Cristian Tapus, Aleksey Nogin, Jason Hickey, Jerome White
2004	—	`conf`	Extensible Hierarchical Tactic Construction in a Logical Framework. TPHOLs Jason Hickey, Aleksey Nogin
2003	—	`conf`	Compiler implementation in a formal logical framework. MERLIN Jason Hickey, Aleksey Nogin, Adam Granicz
2003	—	`conf`	MetaPRL - A Modular Logical Environment. TPHOLs 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
2003	—	`conf`	Phobos: A Front-End Approach to Extensible Compilers. HICSS Adam Granicz, Jason Hickey
2003	—	`conf`	Rewriting UNITY. RTA Adam Granicz, Daniel M. Zimmerman, Jason Hickey
2002	—	`conf`	Sequent Schema for Derived Rules. TPHOLs Aleksey Nogin, Jason Hickey
2002	—	`conf`	The Caltech Multi-Vehicle Wireless Testbed. CDC Lars B. Cremean, William B. Dunbar, Dave van Gogh, Jason Hickey, Eric Klavins, Jason Meltzer, Richard M. Murray
2000	—	`conf`	Fast Tactic-Based Theorem Proving. TPHOLs Jason Hickey, Aleksey Nogin
1999	A*	`conf`	Building reliable, high-performance communication systems from components. SOSP Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden, Kenneth P. Birman, Robert L. Constable
1999	A	`conf`	Fault-Tolerant Distributed Theorem Proving. CADE Jason Hickey
1999	—	`conf`	Predicate Transformers for Infinite-State Automata in NuPRL Type Theory. IWFM Mark Bickford, Jason Hickey
1999	A	`conf`	Specifications and Proofs for Ensemble Layers. TACAS Jason Hickey, Nancy A. Lynch, Robbert van Renesse
1998	A	`conf`	A Proof Environment for the Development of Group Communication Systems. CADE Christoph Kreitz, Mark Hayden, Jason Hickey
1994	—	`conf`	Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization. TPCD John W. O'Leary, Miriam Leeser, Jason Hickey, Mark D. Aagaard