Robert M. Kirby

Orcid: 0000-0001-5712-4141

Affiliations:
  • University of Utah, Salt Lake City, UT, USA


According to our database1, Robert M. Kirby authored at least 227 papers between 1999 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Inherently interpretable machine learning solutions to differential equations.
Eng. Comput., August, 2024

Algorithm 1041: HiPPIS - A High-order Positivity-preserving Mapping Software for Structured Meshes.
ACM Trans. Math. Softw., March, 2024

Kolmogorov n-widths for multitask physics-informed machine learning (PIML) methods: Towards robust metrics.
Neural Networks, 2024

Non-uniform knot (NUK) SIAC post-processing of flow fields produced through unstructured grid adaptation and optimization.
J. Comput. Phys., 2024

Deep neural operators as accurate surrogates for shape optimization.
Eng. Appl. Artif. Intell., 2024

Complexity-Aware Deep Symbolic Regression with Robust Risk-Seeking Policy Gradients.
CoRR, 2024

Polynomial-Augmented Neural Networks (PANNs) with Weak Orthogonality Constraints for Enhanced Function and PDE Approximation.
CoRR, 2024

Solving High Frequency and Multi-Scale PDEs with Gaussian Processes.
Proceedings of the Twelfth International Conference on Learning Representations, 2024

Functional Bayesian Tucker Decomposition for Continuous-indexed Tensor Data.
Proceedings of the Twelfth International Conference on Learning Representations, 2024

Equation Discovery with Bayesian Spike-and-Slab Priors and Efficient Kernels.
Proceedings of the International Conference on Artificial Intelligence and Statistics, 2024

Multi-Resolution Active Learning of Fourier Neural Operators.
Proceedings of the International Conference on Artificial Intelligence and Statistics, 2024

2023
Convex optimization-based structure-preserving filter for multidimensional finite element simulations.
J. Comput. Phys., November, 2023

A unified scalable framework for causal sweeping strategies for Physics-Informed Neural Networks (PINNs) and their temporal decompositions.
J. Comput. Phys., November, 2023

ENO-based high-order data-bounded and constrained positivity-preserving interpolation.
Numer. Algorithms, March, 2023

A metalearning approach for Physics-Informed Neural Networks (PINNs): Application to parameterized PDEs.
J. Comput. Phys., March, 2023

Algorithm xxxx: HiPPIS A High-Order Positivity-Preserving Mapping Software for Structured Meshes.
CoRR, 2023

Neural Operator Learning for Ultrasound Tomography Inversion.
CoRR, 2023

Genetic Programming Based Symbolic Regression for Analytical Solutions to Differential Equations.
CoRR, 2023

Deep neural operators can serve as accurate surrogates for shape optimization: A case study for airfoils.
CoRR, 2023

Computer Science Abstractions to Help Reason About Decentralized Stablecoin Design.
IEEE Access, 2023

Streaming Factor Trajectory Learning for Temporal Tensor Decomposition.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Meta Learning of Interface Conditions for Multi-Domain Physics-Informed Neural Networks.
Proceedings of the International Conference on Machine Learning, 2023

Adaptive Self-Supervision Algorithms for Physics-Informed Neural Networks.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Risk-Free Interest Rates in Decentralized Finance.
Proceedings of the Fifth International Conference on Blockchain Computing and Applications, 2023

Meta-Learning with Adjoint Methods.
Proceedings of the International Conference on Artificial Intelligence and Statistics, 2023

2022
Particle Merging-and-Splitting.
IEEE Trans. Vis. Comput. Graph., 2022

A Bandit-Learning Approach to Multifidelity Approximation.
SIAM J. Sci. Comput., 2022

Fast Barycentric-Based Evaluation Over Spectral/hp Elements.
J. Sci. Comput., 2022

Multifidelity modeling for Physics-Informed Neural Networks (PINNs).
J. Comput. Phys., 2022

Meta Learning of Interface Conditions for Multi-Domain Physics-Informed Neural Networks.
CoRR, 2022

Dimensionality Reduction in Deep Learning via Kronecker Multi-layer Architectures.
CoRR, 2022

Machine Learning in Heterogeneous Porous Materials.
CoRR, 2022

GP-HMAT: Scalable, O(n log(n)) Gaussian Process Regression with Hierarchical Low-Rank Matrices.
CoRR, 2022

Batch Multi-Fidelity Active Learning with Budget Constraints.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Infinite-Fidelity Coregionalization for Physical Simulation.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Momentum Transformer: Closing the Performance Gap Between Self-attention and Its Linearization.
Proceedings of the Mathematical and Scientific Machine Learning, 2022

A scalable adaptive-matrix SPMV for heterogeneous architectures.
Proceedings of the 2022 IEEE International Parallel and Distributed Processing Symposium, 2022

AutoIP: A United Framework to Integrate Physics into Gaussian Processes.
Proceedings of the International Conference on Machine Learning, 2022

Decomposing Temporal High-Order Interactions via Latent ODEs.
Proceedings of the International Conference on Machine Learning, 2022

Bayesian Continuous-Time Tucker Decomposition.
Proceedings of the International Conference on Machine Learning, 2022

Physics Informed Deep Kernel Learning.
Proceedings of the International Conference on Artificial Intelligence and Statistics, 2022

Deep Multi-Fidelity Active Learning of High-Dimensional Outputs.
Proceedings of the International Conference on Artificial Intelligence and Statistics, 2022

2021
Message from VIS 2020 General Chairs.
IEEE Trans. Vis. Comput. Graph., 2021

Vector Field Decompositions Using Multiscale Poisson Kernel.
IEEE Trans. Vis. Comput. Graph., 2021

Structure-Preserving Nonlinear Filtering for Continuous and Discontinuous Galerkin Spectral/hp Element Methods.
SIAM J. Sci. Comput., 2021

Multilevel Designed Quadrature for Partial Differential Equations with Random Inputs.
SIAM J. Sci. Comput., 2021

Deep coregionalization for the emulation of simulation-based spatial-temporal fields.
J. Comput. Phys., 2021

An open-source parallel code for computing the spectral fractional Laplacian on 3D complex geometry domains.
Comput. Phys. Commun., 2021

Physics-Informed Neural Networks (PINNs) for Parameterized PDEs: A Metalearning Approach.
CoRR, 2021

Towards an Extrinsic, CG-XFEM Approach Based on Hierarchical Enrichments for Modeling Progressive Fracture.
CoRR, 2021

Residual Gaussian Process: A Tractable Nonparametric Bayesian Emulator for Multi-fidelity Simulations.
CoRR, 2021

Kernel optimization for Low-Rank Multi-Fidelity Algorithms.
CoRR, 2021

Image-Based Multiresolution Topology Optimization Using Deep Disjunctive Normal Shape Model.
Comput. Aided Des., 2021

Bayesian streaming sparse Tucker decomposition.
Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, 2021

Batch Multi-Fidelity Bayesian Optimization with Deep Auto-Regressive Networks.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Characterizing possible failure modes in physics-informed neural networks.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Data-Driven Estimation of Temporal-Sampling Errors in Unsteady Flows.
Proceedings of the Advances in Visual Computing - 16th International Symposium, 2021

A Compressed, Divide and Conquer Algorithm for Scalable Distributed Matrix-Matrix Multiplication.
Proceedings of the HPC Asia 2021: The International Conference on High Performance Computing in Asia-Pacific Region, 2021

Multi-Fidelity High-Order Gaussian Processes for Physical Simulation.
Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021

2020
The Effect of Data Transformations on Scalar Field Topological Analysis of High-Order FEM Solutions.
IEEE Trans. Vis. Comput. Graph., 2020

Structure-Preserving Function Approximation via Convex Optimization.
SIAM J. Sci. Comput., 2020

Efficient Matrix-Free High-Order Finite Element Evaluation for Simplicial Elements.
SIAM J. Sci. Comput., 2020

Generation of nested quadrature rules for generic weight functions via numerical optimization: Application to sparse grids.
J. Comput. Phys., 2020

<i>Nektar</i>++: Enhancing the capability and application of high-fidelity spectral/hp element methods.
Comput. Phys. Commun., 2020

Visualization of topology optimization designs with representative subset selection.
CoRR, 2020

Deep Multi-Fidelity Active Learning of High-dimensional Outputs.
CoRR, 2020

Numerical Testing of a New Positivity-Preserving Interpolation Algorithm.
CoRR, 2020

Physics Regularized Gaussian Processes.
CoRR, 2020

Scalable Variational Gaussian Process Regression Networks.
CoRR, 2020

Multi-Fidelity Bayesian Optimization via Deep Neural Networks.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Scalable Gaussian Process Regression Networks.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

A scalable framework for solving fractional diffusion equations.
Proceedings of the ICS '20: 2020 International Conference on Supercomputing, 2020

Infinite ShapeOdds: Nonparametric Bayesian Models for Shape Representations.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Convergence Acceleration for Time-Dependent Parametric Multifidelity Models.
SIAM J. Numer. Anal., 2019

Allocation Strategies for High Fidelity Models in the Multifidelity Regime.
SIAM/ASA J. Uncertain. Quantification, 2019

Interpolation Error Bounds for Curvilinear Finite Elements and Their Implications on Adaptive Mesh Refinement.
J. Sci. Comput., 2019

Smoothness-Increasing Accuracy-Conserving (SIAC) Filtering for Discontinuous Galerkin Solutions over Nonuniform Meshes: Superconvergence and Optimal Accuracy.
J. Sci. Comput., 2019

Efficient Algorithms for the Line-SIAC Filter.
J. Sci. Comput., 2019

Adaptive Characteristic Length for L-SIAC Filtering of FEM Data.
J. Sci. Comput., 2019

On weak Dirichlet boundary conditions for elliptic problems in the continuous Galerkin method.
J. Comput. Phys., 2019

Fast predictive multi-fidelity prediction with models of quantized fidelity levels.
J. Comput. Phys., 2019

Visual Computing in Materials Sciences (Dagstuhl Seminar 19151).
Dagstuhl Reports, 2019

Deep Coregionalization for the Emulation of Spatial-Temporal Fields.
CoRR, 2019

Nektar++: enhancing the capability and application of high-fidelity spectral/hp element methods.
CoRR, 2019

Data-Driven Model Order Reduction for Diffeomorphic Image Registration.
Proceedings of the Information Processing in Medical Imaging, 2019

Scalable Lazy-update Multigrid Preconditioners.
Proceedings of the 2019 IEEE High Performance Extreme Computing Conference, 2019

Scalable High-Order Gaussian Process Regression.
Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, 2019

2018
Visualization in Meteorology - A Survey of Techniques and Tools for Data Analysis Tasks.
IEEE Trans. Vis. Comput. Graph., 2018

On the Treatment of Field Quantities and Elemental Continuity in FEM Solutions.
IEEE Trans. Vis. Comput. Graph., 2018

Preface.
IEEE Trans. Vis. Comput. Graph., 2018

Robust Node Generation for Mesh-free Discretizations on Irregular Domains and Surfaces.
SIAM J. Sci. Comput., 2018

Numerical Integration in Multiple Dimensions with Designed Quadrature.
SIAM J. Sci. Comput., 2018

Curvilinear Mesh Adaptation Using Radial Basis Function Interpolation and Smoothing.
J. Sci. Comput., 2018

RBF-LOI: Augmenting Radial Basis Functions (RBFs) with Least Orthogonal Interpolation (LOI) for solving PDEs on surfaces.
J. Comput. Phys., 2018

Stochastic collocation approach with adaptive mesh refinement for parametric uncertainty analysis.
J. Comput. Phys., 2018

Performance Optimization Strategies for WRF Physics Schemes Used in Weather Modeling.
Int. J. Netw. Comput., 2018

Parametric Topology Optimization with Multi-Resolution Finite Element Models.
CoRR, 2018

Robust Node Generation for Meshfree Discretizations on Irregular Domains and Surfaces.
CoRR, 2018

Hypersliceplorer: Interactive visualization of shapes in multiple dimensions.
Comput. Graph. Forum, 2018

Improving Performance and Scalability of Algebraic Multigrid through a Specialized MATVEC.
Proceedings of the 2018 IEEE High Performance Extreme Computing Conference, 2018

2017
Stochastic Partial Differential Equations for Computer Vision with Uncertain Data
Synthesis Lectures on Visual Computing, Morgan & Claypool Publishers, ISBN: 978-3-031-02594-5, 2017

Preface.
IEEE Trans. Vis. Comput. Graph., 2017

Multi-Dimensional Filtering: Reducing the Dimension Through Rotation.
SIAM J. Sci. Comput., 2017

Hexagonal Smoothness-Increasing Accuracy-Conserving Filtering.
J. Sci. Comput., 2017

Exploration of Heterogeneous Data Using Robust Similarity.
CoRR, 2017

OpenMP 4 Fortran Modernization of WSM6 for KNL.
Proceedings of the Practice and Experience in Advanced Research Computing 2017: Sustainability, 2017

Optimization Strategies for WRF Single-Moment 6-Class Microphysics Scheme (WSM6) on Intel Microarchitectures.
Proceedings of the Fifth International Symposium on Computing and Networking, 2017

2016
To CG or to HDG: A Comparative Study in 3D.
J. Sci. Comput., 2016

Smoothness-Increasing Accuracy-Conserving (SIAC) Filtering and Quasi-Interpolation: A Unified View.
J. Sci. Comput., 2016

Smoothness-Increasing Accuracy-Conserving (SIAC) filters for derivative approximations of discontinuous Galerkin (DG) solutions over nonuniform meshes and near boundaries.
J. Comput. Appl. Math., 2016

Evaluating Shape Alignment via Ensemble Visualization.
IEEE Computer Graphics and Applications, 2016

Dynamic Sparse-Matrix Allocation on GPUs.
Proceedings of the High Performance Computing - 31st International Conference, 2016

2015
An Introduction to Verification of Visualization Techniques
Synthesis Lectures on Visual Computing, Morgan & Claypool Publishers, ISBN: 978-3-031-02587-7, 2015

A Radial Basis Function (RBF)-Finite Difference (FD) Method for Diffusion and Reaction-Diffusion Equations on Surfaces.
J. Sci. Comput., 2015

One-Sided Position-Dependent Smoothness-Increasing Accuracy-Conserving (SIAC) Filtering Over Uniform and Non-uniform Meshes.
J. Sci. Comput., 2015

Mixed aleatory and epistemic uncertainty quantification using fuzzy set theory.
Int. J. Approx. Reason., 2015

Nektar++: An open-source spectral/hp element framework.
Comput. Phys. Commun., 2015

Fast parallel solver for the levelset equations on unstructured meshes.
Concurr. Comput. Pract. Exp., 2015

Visualizing Time-Specific Hurricane Predictions, with Uncertainty, from Storm Path Ensembles.
Comput. Graph. Forum, 2015

Application of Uncertainty Modeling Frameworks to Uncertain Isosurface Extraction.
Proceedings of the Integrated Uncertainty in Knowledge Modelling and Decision Making, 2015

A GPU-Based MIS Aggregation Strategy: Algorithms, Comparisons, and Applications within AMG.
Proceedings of the 22nd IEEE International Conference on High Performance Computing, 2015

2014
GPU-Based Volume Visualization from High-Order Finite Element Fields.
IEEE Trans. Vis. Comput. Graph., 2014

Curve Boxplot: Generalization of Boxplot for Ensembles of Curves.
IEEE Trans. Vis. Comput. Graph., 2014

Verifying Volume Rendering Using Discretization Error Analysis.
IEEE Trans. Vis. Comput. Graph., 2014

Algorithm 940: Optimal Accumulator-Based Expression Evaluation through the Use of Expression Templates.
ACM Trans. Math. Softw., 2014

Smoothness-Increasing Accuracy-Conserving (SIAC) Filters for Discontinuous Galerkin Solutions: Application to Structured Tetrahedral Meshes.
J. Sci. Comput., 2014

Exploiting Batch Processing on Streaming Architectures to Solve 2D Elliptic Finite Element Problems: A Hybridized Discontinuous Galerkin (HDG) Case Study.
J. Sci. Comput., 2014

High-order spectral/hp element discretisation for reaction-diffusion problems on surfaces: Application to cardiac electrophysiology.
J. Comput. Phys., 2014

Architecting the finite element method pipeline for the GPU.
J. Comput. Appl. Math., 2014

Extracting Features from Time-Dependent Vector Fields Using Internal Reference Frames.
Comput. Graph. Forum, 2014

A Bayesian Approach to Quantifying Uncertainty in Tikhonov Solutions for the Inverse Problem of Electrocardiography.
Proceedings of the Computing in Cardiology, CinC 2014, 2014

2013
Contour Boxplots: A Method for Characterizing Uncertainty in Feature Sets from Simulation Ensembles.
IEEE Trans. Vis. Comput. Graph., 2013

Smoothness-Increasing Accuracy-Conserving Filters for Discontinuous Galerkin Solutions over Unstructured Triangular Meshes.
SIAM J. Sci. Comput., 2013

A Fast Iterative Method for Solving the Eikonal Equation on Tetrahedral Domains.
SIAM J. Sci. Comput., 2013

Inverse electrocardiographic source localization of ischemia: An optimization framework and finite element solution.
J. Comput. Phys., 2013

Ambrosio-Tortorelli Segmentation of Stochastic Images: Model Extensions, Theoretical Investigations and Numerical Methods.
Int. J. Comput. Vis., 2013

Augmenting the Immersed Boundary Method with Radial Basis Functions (RBFs) for the Modeling of Platelets in Hemodynamic Flows
CoRR, 2013

A Radial Basis Function (RBF)-Finite Difference Method for the Simulation of Reaction-Diffusion Equations on Stationary Platelets within the Augmented Forcing Method.
CoRR, 2013

Rethinking Abstractions for Big Data: Why, Where, How, and What.
CoRR, 2013

Visualization Collaborations: What Works and Why.
IEEE Computer Graphics and Applications, 2013

A scalable, efficient scheme for evaluation of stencil computations over unstructured meshes.
Proceedings of the International Conference for High Performance Computing, 2013

On Interpolation Errors over Quadratic Nodal Triangular Finite Elements.
Proceedings of the 22nd International Meshing Roundtable, 2013

A Study Of Discretization Errors In Volume Rendering Integral Approximations.
Proceedings of the 2nd EuroVis Workshop on Reproducibility, 2013

2012
ElVis: A System for the Accurate and Interactive Visualization of High-Order Finite Element Solutions.
IEEE Trans. Vis. Comput. Graph., 2012

Direct Isosurface Visualization of Hex-Based High-Order Geometry and Attribute Representations.
IEEE Trans. Vis. Comput. Graph., 2012

Topology Verification for Isosurface Extraction.
IEEE Trans. Vis. Comput. Graph., 2012

Stochastic Collocation for Optimal Control Problems with Stochastic PDE Constraints.
SIAM J. Control. Optim., 2012

Efficient Implementation of Smoothness-Increasing Accuracy-Conserving (SIAC) Filters for Discontinuous Galerkin Solutions.
J. Sci. Comput., 2012

To CG or to HDG: A Comparative Study.
J. Sci. Comput., 2012

Smoothness-Increasing Accuracy-Conserving (SIAC) Filtering for Discontinuous Galerkin Solutions: Improved Errors Versus Higher-Order Accuracy.
J. Sci. Comput., 2012

A Study of Different Modeling Choices For Simulating Platelets Within the Immersed Boundary Method
CoRR, 2012

Mixed-element volume completion from NURBS surfaces.
Comput. Graph., 2012

FTLE Computation Beyond First-Order Approximation.
Proceedings of the 33rd Annual Conference of the European Association for Computer Graphics, 2012

2011
GPU-Based Interactive Cut-Surface Extraction From High-Order Finite Element Fields.
IEEE Trans. Vis. Comput. Graph., 2011

Finite-Element-Based Discretization and Regularization Strategies for 3-D Inverse Electrocardiography.
IEEE Trans. Biomed. Eng., 2011

A Fast Iterative Method for Solving the Eikonal Equation on Triangulated Surfaces.
SIAM J. Sci. Comput., 2011

Smoothness-Increasing Accuracy-Conserving (SIAC) Postprocessing for Discontinuous Galerkin Solutions over Structured Triangular Meshes.
SIAM J. Numer. Anal., 2011

Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API.
Sci. Comput. Program., 2011

Quantifying variability in radiation dose due to respiratory-induced tumor motion.
Medical Image Anal., 2011

Numerical solution of linear Volterra integral equations of the second kind with sharp gradients.
J. Comput. Appl. Math., 2011

Formal analysis of MPI-based parallel programs.
Commun. ACM, 2011

An optimization framework for inversely estimating myocardial transmembrane potentials and localizing ischemia.
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update.
Proceedings of the 2011 International Conference on Parallel Architectures and Compilation Techniques, 2011

2010
Resolution Strategies for the Finite-Element-Based Solution of the ECG Inverse Problem.
IEEE Trans. Biomed. Eng., 2010

Distributed dynamic partial order reduction.
Int. J. Softw. Tools Technol. Transf., 2010

Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking.
Softw. Pract. Exp., 2010

Quantification of Errors Introduced in the Numerical Approximation and Implementation of Smoothness-Increasing Accuracy Conserving (SIAC) Filtering of Discontinuous Galerkin (DG) Fields.
J. Sci. Comput., 2010

From h to p efficiently: Implementing finite and spectral/hp element methods to achieve optimal performance for low- and high-order discretisations.
J. Comput. Phys., 2010

Top ten ways to make formal methods for HPC practical.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Precise Dynamic Analysis for Slack Elasticity: Adding Buffering without Adding Bugs.
Proceedings of the Recent Advances in the Message Passing Interface, 2010

A symbolic verifier for CUDA programs.
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

2009
Verifiable Visualization for Isosurface Extraction.
IEEE Trans. Vis. Comput. Graph., 2009

Using the Stochastic Collocation Method for the Uncertainty Quantification of Drug Concentration Due to Depot Shape Variability.
IEEE Trans. Biomed. Eng., 2009

Parallel and distributed model checking in Eddy.
Int. J. Softw. Tools Technol. Transf., 2009

One-Sided Smoothness-Increasing Accuracy-Conserving Filtering for Enhanced Streamline Integration through Discontinuous Fields.
J. Sci. Comput., 2009

Volumetric parameterization and trivariate B-spline fitting using harmonic functions.
Comput. Aided Geom. Des., 2009

Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2009

Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract).
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2009

Practical Formal Verification of MPI and Thread Programs.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2009

How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2009

Formal verification of practical MPI programs.
Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

Incorporating Patient Breathing Variability into a Stochastic Model of Dose Deposition for Stereotactic Body Radiation Therapy.
Proceedings of the Information Processing in Medical Imaging, 2009

Reduced Execution Semantics of MPI: From Theory to Practice.
Proceedings of the FM 2009: Formal Methods, 2009

2008
Investigation of Smoothness-Increasing Accuracy-Conserving Filters for Improving Streamline Integration through Discontinuous Fields.
IEEE Trans. Vis. Comput. Graph., 2008

Particle-based Sampling and Meshing of Surfaces in Multimaterial Volumes.
IEEE Trans. Vis. Comput. Graph., 2008

Application of Stochastic Finite Element Methods to Study the Sensitivity of ECG Forward Modeling to Organ Conductivity.
IEEE Trans. Biomed. Eng., 2008

Filtering in Legendre spectral methods.
Math. Comput., 2008

Building Blocks for Computer Vision with Stochastic Partial Differential Equations.
Int. J. Comput. Vis., 2008

The Need for Verifiable Visualization.
IEEE Computer Graphics and Applications, 2008

Efficient Stateful Dynamic Partial Order Reduction.
Proceedings of the Model Checking Software, 2008

Estimation of Probability Density Functions for Parameter Sensitivity Analyses.
Proceedings of the Simulation and Visualization 2008 (SimVis 2008), 2008

Implementing Efficient Dynamic Formal Verification Methods for MPI Programs.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2008

A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2008

ISP: a tool for model checking MPI programs.
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Formal specification of the MPI-2.0 standard in TLA+.
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Scheduling considerations for building dynamic verification tools for MPI.
Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, 2008

Runtime verification methods for MPI.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
Particle Systems for Efficient and Accurate High-Order Finite Element Visualization.
IEEE Trans. Vis. Comput. Graph., 2007

Topology, Accuracy, and Quality of Isosurface Meshes Using Dynamic Particles.
IEEE Trans. Vis. Comput. Graph., 2007

Postprocessing for the Discontinuous Galerkin Method over Nonuniform Meshes.
SIAM J. Sci. Comput., 2007

Unconditionally stable discretizations of the immersed boundary equations.
J. Comput. Phys., 2007

Towards stable coupling methods for high-order discretization of fluid-structure interaction: Algorithms and observations.
J. Comput. Phys., 2007

Formal Methods for MPI Programs.
Proceedings of the Festschrift honoring Gary Lindstrom on his retirement from the University of Utah after 30 years of service, 2007

Parallelization and scalability of a spectral element channel flow solver for incompressible Navier-Stokes equations.
Concurr. Comput. Pract. Exp., 2007

Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software.
Proceedings of the Model Checking Software, 2007

Practical Model-Checking Method for Verifying Correctness of MPI Programs.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User's Group Meeting, Paris, France, September 30, 2007

Semantics driven dynamic partial-order reduction of MPI-based parallel programs.
Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, 2007

Formal Analysis for Debugging and Performance Optimization of MPI.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

An Approach to Formalization and Analysis of Message Passing Libraries.
Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2006
Ray-Tracing Polymorphic Multidomain Spectral/hp Elements for Isosurface Rendering.
IEEE Trans. Vis. Comput. Graph., 2006

Advanced Reaction-Diffusion Models for Texture Synthesis.
J. Graph. Tools, 2006

Formal Verification of Programs That Use MPI One-Sided Communication.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2006

Toward reliable and efficient message passing software through formal analysis.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Involving Undergraduates in Computational Science and Engineering Research: Successes and Challenges.
Proceedings of the Computational Science, 2006

2005
Comparing 2D Vector Field Visualization Methods: A User Study.
IEEE Trans. Vis. Comput. Graph., 2005

Selecting the Numerical Flux in Discontinuous Galerkin Methods for Diffusion Problems.
J. Sci. Comput., 2005

Gauss: A Framework for Verifying Scientific Computing Software.
Proceedings of the 3rd Workshop on Software Model Checking, 2005

Level Set and PDE Methods for Visualization.
Proceedings of the 16th IEEE Visualization Conference, 2005

Integrating Teaching and Research in HPC: Experiences and Opportunities.
Proceedings of the Computational Science, 2005

Painting and Visualization.
Proceedings of the Visualization Handbook., 2005

2004
Display of Vector Fields Using a Reaction-Diffusion Model.
Proceedings of the 15th IEEE Visualization Conference, 2004

2003
Parallel Scientific Computing in C++ and MPI - A Seamless Approach to Parallel Algorithms and their Implementation.
Cambridge University Press, ISBN: 978-0-521-52080-5, 2003

2001
Quantitative Comparative Evaluation of 2D Vector Field Visualization Methods.
Proceedings of the 12th IEEE Visualization Conference, 2001

2000
Immersive virtual reality for visualizing flow through an artery.
Proceedings of the 11th IEEE Visualization Conference, 2000

1999
Visualizing Multivalued Data from 2D Incompressible Flows Using Concepts from Painting.
Proceedings of the 10th IEEE Visualization Conference, 1999

Direct Numerical Simulation of Turbulence with a PC/Linux Cluster: Fact or Fiction?
Proceedings of the ACM/IEEE Conference on Supercomputing, 1999


  Loading...