E. Cohen, T. Martin, R.M. Kirby, T. Lyche and R.F. Riesenfeld, “Analysis-aware Modeling: Understanding Quality Considerations in Modeling for Isogeometric Analysis”, Computer Methods in Applied Mechanics and Engineering, Vol. 199, Issues 5-8, pages 334-356, 2010. M. Steffen, R. M. Kirby and M. Berzins, “Decoupling and Balancing of Space and Time Errors in the Material Point Method (MPM)”, International Journal for Numerical Methods in Engineering , Vol. 82, pages 1207-1243, 2010. S. Pervez, G. Gopalakrishnan, R. M. Kirby, R. Thakur and W. Gropp, “Formal methods applied to high performance computing software design: a case study of MPI one-sided communication based locking”, Software: Practice and Experience, Vol. 40, Issue 1, pages 23-43, 2010. D. Wang, R. M. Kirby and C. R. Johnson, “Resolution Strategies for the Finite Element Based Solution of the Electrocardiographic Inverse Problem”, IEEE Transactions on Biomedical Engineering, Vol. 57, Issue 2, pages 220-237, 2010. H. Mirzaee, J. K. Ryan and R. M. Kirby, “Quantificiation of Errors Introduced in the Numerical Approximation and Implementation of Smoothness-Increasing Accuracy Conserving (SIAC) Filtering of Discontinuous Galerkin (DG) Fields”, Journal of Scientific Computing, Accepted for Publication, Vol. 45, pages 447-470, 2010. G. Li, R. Palmer, M. DeLisi, G. Gopalakrishnan and R. M. Kirby, “Formal Specification of MPI 2.0: Case Study in Specifying a Practical Concurrent Programming API”, Science of Computer Programming, Accepted for Publication, 2010. Y. Yang, X. Chen, G. Gopalakrishnan and R. M. Kirby, “Distributed Dynamic Partial Order Reduction”, International Journal on Software Tools for Technology Transfer, Vol. 12, Number 2, pages 113-122, 2010. P. E. J. Vos, S. J. Sherwin and R. M. Kirby, “h-p Efficiently: Implementing Finite and Spectral/hp Element Methods to Achieve Optimal Performance for Low- and HighOrder Discretisations”, Journal of Computational Physics, Vol. 229, Issue 13, pages 5161-5181, 2010. Refereed Conference and Workshops A. Vo, S. Vakkalanka, M. Delisi, G. Gopalakrishnan, R. M. Kirby and R. Thakur, “Formal Verification of Practical MPI Programs,” Proceedings of 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), Raleigh, NC, February 14-18, 2009. pp. 261-270.
S.E. Geneser, R.M. Kirby, B. Wang, B. Salter and S. Joshi, “Incorporating Patient Breathing Variability into a Stochastic Model of Dose Deposition for Stereotactic Body Radiation Therapy,” Proceedings of Information Processing in Medical Imaging 2009, Williamsburg, VA, Lecture Notes in Computer Science (LNCS) 5636, Pages 688-700, July 5-10, 2009. pp. 688-700. A. Vo, S. Vakkalanka, J. Williams, G. Gopalakrishnan, R. M. Kirby and R. Thakur, “Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-Determinism,” Proceedings of EuroPVM-MPI 2009, Espoo, Finland, September 7-10, 2009. pp. 271-281. S. Aananthakrishnan, M. DeLisi, S. Vakkalanka, A. Vo, G. Gopalakrishnan, R. M. Kirby and R. Thakur, “How Formal Dynamic Verification Tools Facilitate Novel Currency Visualizations,” Proceedings of EuroPVM-MPI 2009, Espoo, Finland, September 7-10, 2009. pp. 261-270. S. Vakkalanka, A. Vo, G. Gopalakrishnan and R. M. Kirby, “Reduced Execution Semantics of MPI: From Theory to Practice,” Proceedings of the 16th International Symosium on Formal Methods 2009 (FM2009), Eindhoven, the Netherlands, November 2-6, 2009. pp. 724-740. S. Vakkalanka, A. Vo, G. Gopalakrishnan and R. M. Kirby, “Precise Dynamic Analysis for Slack Elasticity: Adding Buffering Without Adding Bugs,” Proceedings of EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010. pp. 152-159. Professional Participation •
Associate Editor of Mathematics and Computers in Simulation, 2007 - 2009
Have reviewed for the following journals: • Computer Methods in Applied Mechanics and Engineering • IEEE Transactions on Visualization and Computer Graphics • IEEE Transactions on Parallel and Distributed Systems • Journal of Applied Numerical Mathematics • Journal of Computational Physics • Journal of Fluids Engineering • Journal of Scientic Computing • SIAM Journal on Scientic Computing
Honors & Awards Awarded Leverhulme Visiting Professorship, 2008-2009.
2009 & 2010 REPORT
Estimates to Control Local Mesh Refinement”, Communications on Computational Physics, Vol. 7, Number 3, pages 631-638, 2010.
SoC 09 & 10 report