Robert M. Kirby

Mike Kirby

2009
38	EE	Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur: Formal verification of practical MPI programs. PPOPP 2009: 261-270
2008
37	EE	Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby: Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings. CAV 2008: 66-79
36	EE	Ganesh Gopalakrishnan, Robert M. Kirby: Runtime verification methods for MPI. IPDPS 2008: 1-5
35	EE	Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby: Scheduling considerations for building dynamic verification tools for MPI. PADTAD 2008: 3
34	EE	Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby: Formal specification of the MPI-2.0 standard in TLA+. PPOPP 2008: 283-284
33	EE	Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby: ISP: a tool for model checking MPI programs. PPOPP 2008: 285-286
32	EE	Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp: Implementing Efficient Dynamic Formal Verification Methods for MPI Programs. PVM/MPI 2008: 248-256
31	EE	Subodh Sharma, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp: A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs. PVM/MPI 2008: 265-273
30	EE	Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Efficient Stateful Dynamic Partial Order Reduction. SPIN 2008: 288-305
29	EE	Tim Kröger, Inga Altrogge, Olaf Konrad, Robert M. Kirby, Tobias Preusser: Estimation of Probability Density Functions for Parameter Sensitivity Analyses. SimVis 2008: 61-74
28	EE	Tobias Martin, Elaine Cohen, Mike Kirby: Volumetric parameterization and trivariate b-spline fitting using harmonic functions. Symposium on Solid and Physical Modeling 2008: 269-280
27	EE	Michael Steffen, Sean Curtis, Robert M. Kirby, Jennifer K. Ryan: Investigation of Smoothness-Increasing Accuracy-Conserving Filters for Improving Streamline Integration through Discontinuous Fields. IEEE Trans. Vis. Comput. Graph. 14(3): 680-692 (2008)
26	EE	Miriah D. Meyer, Ross T. Whitaker, Robert M. Kirby, Christian Ledergerber, Hanspeter Pfister: Particle-based Sampling and Meshing of Surfaces in Multimaterial Volumes. IEEE Trans. Vis. Comput. Graph. 14(6): 1539-1546 (2008)
25	EE	Tobias Preusser, Hanno Scharr, Kai Krajsek, Robert M. Kirby: Building Blocks for Computer Vision with Stochastic Partial Differential Equations. International Journal of Computer Vision 80(3): 375-405 (2008)
2007
24	EE	Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby: An Approach to Formalization and Analysis of Message Passing Libraries. FMICS 2007: 164-181
23	EE	Ganesh Gopalakrishnan, Robert M. Kirby: Formal Analysis for Debugging and Performance Optimization of MPI. IPDPS 2007: 1-6
22	EE	Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby: Semantics driven dynamic partial-order reduction of MPI-based parallel programs. PADTAD 2007: 43-53
21	EE	Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, William Gropp: Practical Model-Checking Method for Verifying Correctness of MPI Programs. PVM/MPI 2007: 344-353
20	EE	Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. SPIN 2007: 58-75
19	EE	C. W. Hamman, Robert M. Kirby, Martin Berzins: Parallelization and scalability of a spectral element channel flow solver for incompressible Navier-Stokes equations. Concurrency and Computation: Practice and Experience 19(10): 1403-1422 (2007)
18	EE	Ganesh Gopalakrishnan, Robert M. Kirby: Formal Methods for MPI Programs. Electr. Notes Theor. Comput. Sci. 193: 19-27 (2007)
17	EE	Miriah D. Meyer, Blake Nelson, Robert M. Kirby, Ross T. Whitaker: Particle Systems for Efficient and Accurate High-Order Finite Element Visualization. IEEE Trans. Vis. Comput. Graph. 13(5): 1015-1026 (2007)
16	EE	Miriah D. Meyer, Robert M. Kirby, Ross T. Whitaker: Topology, Accuracy, and Quality of Isosurface Meshes Using Dynamic Particles. IEEE Trans. Vis. Comput. Graph. 13(6): 1704-1711 (2007)
15	EE	Sean Curtis, Robert M. Kirby, Jennifer K. Ryan, Chi-Wang Shu: Postprocessing for the Discontinuous Galerkin Method over Nonuniform Meshes. SIAM J. Scientific Computing 30(1): 272-289 (2007)
2006
14	EE	Ganesh Gopalakrishnan, Robert M. Kirby: Toward reliable and efficient message passing software through formal analysis. IPDPS 2006
13	EE	Robert M. Kirby, Cullen R. Johnson, Martin Berzins: Involving Undergraduates in Computational Science and Engineering Research: Successes and Challenges. International Conference on Computational Science (2) 2006: 147-154
12	EE	Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William D. Gropp: Formal Verification of Programs That Use MPI One-Sided Communication. PVM/MPI 2006: 30-39
11	EE	Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan: Parallel and Distributed Model Checking in Eddy. SPIN 2006: 108-125
10	EE	Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopalakrishnan, Robert M. Kirby: Gauss: A Framework for Verifying Scientific Computing Software. Electr. Notes Theor. Comput. Sci. 144(3): 95-106 (2006)
9	EE	Blake Nelson, Robert M. Kirby: Ray-Tracing Polymorphic Multidomain Spectral/hp Elements for Isosurface Rendering. IEEE Trans. Vis. Comput. Graph. 12(1): 114-125 (2006)
2005
8	EE	David E. Breen, Mike Kirby, Aaron E. Lefohn, Ken Museth, Tobias Preusser, Guillermo Sapiro, Ross T. Whitaker: Level Set and PDE Methods for Visualization. IEEE Visualization 2005: 125
7	EE	Martin Berzins, Robert M. Kirby, Cullen R. Johnson: Integrating Teaching and Research in HPC: Experiences and Opportunities. International Conference on Computational Science (2) 2005: 36-43
6	EE	David H. Laidlaw, Robert M. Kirby, Cullen D. Jackson, J. Scott Davidson, Timothy S. Miller, Marco da Silva, William H. Warren, Michael J. Tarr: Comparing 2D Vector Field Visualization Methods: A User Study. IEEE Trans. Vis. Comput. Graph. 11(1): 59-70 (2005)
5	EE	Robert M. Kirby, George E. Karniadakis: Selecting the Numerical Flux in Discontinuous Galerkin Methods for Diffusion Problems. J. Sci. Comput. 22(1): 385-411 (2005)
2004
4	EE	Allen R. Sanderson, Chris R. Johnson, Robert M. Kirby: Display of Vector Fields Using a Reaction-Diffusion Model. IEEE Visualization 2004: 115-122
2001
3	EE	David H. Laidlaw, Robert M. Kirby, J. Scott Davidson, Timothy S. Miller, Marco da Silva, William H. Warren, Michael J. Tarr: Quantitative Comparative Evaluation of 2D Vector Field Visualization Methods. IEEE Visualization 2001
2000
2	EE	Andrew S. Forsberg, David H. Laidlaw, Andries van Dam, Robert M. Kirby, George E. Karniadakis, Jonathan L. Elion: Immersive virtual reality for visualizing flow through an artery. IEEE Visualization 2000: 457-460
1999
1		Robert M. Kirby, H. Marmanis, David H. Laidlaw: Visualizing Multivalued Data from 2D Incompressible Flows Using Concepts from Painting. IEEE Visualization 1999: 333-340

Coauthor Index

1	Inga Altrogge	[29]
2	Steve Barrus	[10]
3	Martin Berzins	[7] [13] [19]
4	David E. Breen	[8]
5	Xiaofang Chen	[20] [30]
6	Elaine Cohen	[28]
7	Sean Curtis	[15] [27]
8	Andries van Dam	[2]
9	J. Scott Davidson	[3] [6]
10	Michael Delisi	[24] [32] [34] [35] [38]
11	Jonathan L. Elion	[2]
12	Andrew S. Forsberg	[2]
13	Ganesh Gopalakrishnan	[10] [11] [12] [14] [18] [20] [21] [22] [23] [24] [30] [31] [32] [33] [34] [35] [36] [37] [38]
14	William Gropp (William D. Gropp, Bill Gropp)	[12] [21] [31] [32]
15	C. W. Hamman	[19]
16	Cullen D. Jackson	[6]
17	Chris R. Johnson	[4]
18	Cullen R. Johnson	[7] [13]
19	George E. Karniadakis	[2] [5]
20	Olaf Konrad	[29]
21	Kai Krajsek	[25]
22	Tim Kröger	[29]
23	David H. Laidlaw	[1] [2] [3] [6]
24	Christian Ledergerber	[26]
25	Aaron E. Lefohn	[8]
26	Guodong Li	[34]
27	H. Marmanis	[1]
28	Tobias Martin	[28]
29	Igor Melatti	[11]
30	Miriah D. Meyer	[16] [17] [26]
31	Timothy S. Miller	[3] [6]
32	Ken Museth	[8]
33	Blake Nelson	[9] [17]
34	Robert Palmer	[10] [11] [21] [22] [24]
35	Salman Pervez	[12] [21]
36	Hanspeter Pfister	[26]
37	Tobias Preusser	[8] [25] [29]
38	Jennifer K. Ryan	[15] [27]
39	Allen R. Sanderson	[4]
40	Guillermo Sapiro	[8]
41	Geoffrey Sawaya	[11]
42	Hanno Scharr	[25]
43	Subodh Sharma	[31] [33]
44	Chi-Wang Shu	[15]
45	Marco da Silva	[3] [6]
46	Michael Steffen	[27]
47	Michael J. Tarr	[3] [6]
48	Rajeev Thakur	[12] [21] [31] [32] [38]
49	Sarvani S. Vakkalanka	[31] [32] [33] [35] [37] [38]
50	Anh Vo	[38]
51	William H. Warren	[3] [6]
52	Ross T. Whitaker	[8] [16] [17] [26]
53	Yu Yang	[10] [11] [20] [30]

Colors in the list of coauthors