Greg Bronevetsky

Affiliations:
  • Google Corporation, USA
  • Cornell University, Ithaca, USA (former)


According to our database1, Greg Bronevetsky authored at least 52 papers between 2003 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Pythia: Improving Datacenter Utilization via Precise Contention Prediction for Multiple Co-located Workloads.
Proceedings of the 19th International Middleware Conference, 2018

2017
Prediction of the impact of network switch utilization on application performance via active measurement.
Parallel Comput., 2017

2016
Evaluation of HPC Applications' Memory Resource Consumption via Active Measurement.
IEEE Trans. Parallel Distributed Syst., 2016

Soft error resilience in Big Data kernels through modular analysis.
J. Supercomput., 2016

Data-Driven Performance Modeling of Linear Solvers for Sparse Matrices.
Proceedings of the 7th International Workshop on Performance Modeling, 2016

ParFuse: Parallel and Compositional Analysis of Message Passing Programs.
Proceedings of the Languages and Compilers for Parallel Computing, 2016

2015
A framework for evaluating comprehensive fault resilience mechanisms in numerical programs.
J. Supercomput., 2015

Dealing with the Unknown: Resilience to Prediction Errors.
Proceedings of the 2015 International Conference on Parallel Architectures and Compilation, 2015

2014
Detailed Modeling and Evaluation of a Scalable Multilevel Checkpointing System.
IEEE Trans. Parallel Distributed Syst., 2014

Active Measurement of Memory Resource Consumption.
Proceedings of the 2014 IEEE 28th International Parallel and Distributed Processing Symposium, 2014

Active Measurement of the Impact of Network Switch Utilization on Application Performance.
Proceedings of the 2014 IEEE 28th International Parallel and Distributed Processing Symposium, 2014

Hybrid MPI: a case study on the Xeon Phi platform.
Proceedings of the 4th International Workshop on Runtime and Operating Systems for Supercomputers, 2014

2013
Hybrid MPI: efficient message passing for multi-core systems.
Proceedings of the International Conference for High Performance Computing, 2013

Ownership passing: efficient distributed memory programming on multi-core systems.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Performance Analysis Techniques for the Exascale Co-Design Process.
Proceedings of the Parallel Computing: Accelerating Computational Science and Engineering (CSE), 2013

Hybrid approach for data-flow analysis of MPI programs.
Proceedings of the International Conference on Supercomputing, 2013

An algorithmic approach to error localization and partial recomputation for low-overhead fault tolerance.
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012
Abstract: MAPPED: Predictive Dynamic Analysis Tool for MPI Applications.
Proceedings of the 2012 SC Companion: High Performance Computing, 2012

Poster: Autonomic Modeling of Data-Driven Application Behavior.
Proceedings of the 2012 SC Companion: High Performance Computing, 2012

Abstract: Autonomic Modeling of Data-Driven Application Behavior.
Proceedings of the 2012 SC Companion: High Performance Computing, 2012

A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications.
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

Fault resilience of the algebraic multi-grid solver.
Proceedings of the International Conference on Supercomputing, 2012

Algorithmic approaches to low overhead fault detection for sparse linear algebra.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

Automatic fault characterization via abnormality-enhanced classification.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

2011
Formal analysis of MPI-based parallel programs.
Commun. ACM, 2011

Large scale debugging of parallel tasks with AutomaDeD.
Proceedings of the Conference on High Performance Computing Networking, 2011

Run-Through Stabilization: An MPI Proposal for Process Fault Tolerance.
Proceedings of the Recent Advances in the Message Passing Interface, 2011

Evaluation of Simple Causal Message Logging for Large-Scale Fault Tolerant HPC Systems.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

Dynamic Load Balance for Optimized Message Logging in Fault Tolerant HPC Applications.
Proceedings of the 2011 IEEE International Conference on Cluster Computing (CLUSTER), 2011

Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update.
Proceedings of the 2011 International Conference on Parallel Architectures and Compilation Techniques, 2011

2010
A Scalable and Distributed Dynamic Formal Verifier for MPI Programs.
Proceedings of the Conference on High Performance Computing Networking, 2010

Design, Modeling, and Evaluation of a Scalable Multi-level Checkpointing System.
Proceedings of the Conference on High Performance Computing Networking, 2010

Efficient MPI Support for Advanced Hybrid Programming Models.
Proceedings of the Recent Advances in the Message Passing Interface, 2010

AutomaDeD: Automata-based debugging for dissimilar parallel tasks.
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2009
CLOMP: Accurately Characterizing OpenMP Application Overheads.
Int. J. Parallel Program., 2009

Compiler-enhanced incremental checkpointing for OpenMP applications.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Extracting the textual and temporal structure of supercomputing logs.
Proceedings of the 16th International Conference on High Performance Computing, 2009

Communication-Sensitive Static Dataflow for Parallel Message Passing Applications.
Proceedings of the CGO 2009, 2009

2008
On the Performance of Transparent MPI Piggyback Messages.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2008

Soft error vulnerability of iterative linear algebra methods.
Proceedings of the 22nd Annual International Conference on Supercomputing, 2008

2007
Portable checkpointing for parallel applications.
PhD thesis, 2007

Complete Formal Specification of the OpenMP Memory Model.
Int. J. Parallel Program., 2007

Compiler-Enhanced Incremental Checkpointing.
Proceedings of the Languages and Compilers for Parallel Computing, 2007

2006
Formal Specification of the OpenMP Memory Model.
Proceedings of the OpenMP Shared Memory Parallel Programming - International Workshops, 2006

Recent advances in checkpoint/recovery systems.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Experimental evaluation of application-level checkpointing for OpenMP programs.
Proceedings of the 20th Annual International Conference on Supercomputing, 2006

2005
Optimizing Checkpoint Sizes in the C3 System.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

2004
Implementation and Evaluation of a Scalable Application-Level Checkpoint-Recovery Scheme for MPI Programs.
Proceedings of the ACM/IEEE SC2004 Conference on High Performance Networking and Computing, 2004

Application-level checkpointing for shared memory programs.
Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems, 2004

2003
Automated application-level checkpointing of MPI programs.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2003

C<sup>3</sup>: A System for Automating Application-Level Checkpointing of MPI Programs.
Proceedings of the Languages and Compilers for Parallel Computing, 2003

Collective operations in application-level fault-tolerant MPI.
Proceedings of the 17th Annual International Conference on Supercomputing, 2003


  Loading...