2018

  1. Solovyev, Alexey, Marek S. Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamarić, and Ganesh Gopalakrishnan. “Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions.” ACM Transactions on Programming Languages and Systems (TOPLAS), June 2018. pdf.
  2. Atzeni, Simone, Ganesh Gopalakrishnan, Zvonimir Rakamaric, and Ignacio Laguna, Gregory L. Lee, and Dong H. Ahn. “Sword: A Bounded Memory-Overhead Detector of OpenMP Data Races in Production Runs.” In 2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2018. link.
  3. Atzeni, Simone, and Ganesh Gopalakrishnan. “An Operational Semantic Basis for Building an OpenMP Data Race Checker.” In HIPS 2018 (23rd International Workshop on High-Level Parallel Programming Models and Supportive Environments), 2018. link.
  4. Gopalakrishnan, Ganesh, Paul D. Hovland, Costin Iancu, Sriram Krishnamoorthy, Ignacio Laguna, Richard A. Lethin, Koushik Sen, Stephen F. Siegel, and Armando Solar-Lezama. “Report of the HPC Correctness Summit,” 2018. pdf.
  5. Kumar, Sidharth, Alan Humphrey, Will Usher, Steve Petruzza, Brad Peterson, John A. Schmidt, Derek Harris, et al. “Scalable Data Management of the Uintah Simulation Framework for Next-Generation Engineering Problems With Radiation.” In SCFA, edited by Rio Yokota and Weigang Wu, 10776:219–40. Lecture Notes in Computer Science. Springer, 2018.

2017

  1. Kulkarni, Chinmay, Aniraj Kesavan, Tian Zhang, Robert Ricci, and Ryan Stutsman. “ Rocksteady: Fast Data Migration For Low-Latency In-Memory Storage .” In Proceedings of the Twenty-Sixth ACM Symposium on Operating Systems Principles. SOSP ’17, 2017. link.
  2. Sawaya, Geof, Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan, and Dong H. Ahn. “FLiT: Cross-Platform Floating-Point Result-Consistency Tester and Workload.” In IEEE International Symposium on Workload Characterization (IISWC 2017). IEEE, 2017. pdf.
  3. Baranowski, Marek Stanisław, Ian Briggs, Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, and Alexey Solovyev. “Moving the Needle on Rigorous Floating-Point Precision Tuning.” In 6th Automated Formal Methods Workshop (AFM 2017), 2017. pdf.
  4. Gopalakrishnan, Ganesh, Yung-Hsiang Lu, Matthew Knepley, Kyle Niemeyer, Matthew Turk, and Nancy Wilkins-Diehr. “Report of the 2017 NSF SI2 PI Workshop,” 2017. link.
  5. Chiang, Wei-Fan, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Ian Briggs, Marek Stanisław Baranowski, and Alexey Solovyev. “Rigorous Floating-Point Mixed Precision Tuning.” In The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2017. link.
  6. Kumar, Sidharth, Duong Hoang, Steve Petruzza, John Edwards, and Valerio Pascucci. “Reducing Network Congestion and Synchronization Overhead During Aggregation of Hierarchical Data.” In HiPC, 223–32. IEEE, 2017. http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8275064.
  7. Petruzza, Steve, Aniketh Venkat, Attila Gyulassy, Giorgio Scorzelli, Frederick Federer, Alessandra Angelucci, Valerio Pascucci, and Peer-Timo Bremer. “ISAVS: Interactive Scalable Analysis and Visualization System.” In SIGGRAPH Asia Symposium on Visualization, edited by Koji Koyamada and Puripant Ruchikachorn, 18:1–18:8. ACM, 2017. http://doi.acm.org/10.1145/3139295.
  8. Kulkarni, Chinmay, Aniraj Kesavan, Robert Ricci, and Ryan Stutsman. “ Beyond Simple Request Processing with RAMCloud .” IEEE Data Engineering Bulletin 40, no. 1 (2017): 62–69. pdf.
  9. Holmen, J. K., A. Humphrey, D. Sutherland, and M. Berzins. “Improving Uintah’s Scalability Through the Use of Portable Kokkos-Based Data Parallel Tasks.” In In Proceedings of the Practice and Experience in Advanced Research Computing 2017 on Sustainability, Success and Impact, 27:1–27:8, 2017.
  10. Ouermi, T.A.J., A. Knoll, R.M. Kirby, and M. Berzins. “OpenMP 4 Fortran Modernization of WSM6 for KNL.” In In Proceedings of the Practice and Experience in Advanced Research Computing 2017 on Sustainability, Success and Impact, PEARC17, 12:1–12:8. ACM, 2017.
  11. ———. “Optimization Strategies for WRF Single-Moment 6-Class Microphysics Scheme (WSM6) on Intel Microarchitectures.” In In Proceedings of the Fifth International Symposium on Computing and Networking (CANDAR 17). IEEE, 2017.
  12. Peterson, B., A. Humphrey, J. Schmidt, and M. Berzins. “Addressing Global Data Dependencies in Heterogeneous Asynchronous Runtime Systems on GPUs.” In In Proceedings of the Third International Workshop on Extreme Scale Programming Models and Middleware - ESPM2’17, ACM, DOI: 10.1145/3152041.3152082, 2017.

2016

  1. Sharma, Vishal Chandra, Ganesh Gopalakrishnan, and Sriram Krishnamoorthy. “PRESAGE: Protecting Structured Address Generation against Soft Errors.” In IEEE International Conference on High-Performance Computing, Data, and Analysis (HiPC), 2016. pdf.
  2. Sorenson, Tyler, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, and Zvonimir Rakamaric. “Portable Inter-Workgroup Barrier Synchronisation for GPUs.” In ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH), 2016. pdf.
  3. Aananthakrishnan, Sriram, Greg Bronevetsky, Marek Stanisław Baranowski, and Ganesh Gopalakrishnan. “ParFuse: Parallel and Compositional Analysis of Message Passing Programs.” In The 29th International Workshop on Languages and Compilers for Parallel Computing, 2016.
  4. Humphrey, A., D. Sunderland, T. Harman, and M. Berzins. “Radiative Heat Transfer Calculation on 16,384 GPUs Using a Reverse Monte Carlo Ray Tracing Approach with Adaptive Mesh Refinement.” In In 2016 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), 1222–31, 2016.
  5. Sharma, Vishal Chandra, Ganesh Gopalakrishnan, and Sriram Krishnamoorthy. “Towards Resiliency Evaluation of Vector Programs.” In 21st IEEE Workshop on Dependable Parallel, Distributed and Network-Centric Systems (DPDNS), 2016. pdf.
  6. Al-Mahfoudh, Mohammed, Ganesh Gopalakrishnan, and Ryan Stutsman. “Toward Rigorous Design of Domain-Specific Distributed Systems.” In Workshop on Formal Methods in Software Engineering (FormaliSE), 2016. pdf.
  7. Atzeni, Simone, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Dong H. Ahn, Gregory L Lee, Ignacio Laguna, Martin Schulz, Joachim Protze, and Matthias Mueller. “ARCHER: Effectively Spotting Data Races in Large OpenMP Applications.” In 30th IEEE International Parallel and Distributed Processing Symposium, 2016. pdf.
  8. Rodero, Ivan, Manish Parashar, Aaditya G. Landge, Sidharth Kumar, Valerio Pascucci, and Peer-Timo Bremer. “Evaluation of In-Situ Analysis Strategies at Scale For Power Efficiency and Scalability.” In CCGrid, 156–64. IEEE Computer Society, 2016. http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7510545.
  9. Berzins, M., J. Beckvermit, T. Harman, A. Bezdjian, A. Humphrey, Q. Meng, J. Schmidt, and C. Wight. “Extending the Uintah Framework through the Petascale Modeling of Detonation in Arrays of High Explosive Devices.” In In SIAM Journal on Scientific Computing, 2016.
  10. Sunderland, D., B. Peterson, J. Schmidt, A. Humphrey, J. Thornock, and M. Berzins. “An Overview of Performance Portability in the Uintah Runtime System Through the Use of Kokkos.” In In Proceedings of the Second Internationsl Workshop on Extreme Scale Programming Models and Middleware, 44–47, 2016.
  11. Donaldson, Alastair, Ganesh Gopalakrishnan, Nathan Chong, Jeroen Ketema, Gudong Li, Peng Li, Anton Lokhmotov, Shaz Qadeer, and Hamid Azad. “Formal Analysis Techniques for Reliable GPU Programming: Current Solutions and Call to Action.” In Advances in GPU Research and Practice, 2016.

2015

  1. Chiang, Wei-Fan, Ganesh Gopalakrishnan, and Zvonimir Rakamaric. “Unsafe Floating-Point to Unsigned Integer Casting Check for GPU Programs.” 8th International Workshop on Numerical Software Verification, November 2015. pdf.
  2. ———. “Practical Floating-Point Divergence Detection.” In Languages and Compilers for Parallel Computing: 28th International Workshop, LCPC 2015, 271–86, 2015. pdf.
  3. Solovyev, Alexey, Charles Jacobsen, Zvonimir Rakamaric, and Ganesh Gopalakrishnan. “Rigorous Estimation of Floating-Point Round-off Errors With Symbolic Taylor Expansions.” In Proceedings of the 20th International Symposium on Formal Methods (FM). Lecture Notes in Computer Science, 2015. pdf.
  4. Jacobsen, Charles, Alexey Solovyev, and Ganesh Gopalakrishnan. “A Parameterized Floating-Point Formalization in HOL Light.” In NSV 2015: 8th International Workshop on Numerical Software Verification 2015, 2015. pdf.
  5. Alglave, Jade, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, and John Wickerson. “GPU Concurrency: Weak Behaviours and Programming Assumptions.” In Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems. ASPLOS ’15, 2015. pdf.
  6. Bennett, J. “ASC ATDM Level 2 Milestone 5325: Asynchronous Many-Task Runtime System Analysis and Assessment for next Generation Platforms,” 2015.
  7. Holmen, J. K., A. Humphrey, and M. Berzins. “Exploring Use of the Reserved Core.” In In High Performance Parallelism Pearls and Edited by J. Reinders and J. Jeffers and Elsevier, 229–42, 2015.
  8. Humphrey, A., T. Harman, M. Berzins, and P. Smith. “A Scalable Algorithm for Radiative Heat Transfer Using Reverse Monte Carlo Ray Tracing.” In In High Performance Computing, Lecture Notes in Computer Science, Vol. 9137, Edited by Kunkel, Julian M. and Ludwig, Thomas, Springer International Publishing, 212–30, 2015.
  9. Peterson, B., N. Xiao, J. Holmen, S. Chaganti, A. Pakki, J. Schmidt, D. Sunderland, A. Humphrey, and M. Berzins. “Developing Uintah’s Runtime System For Forthcoming Architectures,” 2015.
  10. Peterson, B., H. K. Dasari, A. Humphrey, J.C. Sutherland, T. Saad, and M. Berzins. “Reducing Overhead in the Uintah Framework to Support Short-Lived Tasks on GPU-Heterogeneous Architectures.” In In Proceedings of the 5th International Workshop on Domain-Specific Languages and High-Level Frameworks For High Performance Computing (WOLFHPC’15), 4:1–4:8, 2015.
  11. Reed, D., M. Berzins, R. Lucas, S. Matsuoka, R. Pennington, V. Sarkar, and V. Taylor. “DOE Advanced Scientific Computing Advisory Committee (ASCAC) Report: Exascale Computing Initiative Review,” 2015.

2014

  1. Protze, Joachim, Simone Atzeni, Dong H. Ahn, Martin Schulz, Ganesh Gopalakrishnan, Matthias S. Muller, Ignacio Laguna, Zvonimir Rakamaric, and Greg L. Lee. “Towards Providing Low-Overhead Data Race Detection for Large OpenMP Applications.” In Proceedings of the LLVM Compiler Infrastructure in HPC Workshop (LLVM-HPC), 2014. pdf.
  2. Li, Peng, Guodong Li, and Ganesh Gopalakrishnan. “Practical Symbolic Checking of GPU Programs.” In Supercomputing, 2014. pdf.
  3. Oliveira, Diego Caminha B de, Alan Humphrey, Qingyu Meng, Zvonimir Rakamaric, Martin Berzins, and Ganesh Gopalakrishnan. “Systematic Debugging of Concurrent Systems Using Coalesced Stack Trace Graphs.” In The 27th International Workshop On Languages and Compilers for Parallel Computing, 2014. pdf.
  4. Meng, Qingyu. “Large-Scale Distributed Runtime System for DAG-Based Computational Framework,” 2014.
  5. Kumar, S. “Fast Multi-Resolution Reads of Massive Simulation Datasets.” In In Proceedings of the International Supercomputing Conference ISC’14, Leipzig, Germany, 2014.
  6. Humphrey, Alan, Qingyu Meng, Martin Berzins, Diego Caminha, Zvonimir Rakamarić, and and Ganesh Gopalakrishnan. “Systematic Debugging Methods for Large Scale HPC Computational Frameworks.” In Computing in Science Engineering, 2014. pdf.
  7. Meng, Q., and M. Berzins. “Scalable Large-Scale Fluid-Structure Interaction Solvers in the Uintah Framework via Hybrid Task-Based Parallelism Algorithms.” Concurrency and Computation: Practice and Experience 26, no. 7 (May 2014): 1388–1407.
  8. Sharma, Vishal Chandra, Zvonimir Rakamaric, and Ganesh Gopalakrishnan. “FUSED: A Low-Cost Online Soft-Error Detector.” In 10th IEEE Workshop on Silicon Errors in Logic-System Effects (SELSE), 2014. pdf.
  9. Chiang, Wei-Fan, Ganesh Gopalakrishnan, Zvonimir Rakamarić, and and Alexey Solovyev. “Efficient Search for Inputs Causing High Floating-Point Errors.” In Principles and Practices of Parallel Programming (PPoPP), 2014. pdf.
  10. Kumar, Sidharth, Cameron Christensen, John A. Schmidt, Peer-Timo Bremer, Eric Brugger, Venkatram Vishwanath, Philip H. Carns, et al. “Fast Multiresolution Reads of Massive Simulation Datasets.” In ISC, edited by Julian Martin Kunkel, Thomas Ludwig 0002, and Hans Werner Meuer, 8488:314–30. Lecture Notes in Computer Science. Springer, 2014.
  11. Fu, Z., H.K. Dasari, M. Berzins, and B. Thompson. “Parallel Breadth First Search on GPU Clusters.” In In Proceedings of the IEEE BigData 2014 Conference, Washington DC, October, 2014.

2013

  1. Sharma, Vishal Chandra, Arvind Haran, Zvonimir Rakamarić, and Ganesh Gopalakrishnan. “Towards Formal Approaches to System Resilience.” In 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), 2013.
  2. Caminha, Diego, Ganesh Gopalakrishnan, Zvonimir Rakamarić, Martin Berzins, Alan Humphrey, and Qingyu Meng. “Practical Formal Correctness Checking of Million-Core Problem Solving Environments for HPC.” In 7th International Workshop on Secure Software Engineering (SecSE), 2013. pdf.
  3. Aananthakrishnan, Sriram, Greg Bronevetsky, and Ganesh Gopalakrishnan. “Hybrid Approach for Data-Flow Analysis of MPI Programs.” In Proceedings of the 27th International ACM Conference on International Conference on Supercomputing, 2013. pdf.
  4. Sorensen, Tyler, Ganesh Gopalakrishnan, and Vinod Grover. “Towards Shared Memory Consistency Models for GPUs.” In Proceedings of the 27th International ACM Conference on International Conference on Supercomputing, 2013. pdf.
  5. Chiang, Wei-Fan, Ganesh Gopalakrishnan, Zvonimir Rakamarić, and Guodong Li. “Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding.” In NASA Formal Methods, 2013. pdf.
  6. Chiang, Wei-Fan, Ganesh Gopalakrishnan, Zvonimir Rakamarić, Dong Ahn, and Gregory Lee. “Determinism and Reproducibility in Large-Scale HPC Systems.” In 4th Workshop on Determinism and Correctness in Parallel Programming, 2013. pdf.
  7. Meng, Q., A. Humphrey, J. Schmidt, and M. Berzins. “Investigating Applications Portability with the Uintah DAG-Based Runtime System on PetaScale Supercomputers.” In In Proceedings of SC13: International Conference for High Performance Computing, Networking, Storage and Analysis, 96:1–96:12, 2013.
  8. ———. “Preliminary Experiences with the Uintah Framework on Intel Xeon Phi and Stampede.” In In Proceedings of the Conference on Extreme Science and Engineering Discovery Environment: Gateway to Discovery (XSEDE 2013), San Diego, California, 48:1–48:8, 2013.
  9. Peterson, J.R., C.A. Wight, and M. Berzins. “Applying High-Performance Computing to Petascale Explosive Simulations.” In In Procedia Computer Science, 2013.
  10. Schmidt, J., M. Berzins, J. Thornock, T. Saad, and J. Sutherland. “Large Scale Parallel Solution of Incompressible Flow Problems Using Uintah and Hypre.” In In 2013 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid), 458–65, 2013.

2012

  1. Li, Peng, Guodong Li, and Ganesh Gopalakrishnan. “Parametric Flows: Automated Behavior Equivalencing for Symbolic Analysis of Races in CUDA Programs.” In Supercomputing, 2012.
  2. Sharma, Subodh, Ganesh Gopalakrishnan, and Greg Bronevetsky. “A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications.” In SBMF 2012, Brazilian Symposium on Formal Methods, 2012.
  3. Berzins, M., Q. Meng, J. Schmidt, and J.C. Sutherland. “DAG-Based Software Frameworks for PDEs.” In In Proceedings of Euro-Par 2011 Workshops, Part I, Lecture Notes in Computer Science (LNCS) 7155, Springer-Verlag Berlin Heidelberg, 324–33, 2012.
  4. Sharma, Subodh, Ganesh Gopalakrishnan, and Greg Bronevetsky. “MAAPED: Predictive Dynamic Analysis Tool for MPI Applications.” In SC Companion, 2012. pdf.
  5. Gopalakrishnan, Ganesh. “Formal Methods for Surviving the Jungle of Heterogeneous Parallelism.” In IPDPS Workshops, 2012. pdf.
  6. Li, Guodong, and Ganesh Gopalakrishnan. “Parameterized Verification of GPU Kernels.” In PLC Workshop 2012 (an IPDPS 2012 Workshop), 2012.
  7. Gopalakrishnan, Ganesh, and Shaz Qadeer. “Formal Methods in System Design.” In Formal Methods in System Design Journal, 2012.
  8. Li, Guodong, Peng Li, Geoffrey Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, and Sreeranga P. Rajan. “GKLEE: Concolic Verification and Test Generation for GPUs.” In Principles and Practices of Parallel Programming (PPoPP), 2012. pdf.
  9. Berzins, M., J. Schmidt, Q. Meng, and A. Humphrey. “Past, Present, and Future Scalability of the Uintah Software.” In In Proceedings of the Blue Waters Extreme Scaling Workshop, 2012.
  10. Humphrey, A., Q. Meng, M. Berzins, and T. Harman. “Radiation Modeling Using the Uintah Heterogeneous CPU/GPU Runtime System.” In In Proceedings of the First Conference of the Extreme Science and Engineering Discovery Environment (XSEDE’12), Association for Computing Machinery, DOI: 10.1145/2335755.2335791a, 2012.
  11. Meng, Q., A. Humphrey, and M. Berzins. “The Uintah Framework: A Unified Heterogeneous Task Scheduling and Runtime System.” In In Digital Proceedings of The International Conference for High Performance Computing, Networking, Storage and Analysis, Note: SC’12 –2nd International Workshop on Domain-Specific Languages and High-Level Frameworks For High Performance Computing, WOLFHPC 2012, 2441–48, 2012.

2011

  1. Gopalakrishnan, Ganesh, Robert Kirby, Stephen Siegel, Rajeev Thakur, William Gropp, Ewing Lusk, Bronis De Supinski, Martin Schulz, and Greg Bronevetsky. “Formal Analysis of MPI-Based Parallel Programs.” In Communications of ACM, 2011. pdf.
  2. Vo, Anh, Ganesh Gopalakrishnan, Robert M. Kirby, Bronis De Supinski, Martin Schulz, and Greg Bronevetsky. “Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update.” In Parallel Architectures and Compilation Techniques, 2011. pdf.
  3. Meng, Q., M. Berzins, and J. Schmidt. “Using Hybrid Parallelism to Improve Memory Use in Uintah.” In In Proceedings of the TeraGrid 2011 Conference, Salt Lake City, Utah, 2011.
  4. Sharma, Subodh, and Ganesh Gopalakrishnan. “Efficient Verification Solutions for Message Passing Systems.” In IPDPS Workshops, 2011. pdf.
  5. Sadowski, Caitlin, Sebastian Burckhardt, Thomas Ball, Ganesh Gopalakrishnan, Judith Bishop, and Joseph Mayo. “Practical Parallel and Concurrent Programming.” In ACM SIGCSE, 2011. pdf.
  6. Siegel, Stephen, and Ganesh Gopalakrishnan. “Formal Analysis of Message Passing.” In Verification, Model Checking and Abstract Interpretation, 2011. pdf.
  7. Luitjens, J., and M. Berzins. “Scalable Parallel Regridding Algorithms for Block-Structured Adaptive Mesh Renement.” In Concurrency And Computation: Practice And Experience 23, no. 13 (2011): 1522–37.

2010

  1. Gopalakrishnan, Ganesh, and Robert M. Kirby. “Top Ten Ways to Make Formal Methods for HPC Practical.” In SDP Workshop of FSE 2010, 2010. pdf.
  2. Vo, Anh, Sriram Ananthakrishnan, Ganesh Gopalakrishnan, and Bronis R. de Supinski. “DAMPI: A Scalable and Distributed Dynamic Formal Verifier for MPI Programs.” In Supercomputing, 2010. pdf.
  3. Li, Guodong, and Ganesh Gopalakrishnan. “Scalable SMT-Based Verification of GPU Kernel Functions.” In FSE, 2010. pdf.
  4. Humphrey, Alan, Christopher Derrick, Ganesh Gopalakrishnan, and Beth Tibbitts. “GEM: Graphical Explorer of MPI Programs,” In PSTI, 2010. pdf.
  5. Vakkalanka, Sarvani, Anh Vo, Ganesh Gopalakrishnan, and Robert M. Kirby. “Precise Dynamic Analysis for Slack Elasticity: Adding Buffering Without Adding Bugs.” In EuroMPI, 2010. pdf.
  6. Chiang, Wei-Fan, Grzegorz Szubzda, Ganesh Gopalakrishnan, and Rajeev Thakur. “Dynamic Verification of Hybrid Programs.” In EuroMPI, 2010. pdf.
  7. Berzins, M., J. Luitjens, Q. Meng, T. Harman, C.A. Wight, and J.R. Peterson. “Uintah: A Scalable Framework for Hazard Analysis.” In In Proceedings of the Teragrid 2010 Conference, TG 10, Note: Awarded Best Paper in the Science Track!, 2010.
  8. Vo, Anh, and Ganesh Gopalakrishnan. “Scalable Verification of MPI Programs.” In IPDPS Workshops, 2010. pdf.
  9. Chen, Xiaofang, Yu Yang, Ganesh Gopalakrishnan, and Robert M. Kirby. “Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software.” In International Journal on Software Tools for Technology Transfer, 2010. pdf.
  10. Chen, Xiaofang, Yu Yang, Ganesh Gopalakrishnan, and Ching-Tsun Chou. “Efficient Methods for Formally Verifying Safety Properties of Hierarchical Cache Coherence Protocols.” In Formal Methods in System Design, 2010. pdf.
  11. Pervez, Salman, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, and William Gropp. “Formal Methods Applied to High-Performance Computing Software Design: a Case Study of MPI One-Sided Communication-Based Locking.” In Software Practice and Experience, 2010. pdf.
  12. Li, Guodong, Ganesh Gopalakrishnan, and Robert M. Kirby. “PUG: A Symbolic Verifier of GPU Programs.” In PPoPP Workshop on GPGPUs, 2010. pdf.
  13. Li, Guodong, Ganesh Gopalakrishnan, Robert M. Kirby, and Dan Quinlan. “A Symbolic Verifier for Cuda Programs.” In Principles and Practices of Parallel Programming, 2010. pdf.
  14. Luitjens, J., and M. Berzins. “Improving the Performance of Uintah: A Large-Scale Adaptive Meshing Computational Framework.” In In Proceedings of the 24th IEEE International Parallel and Distributed Processing Symposium (IPDPS10), Atlanta, GA, 1–10, 2010.
  15. Meng, Q., J. Luitjens, and M. Berzins. “Dynamic Task Scheduling for the Uintah Framework.” In In Proceedings of the 3rd IEEE Workshop on Many-Task Computing on Grids and Supercomputers (MTAGS10), 1–10, 2010.
  16. Schmidt, J., and M. Berzins. “Development of the Uintah Gateway for Fluid-Structure-Interaction Problems.” In In Proceedings of the Teragrid 2010 Conference, ACM, 2010.

2009

  1. Vo, Anh, Sarvani S. Vakkalanka, and Ganesh Gopalakrishnan and. “ISP Tool Update: Scalable MPI Verification.” In Parallel Tools Workshop, 2009. pdf.
  2. Melatti, Igor, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, and Ganesh Gopalakrishnan. “Parallel and Distributed Model Checking in Eddy.” In Formal Methods in Computer Aided Design, 2009. pdf.
  3. Vakkalanka, Sarvani, Anh Vo, Ganesh Gopalakrishnan, and Robert M. Kirby. “Reduced Execution Semantics of MPI: From Theory to Practice.” In Formal Methods (FM), 2009. pdf.
  4. Sharma, Subodh, Ganesh Gopalakrishnan, Eric Mercer, and Jim Holt. “MCC - A Runtime Verification Tool for MCAPI User Applications.” In Formal Methods in Computed Aidded Design, 2009. pdf.
  5. Sharma, Subodh, Ganesh Gopalakrishnan, and Eric Mercer. “Dynamic Verification of Multicore Communication Applictions in MCAPI,” In HLDVT, 2009. pdf.
  6. Gopalakrishnan, Ganesh, and Robert M. Kirby. “Practical Formal Verification of MPI and Thread Programs.” In PVM/MPI (Book), 2009. pdf.
  7. Aananthakrishnan, Sriram, Michael DeLisi, Sarvani Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, and Rajeev Thakur. “How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations.” In EuroPVM/MPI, 2009. pdf.
  8. Vo, Anh, Sarvani Vakkalanka, Jason Williams, Ganesh Gopalakrishnan, Robert M. Kirby, and Rajeev Thakur. “Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-Determinism.” In EuroPVM/MPI, 2009. pdf.
  9. Vakkalanka, Sarvani, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, and Rajeev Thakur. “Static-Analysis Assisted Dynamic Verification to Efficiently Handle Waitany Non-Determinism.” In EuroPVM/MPI, 2009. pdf.
  10. Sharma, Subodh, and Ganesh Gopalakrishnan. “Formal Verification of MCAPI Applications Using the Dynamic Verification Tool MCC.” In SRC Techcon, 2009. pdf.
  11. Gopalakrishnan, Ganesh, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, et al. “Some Resources for Teaching Concurrency.” In PADTAD, 2009. pdf.
  12. Gopalakrishnan, Ganesh, Eitan Farchi, and Eric Mercer. “Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009.” In PADTAD 2009, 2009.
  13. Yang, Yu, Xiaofang Chen, Ganesh Gopalakrishnan, and Chao Wang. “Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis.” In SPIN, 2009. pdf.
  14. Vo, Anh, Sarvani Vakkalanka, Michael DeLisi, Ganesh Gopalakrishnan, Robert M. Kirby, and Rajeev Thakur. “Formal Verification of Practical MPI Programs.” In Principles and Practices of Parallel Programming, 2009. pdf.

2008

  1. Wang, Chao, Yu Yang, Aarti Gupta, and Ganesh Gopalakrishnan. “Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions.” In ATVA, 2008.
  2. Gopalakrishnan, Ganesh. “Review Computation Engineering: Applied Automata Theory and Logic.” In SIGACT, 2008. pdf.
  3. Vakkalanka, Sarvani, Michael DeLisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, and William Gropp. “Implementing Efficient Dynamic Formal Verification Methods for MPI Programs.” In Recent Advances in Parallel Virtual Machine and Message Passing Interface (EuroPVM/MPI), 2008. pdf.
  4. Sharma, Subodh, Sarvani Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, and William Gropp. “A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs.” In Recent Advances in Parallel Virtual Machine and Message Passing Interface (EuroPVM/MPI), 2008. pdf.
  5. Yang, Yu, Xiaofang Chen, Ganesh Gopalakrishnan, and Robert M. Kirby. “Efficient Stateful Dynamic Partial Order Reduction.” In Model Checking Software, 15th International SPIN Workshop, 2008. pdf.
  6. Vakkalanka, Sarvani, Michael DeLisi, Ganesh Gopalakrishnan, and Robert M. Kirby. “Scheduling Considerations for Building Dynamic Verification Tools for MPI,’ Parallel and Distributed Systems.” In Testing and Debugging (PADTAD-VI), 2008. pdf.
  7. Li, Guodong, Michael DeLisi, Ganesh Gopalakrishnan, and Robert M. Kirby. “Formal Specification of the MPI-2.0 Standard in TLA+.” In Principles and Practices of Parallel Programming (PPoPP), 2008. pdf.
  8. Vakkalanka, Sarvani, Subodh Sharma, Ganesh Gopalakrishnan, and Robert M. Kirby. “ISP: A Tool for Model Checking MPI Programs.” In Principles and Practices of Parallel Programming (PPoPP), 2008. pdf.
  9. Vakkalanka, Sarvani, Ganesh Gopalakrishnan, and Robert M. Kirby. “Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings.” In Computer Aided Verification, 2008. pdf.
  10. Luitjens, J., B. Worthen, M. Berzins, and T. Henderson. “Scalable Parallel AMR for the Uintah Multiphysics Code.” In In Petascale Computing Algorithms and Applications, Ch. 4, CRC Press LLC., 67–82, 2008.

For older publications, please visit our classic website