Robert M. Kirby

Mike Kirby

	2009
48		Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby: Reduced Execution Semantics of MPI: From Theory to Practice. FM 2009: 724-740
47		Sarah E. Geneser, Robert M. Kirby, Brian Wang, Bill Salter, Sarang C. Joshi: Incorporating Patient Breathing Variability into a Stochastic Model of Dose Deposition for Stereotactic Body Radiation Therapy. IPMI 2009: 688-700
46		Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur: Formal verification of practical MPI programs. PPOPP 2009: 261-270
45		Sriram Aananthakrishnan, Michael Delisi, Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur: How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations. PVM/MPI 2009: 261-270
44		Anh Vo, Sarvani S. Vakkalanka, Jason Williams, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur: Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism. PVM/MPI 2009: 271-281
43		Sarvani S. Vakkalanka, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur: Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract). PVM/MPI 2009: 329-330
42		Ganesh Gopalakrishnan, Robert M. Kirby: Practical Formal Verification of MPI and Thread Programs. PVM/MPI 2009: 8
41		Tiago Etiene, Carlos Eduardo Scheidegger, Luis Gustavo Nonato, Robert M. Kirby, Cláudio T. Silva: Verifiable Visualization for Isosurface Extraction. IEEE Trans. Vis. Comput. Graph. 15(6): 1227-1234 (2009)
40		David Walfisch, Jennifer K. Ryan, Robert M. Kirby, Robert Haimes: One-Sided Smoothness-Increasing Accuracy-Conserving Filtering for Enhanced Streamline Integration through Discontinuous Fields. J. Sci. Comput. 38(2): 164-184 (2009)
39		Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan: Parallel and distributed model checking in Eddy. STTT 11(1): 13-25 (2009)
	2008
38		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
37		Ganesh Gopalakrishnan, Robert M. Kirby: Runtime verification methods for MPI. IPDPS 2008: 1-5
36		Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby: Scheduling considerations for building dynamic verification tools for MPI. PADTAD 2008: 3
35		Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby: Formal specification of the MPI-2.0 standard in TLA+. PPOPP 2008: 283-284
34		Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby: ISP: a tool for model checking MPI programs. PPOPP 2008: 285-286
33		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
32		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
31		Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Efficient Stateful Dynamic Partial Order Reduction. SPIN 2008: 288-305
30		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
29		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
28		Robert M. Kirby, Cláudio T. Silva: The Need for Verifiable Visualization. IEEE Computer Graphics and Applications 28(5): 78-83 (2008)
27		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		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		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		Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby: An Approach to Formalization and Analysis of Message Passing Libraries. FMICS 2007: 164-181
23		Ganesh Gopalakrishnan, Robert M. Kirby: Formal Analysis for Debugging and Performance Optimization of MPI. IPDPS 2007: 1-6
22		Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby: Semantics driven dynamic partial-order reduction of MPI-based parallel programs. PADTAD 2007: 43-53
21		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		Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. SPIN 2007: 58-75
19		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		Ganesh Gopalakrishnan, Robert M. Kirby: Formal Methods for MPI Programs. Electr. Notes Theor. Comput. Sci. 193: 19-27 (2007)
17		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		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		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		Ganesh Gopalakrishnan, Robert M. Kirby: Toward reliable and efficient message passing software through formal analysis. IPDPS 2006
13		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		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		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		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		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		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		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		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		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		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		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		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	Sriram Aananthakrishnan	[45]
2	Inga Altrogge	[30]
3	Steve Barrus	[10]
4	Martin Berzins	[7] [13] [19]
5	David E. Breen	[8]
6	Xiaofang Chen	[20] [31]
7	Elaine Cohen	[29]
8	Sean Curtis	[15] [27]
9	Andries van Dam	[2]
10	J. Scott Davidson	[3] [6]
11	Michael Delisi	[24] [33] [35] [36] [45] [46]
12	Jonathan L. Elion	[2]
13	Tiago Etiene	[41]
14	Andrew S. Forsberg	[2]
15	Sarah E. Geneser	[47]
16	Ganesh Gopalakrishnan	[10] [11] [12] [14] [18] [20] [21] [22] [23] [24] [31] [32] [33] [34] [35] [36] [37] [38] [39] [42] [43] [44] [45] [46] [48]
17	William Gropp (William D. Gropp, Bill Gropp)	[12] [21] [32] [33]
18	Robert Haimes	[40]
19	C. W. Hamman	[19]
20	Cullen D. Jackson	[6]
21	Chris R. Johnson	[4]
22	Cullen R. Johnson	[7] [13]
23	Sarang C. Joshi	[47]
24	George E. Karniadakis	[2] [5]
25	Olaf Konrad	[30]
26	Kai Krajsek	[25]
27	Tim Kröger	[30]
28	David H. Laidlaw	[1] [2] [3] [6]
29	Christian Ledergerber	[26]
30	Aaron E. Lefohn	[8]
31	Guodong Li	[35]
32	H. Marmanis	[1]
33	Tobias Martin	[29]
34	Igor Melatti	[11] [39]
35	Miriah D. Meyer	[16] [17] [26]
36	Timothy S. Miller	[3] [6]
37	Ken Museth	[8]
38	Blake Nelson	[9] [17]
39	Luis Gustavo Nonato	[41]
40	Robert Palmer	[10] [11] [21] [22] [24] [39]
41	Salman Pervez	[12] [21]
42	Hanspeter Pfister	[26]
43	Tobias Preusser	[8] [25] [30]
44	Jennifer K. Ryan	[15] [27] [40]
45	Bill Salter	[47]
46	Allen R. Sanderson	[4]
47	Guillermo Sapiro	[8]
48	Geoffrey Sawaya	[11] [39]
49	Hanno Scharr	[25]
50	Carlos Eduardo Scheidegger	[41]
51	Subodh Sharma	[32] [34]
52	Chi-Wang Shu	[15]
53	Cláudio T. Silva	[28] [41]
54	Marco da Silva	[3] [6]
55	Michael Steffen	[27]
56	Grzegorz Szubzda	[43]
57	Michael J. Tarr	[3] [6]
58	Rajeev Thakur	[12] [21] [32] [33] [43] [44] [45] [46]
59	Sarvani S. Vakkalanka	[32] [33] [34] [36] [38] [43] [44] [45] [46] [48]
60	Anh Vo	[43] [44] [45] [46] [48]
61	David Walfisch	[40]
62	Brian Wang	[47]
63	William H. Warren	[3] [6]
64	Ross T. Whitaker	[8] [16] [17] [26]
65	Jason Williams	[44]
66	Yu Yang	[10] [11] [20] [31] [39]

Colors in the list of coauthors