Robert M. Kirby

Mike Kirby

	2012
70		Tobias Martin, Elaine Cohen, Robert M. Kirby: Mixed-element volume completion from NURBS surfaces. Computers & Graphics 36(5): 548-554 (2012)
69		Tobias Martin, Elaine Cohen, Mike Kirby: Direct Isosurface Visualization of Hex-Based High-Order Geometry and Attribute Representations. IEEE Trans. Vis. Comput. Graph. 18(5): 753-766 (2012)
68		Tiago Etiene, Luis Gustavo Nonato, Carlos Eduardo Scheidegger, Julien Tierny, Thomas J. Peters, Valerio Pascucci, Robert M. Kirby, Cláudio T. Silva: Topology Verification for Isosurface Extraction. IEEE Trans. Vis. Comput. Graph. 18(6): 952-965 (2012)
67		Robert M. Kirby, Spencer J. Sherwin, Bernardo Cockburn: To CG or to HDG: A Comparative Study. J. Sci. Comput. 51(1): 183-212 (2012)
66		Hanieh Mirzaee, Jennifer K. Ryan, Robert M. Kirby: Efficient Implementation of Smoothness-Increasing Accuracy-Conserving (SIAC) Filters for Discontinuous Galerkin Solutions. J. Sci. Comput. 52(1): 85-112 (2012)
	2011
65		Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky: Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update. PACT 2011: 330-339
64		Ganesh Gopalakrishnan, Robert M. Kirby, Stephen F. Siegel, Rajeev Thakur, William Gropp, Ewing L. Lusk, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky: Formal analysis of MPI-based parallel programs. Commun. ACM 54(12): 82-91 (2011)
63		Blake Nelson, Robert M. Kirby, Robert Haimes: GPU-Based Interactive Cut-Surface Extraction From High-Order Finite Element Fields. IEEE Trans. Vis. Comput. Graph. 17(12): 1803-1811 (2011)
62		Samuel A. Isaacson, Robert M. Kirby: Numerical solution of linear Volterra integral equations of the second kind with sharp gradients. J. Computational Applied Mathematics 235(14): 4283-4301 (2011)
61		Sarah E. Geneser, Jacob Hinkle, Robert M. Kirby, B. Wang, Bill Salter, Sarang C. Joshi: Quantifying variability in radiation dose due to respiratory-induced tumor motion. Medical Image Analysis 15(4): 640-649 (2011)
60		Hanieh Mirzaee, Liangyue Ji, Jennifer K. Ryan, Robert M. Kirby: Smoothness-Increasing Accuracy-Conserving (SIAC) Postprocessing for Discontinuous Galerkin Solutions over Structured Triangular Meshes. SIAM J. Numerical Analysis 49(5): 1899-1920 (2011)
59		Zhisong Fu, Won-Ki Jeong, Yongsheng Pan, Robert M. Kirby, Ross T. Whitaker: A Fast Iterative Method for Solving the Eikonal Equation on Triangulated Surfaces. SIAM J. Scientific Computing 33(5): 2468-2488 (2011)
58		Guodong Li, Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby: Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API. Sci. Comput. Program. 76(2): 65-81 (2011)
	2010
57		Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby: Precise Dynamic Analysis for Slack Elasticity: Adding Buffering without Adding Bugs. EuroMPI 2010: 152-159
56		Ganesh Gopalakrishnan, Robert M. Kirby: Top ten ways to make formal methods for HPC practical. FoSER 2010: 137-142
55		Guodong Li, Ganesh Gopalakrishnan, Robert M. Kirby, Dan Quinlan: A symbolic verifier for CUDA programs. PPOPP 2010: 357-358
54		Peter E. J. Vos, Spencer J. Sherwin, Robert M. Kirby: From h to p efficiently: Implementing finite and spectral/hp element methods to achieve optimal performance for low- and high-order discretisations. J. Comput. Physics 229(13): 5161-5181 (2010)
53		Hanieh Mirzaee, Jennifer K. Ryan, Robert M. Kirby: 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. 45(1-3): 447-470 (2010)
52		Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Distributed dynamic partial order reduction. STTT 12(2): 113-122 (2010)
51		Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp: Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking. Softw., Pract. Exper. 40(1): 23-43 (2010)
	2009
50		Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby: Reduced Execution Semantics of MPI: From Theory to Practice. FM 2009: 724-740
49		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
48		Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur: Formal verification of practical MPI programs. PPOPP 2009: 261-270
47		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
46		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
45		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
44		Ganesh Gopalakrishnan, Robert M. Kirby: Practical Formal Verification of MPI and Thread Programs. PVM/MPI 2009: 8
43		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)
42		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)
41		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
40		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
39		Ganesh Gopalakrishnan, Robert M. Kirby: Runtime verification methods for MPI. IPDPS 2008: 1-5
38		Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby: Scheduling considerations for building dynamic verification tools for MPI. PADTAD 2008: 3
37		Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby: Formal specification of the MPI-2.0 standard in TLA+. PPOPP 2008: 283-284
36		Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby: ISP: a tool for model checking MPI programs. PPOPP 2008: 285-286
35		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
34		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
33		Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Efficient Stateful Dynamic Partial Order Reduction. SPIN 2008: 288-305
32		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
31		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
30		Robert M. Kirby, Cláudio T. Silva: The Need for Verifiable Visualization. IEEE Computer Graphics and Applications 28(5): 78-83 (2008)
29		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)
28		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)
27		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)
26		Jan S. Hesthaven, Robert M. Kirby: Filtering in Legendre spectral methods. Math. Comput. 77(263): 1425-1452 (2008)
	2007
25		Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby: An Approach to Formalization and Analysis of Message Passing Libraries. FMICS 2007: 164-181
24		Ganesh Gopalakrishnan, Robert M. Kirby: Formal Analysis for Debugging and Performance Optimization of MPI. IPDPS 2007: 1-6
23		Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby: Semantics driven dynamic partial-order reduction of MPI-based parallel programs. PADTAD 2007: 43-53
22		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
21		Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. SPIN 2007: 58-75
20		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)
19		Ganesh Gopalakrishnan, Robert M. Kirby: Formal Methods for MPI Programs. Electr. Notes Theor. Comput. Sci. 193: 19-27 (2007)
18		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)
17		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)
16		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
15		Ganesh Gopalakrishnan, Robert M. Kirby: Toward reliable and efficient message passing software through formal analysis. IPDPS 2006
14		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
13		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
12		Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan: Parallel and Distributed Model Checking in Eddy. SPIN 2006: 108-125
11		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)
10		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)
9		Allen R. Sanderson, Robert M. Kirby, Chris R. Johnson, Lingfa Yang: Advanced Reaction-Diffusion Models for Texture Synthesis. J. Graphics Tools 11(3): 47-71 (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	[47]
2	Inga Altrogge	[32]
3	Steve Barrus	[11]
4	Martin Berzins	[7] [14] [20]
5	David E. Breen	[8]
6	Greg Bronevetsky	[64] [65]
7	Xiaofang Chen	[21] [33] [52]
8	Bernardo Cockburn	[67]
9	Elaine Cohen	[31] [69] [70]
10	Sean Curtis	[16] [29]
11	Andries van Dam	[2]
12	J. Scott Davidson	[3] [6]
13	Michael Delisi	[25] [35] [37] [38] [47] [48] [58]
14	Jonathan L. Elion	[2]
15	Tiago Etiene	[43] [68]
16	Andrew S. Forsberg	[2]
17	Zhisong Fu	[59]
18	Sarah E. Geneser	[49] [61]
19	Ganesh Gopalakrishnan	[11] [12] [13] [15] [19] [21] [22] [23] [24] [25] [33] [34] [35] [36] [37] [38] [39] [40] [41] [44] [45] [46] [47] [48] [50] [51] [52] [55] [56] [57] [58] [64] [65]
20	William Gropp (William D. Gropp, Bill Gropp)	[13] [22] [34] [35] [51] [64]
21	Robert Haimes	[42] [63]
22	C. W. Hamman	[20]
23	Jan S. Hesthaven	[26]
24	Jacob Hinkle	[61]
25	Samuel A. Isaacson	[62]
26	Cullen D. Jackson	[6]
27	Won-Ki Jeong	[59]
28	Liangyue Ji	[60]
29	Chris R. Johnson	[4] [9]
30	Cullen R. Johnson	[7] [14]
31	Sarang C. Joshi	[49] [61]
32	George E. Karniadakis	[2] [5]
33	Olaf Konrad	[32]
34	Kai Krajsek	[27]
35	Tim Kröger	[32]
36	David H. Laidlaw	[1] [2] [3] [6]
37	Christian Ledergerber	[28]
38	Aaron E. Lefohn	[8]
39	Guodong Li	[37] [55] [58]
40	Ewing L. Lusk	[64]
41	H. Marmanis	[1]
42	Tobias Martin	[31] [69] [70]
43	Igor Melatti	[12] [41]
44	Miriah D. Meyer	[17] [18] [28]
45	Timothy S. Miller	[3] [6]
46	Hanieh Mirzaee	[53] [60] [66]
47	Ken Museth	[8]
48	Blake Nelson	[10] [18] [63]
49	Luis Gustavo Nonato	[43] [68]
50	Robert Palmer	[11] [12] [22] [23] [25] [41] [58]
51	Yongsheng Pan	[59]
52	Valerio Pascucci	[68]
53	Salman Pervez	[13] [22] [51]
54	Thomas J. Peters	[68]
55	Hanspeter Pfister	[28]
56	Tobias Preußer (Tobias Preusser)	[8] [27] [32]
57	Dan Quinlan	[55]
58	Jennifer K. Ryan	[16] [29] [42] [53] [60] [66]
59	Bill Salter	[49] [61]
60	Allen R. Sanderson	[4] [9]
61	Guillermo Sapiro	[8]
62	Geoffrey Sawaya	[12] [41]
63	Hanno Scharr	[27]
64	Carlos Eduardo Scheidegger	[43] [68]
65	Martin Schulz	[64] [65]
66	Subodh Sharma	[34] [36]
67	Spencer J. Sherwin	[54] [67]
68	Chi-Wang Shu	[16]
69	Stephen F. Siegel	[64]
70	Cláudio T. Silva	[30] [43] [68]
71	Marco da Silva	[3] [6]
72	Michael Steffen	[29]
73	Bronis R. de Supinski	[64] [65]
74	Grzegorz Szubzda	[45]
75	Michael J. Tarr	[3] [6]
76	Rajeev Thakur	[13] [22] [34] [35] [45] [46] [47] [48] [51] [64]
77	Julien Tierny	[68]
78	Sarvani S. Vakkalanka	[34] [35] [36] [38] [40] [45] [46] [47] [48] [50] [57]
79	Anh Vo	[45] [46] [47] [48] [50] [57] [65]
80	Peter E. J. Vos	[54]
81	David Walfisch	[42]
82	B. Wang	[61]
83	Brian Wang	[49]
84	William H. Warren	[3] [6]
85	Ross T. Whitaker	[8] [17] [18] [28] [59]
86	Jason Williams	[46]
87	Lingfa Yang	[9]
88	Yu Yang	[11] [12] [21] [33] [41] [52]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page