Greg Bronevetsky

Andrew Friedley, Torsten Hoefler, Greg Bronevetsky, Andrew Lumsdaine, Ching-Chen Ma: Ownership passing: efficient distributed memory programming on multi-core systems. PPOPP 2013: 177-186

Greg Bronevetsky, Ignacio Laguna, Bronis R. de Supinski, Saurabh Bagchi: Automatic fault characterization via abnormality-enhanced classification. DSN 2012: 1-12

Joseph Sloan, Rakesh Kumar, Greg Bronevetsky: Algorithmic approaches to low overhead fault detection for sparse linear algebra. DSN 2012: 1-12

Marc Casas-Guix, Bronis R. de Supinski, Greg Bronevetsky, Martin Schulz: Fault resilience of the algebraic multi-grid solver. ICS 2012: 91-100

Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky: A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications. SBMF 2012: 194-209

Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky: Abstract: MAPPED: Predictive Dynamic Analysis Tool for MPI Applications. SC Companion 2012: 1425-1426

Steena D. S. Monteiro, Greg Bronevetsky, Marc Casas-Guix: Abstract: Autonomic Modeling of Data-Driven Application Behavior. SC Companion 2012: 1485-1486

Steena D. S. Monteiro, Greg Bronevetsky, Marc Casas-Guix: Poster: Autonomic Modeling of Data-Driven Application Behavior. SC Companion 2012: 1487

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)

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

Esteban Meneses, Laxmikant V. Kalé, Greg Bronevetsky: Dynamic Load Balance for Optimized Message Logging in Fault Tolerant HPC Applications. CLUSTER 2011: 281-289

Esteban Meneses, Greg Bronevetsky, Laxmikant V. Kalé: Evaluation of Simple Causal Message Logging for Large-Scale Fault Tolerant HPC Systems. IPDPS Workshops 2011: 1533-1540

Joshua Hursey, Richard L. Graham, Greg Bronevetsky, Darius Buntinas, Howard Pritchard, David G. Solt: Run-Through Stabilization: An MPI Proposal for Process Fault Tolerance. EuroMPI 2011: 329-332

Ignacio Laguna, Todd Gamblin, Bronis R. de Supinski, Saurabh Bagchi, Greg Bronevetsky, Dong H. Ahn, Martin Schulz, Barry Rountree: Large scale debugging of parallel tasks with AutomaDeD. SC 2011: 50

Greg Bronevetsky, Ignacio Laguna, Saurabh Bagchi, Bronis R. de Supinski, Dong H. Ahn, Martin Schulz: AutomaDeD: Automata-based debugging for dissimilar parallel tasks. DSN 2010: 231-240

Torsten Hoefler, Greg Bronevetsky, Brian Barrett, Bronis R. de Supinski, Andrew Lumsdaine: Efficient MPI Support for Advanced Hybrid Programming Models. EuroMPI 2010: 50-61

Adam Moody, Greg Bronevetsky, Kathryn Mohror, Bronis R. de Supinski: Design, Modeling, and Evaluation of a Scalable Multi-level Checkpointing System. SC 2010: 1-11

Anh Vo, Sriram Aananthakrishnan, Ganesh Gopalakrishnan, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky: A Scalable and Distributed Dynamic Formal Verifier for MPI Programs. SC 2010: 1-10

Greg Bronevetsky, John C. Gyllenhaal, Bronis R. de Supinski: CLOMP: Accurately Characterizing OpenMP Application Overheads. International Journal of Parallel Programming 37(3): 250-265 (2009)

Greg Bronevetsky: Communication-Sensitive Static Dataflow for Parallel Message Passing Applications. CGO 2009: 1-12

Sourabh Jain, Inderpreet Singh, Abhishek Chandra, Zhi-Li Zhang, Greg Bronevetsky: Extracting the textual and temporal structure of supercomputing logs. HiPC 2009: 254-263

Greg Bronevetsky, Daniel Marques, Keshav Pingali, Sally A. McKee, Radu Rugina: Compiler-enhanced incremental checkpointing for OpenMP applications. IPDPS 2009: 1-12

Greg Bronevetsky, Bronis R. de Supinski: Soft error vulnerability of iterative linear algebra methods. ICS 2008: 155-164

Greg Bronevetsky, John C. Gyllenhaal, Bronis R. de Supinski: CLOMP: Accurately Characterizing OpenMP Application Overheads. IWOMP 2008: 13-25

Greg Bronevetsky, Daniel Marques, Keshav Pingali, Radu Rugina, Sally A. McKee: Compiler-enhanced incremental checkpointing for OpenMP applications. PPOPP 2008: 275-276

Martin Schulz, Greg Bronevetsky, Bronis R. de Supinski: On the Performance of Transparent MPI Piggyback Messages. PVM/MPI 2008: 194-201

Greg Bronevetsky (Ed.): First USENIX Workshop on the Analysis of System Logs, WASL 2008, December 7, 2008, San Diego, CA, USA, Proceedings. USENIX Association 2008

Greg Bronevetsky, Bronis R. de Supinski: Complete Formal Specification of the OpenMP Memory Model. International Journal of Parallel Programming 35(4): 335-392 (2007)

Greg Bronevetsky, Daniel Marques, Keshav Pingali, Radu Rugina: Compiler-Enhanced Incremental Checkpointing. LCPC 2007: 1-15

Greg Bronevetsky, Keshav Pingali, Paul Stodghill: Experimental evaluation of application-level checkpointing for OpenMP programs. ICS 2006: 2-13

Greg Bronevetsky, Rohit Fernandes, Daniel Marques, Keshav Pingali, Paul Stodghill: Recent advances in checkpoint/recovery systems. IPDPS 2006

Greg Bronevetsky, Bronis R. de Supinski: Formal Specification of the OpenMP Memory Model. IWOMP 2006: 324-346

Daniel Marques, Greg Bronevetsky, Rohit Fernandes, Keshav Pingali, Paul Stodghill: Optimizing Checkpoint Sizes in the C3 System. IPDPS 2005

Greg Bronevetsky, Daniel Marques, Keshav Pingali, Peter K. Szwed, Martin Schulz: Application-level checkpointing for shared memory programs. ASPLOS 2004: 235-247

Martin Schulz, Greg Bronevetsky, Rohit Fernandes, Daniel Marques, Keshav Pingali, Paul Stodghill: Implementation and Evaluation of a Scalable Application-Level Checkpoint-Recovery Scheme for MPI Programs. SC 2004: 38

Greg Bronevetsky, Daniel Marques, Keshav Pingali, Paul Stodghill: Collective operations in application-level fault-tolerant MPI. ICS 2003: 234-243

Greg Bronevetsky, Daniel Marques, Keshav Pingali, Paul Stodghill: C³: A System for Automating Application-Level Checkpointing of MPI Programs. LCPC 2003: 357-373

Greg Bronevetsky, Daniel Marques, Keshav Pingali, Paul Stodghill: Automated application-level checkpointing of MPI programs. PPOPP 2003: 84-94