Robert M. Kirby
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
14
Active years
1999–2024
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AISTATS | Multi-Resolution Active Learning of Fourier Neural Operators. | Shibo Li, Xin Yu, Wei W. Xing, Robert M. Kirby, Akil Narayan, Shandian Zhe |
| 2024 | AISTATS | Equation Discovery with Bayesian Spike-and-Slab Priors and Efficient Kernels. | Da Long, Wei W. Xing, Aditi S. Krishnapriyan, Robert M. Kirby, Shandian Zhe, Michael W. Mahoney |
| 2023 | AISTATS | Meta-Learning with Adjoint Methods. | Shibo Li, Zheng Wang, Akil Narayan, Robert M. Kirby, Shandian Zhe |
| 2023 | ECAI | Adaptive Self-Supervision Algorithms for Physics-Informed Neural Networks. | Shashank Subramanian, Robert M. Kirby, Michael W. Mahoney, Amir Gholami |
| 2022 | AISTATS | Deep Multi-Fidelity Active Learning of High-Dimensional Outputs. | Shibo Li, Zheng Wang, Robert M. Kirby, Shandian Zhe |
| 2022 | AISTATS | Physics Informed Deep Kernel Learning. | Zheng Wang, Wei W. Xing, Robert M. Kirby, Shandian Zhe |
| 2022 | ICML | Bayesian Continuous-Time Tucker Decomposition. | Shikai Fang, Akil Narayan, Robert M. Kirby, Shandian Zhe |
| 2022 | ICML | Decomposing Temporal High-Order Interactions via Latent ODEs. | Shibo Li, Robert M. Kirby, Shandian Zhe |
| 2022 | ICML | AutoIP: A United Framework to Integrate Physics into Gaussian Processes. | Da Long, Zheng Wang, Aditi S. Krishnapriyan, Robert M. Kirby, Shandian Zhe, Michael W. Mahoney |
| 2021 | ISVC | Data-Driven Estimation of Temporal-Sampling Errors in Unsteady Flows. | Harsh Bhatia, Steve Petruzza, Rushil Anirudh, Attila Gyulassy, Robert M. Kirby, Valerio Pascucci, Peer-Timo Bremer |
| 2021 | UAI | Bayesian streaming sparse Tucker decomposition. | Shikai Fang, Robert M. Kirby, Shandian Zhe |
| 2020 | IJCAI | Scalable Gaussian Process Regression Networks. | Shibo Li, Wei W. Xing, Robert M. Kirby, Shandian Zhe |
| 2020 | ICS | A scalable framework for solving fractional diffusion equations. | Max Carlson, Robert M. Kirby, Hari Sundar |
| 2019 | AISTATS | Scalable High-Order Gaussian Process Regression. | Shandian Zhe, Wei W. Xing, Robert M. Kirby |
| 2013 | SC | A scalable, efficient scheme for evaluation of stencil computations over unstructured meshes. | James King, Robert M. Kirby |
| 2010 | PPoPP | A symbolic verifier for CUDA programs. | Guodong Li, Ganesh Gopalakrishnan, Robert M. Kirby, Daniel J. Quinlan |
| 2009 | FM | Reduced Execution Semantics of MPI: From Theory to Practice. | Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2009 | PPoPP | Formal verification of practical MPI programs. | Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur |
| 2008 | CAV | Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings. | Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2008 | ISSTA | Scheduling considerations for building dynamic verification tools for MPI. | Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2008 | PPoPP | Formal specification of the MPI-2.0 standard in TLA+. | Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2008 | PPoPP | ISP: a tool for model checking MPI programs. | Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2007 | FMICS | An Approach to Formalization and Analysis of Message Passing Libraries. | Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2007 | ISSTA | Semantics driven dynamic partial-order reduction of MPI-based parallel programs. | Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2006 | ICCS | Involving Undergraduates in Computational Science and Engineering Research: Successes and Challenges. | Robert M. Kirby, Cullen R. Johnson, Martin Berzins |
| 2005 | ICCS | Integrating Teaching and Research in HPC: Experiences and Opportunities. | Martin Berzins, Robert M. Kirby, Cullen R. Johnson |
| 1999 | SC | Direct Numerical Simulation of Turbulence with a PC/Linux Cluster: Fact or Fiction? | George-Sosei Karamanos, Constantinos Evangelinos, Richard C. Boes, Robert M. Kirby, George E. Karniadakis |