No photo of Marc Snir

View Scopus Profile

Marc Snir

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2021

    File System Semantics Requirements of HPC Applications

    Wang, C., Mohror, K. & Snir, M., Jun 21 2021, HPDC 2021 - Proceedings of the 30th International Symposium on High-Performance Parallel and Distributed Computing. Association for Computing Machinery, Inc, p. 19-30 12 p. (HPDC 2021 - Proceedings of the 30th International Symposium on High-Performance Parallel and Distributed Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Pilgrim: Scalable and (near) Lossless MPI Tracing

    Wang, C., Balaji, P. & Snir, M., Nov 14 2021, Proceedings of SC 2021: The International Conference for High Performance Computing, Networking, Storage and Analysis: Science and Beyond. IEEE Computer Society, (International Conference for High Performance Computing, Networking, Storage and Analysis, SC).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Pinpointing crash-consistency bugs in the HPC I/O Stack: A cross-layer approach

    Sun, J., Huang, J. & Snir, M., Nov 14 2021, Proceedings of SC 2021: The International Conference for High Performance Computing, Networking, Storage and Analysis: Science and Beyond. IEEE Computer Society, (International Conference for High Performance Computing, Networking, Storage and Analysis, SC).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Verifying IO Synchronization from MPI Traces

    Yellapragada, S., Wang, C. & Snir, M., 2021, Proceedings of PDSW 2021: IEEE/ACM 6th International Parallel Data Systems Workshop, Held in conjunction with SC 2021: The International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers Inc., p. 41-46 6 p. (Proceedings of PDSW 2021: IEEE/ACM 6th International Parallel Data Systems Workshop, Held in conjunction with SC 2021: The International Conference for High Performance Computing, Networking, Storage and Analysis).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2020

    Recorder 2.0: Efficient parallel I/O tracing and analysis

    Wang, C., Sun, J., Snir, M., Mohror, K. & Gonsiorowski, E., May 2020, Proceedings - 2020 IEEE 34th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2020. Institute of Electrical and Electronics Engineers Inc., p. 1052-1059 8 p. 9150354. (Proceedings - 2020 IEEE 34th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2019

    Aluminum: An Asynchronous, GPU-Aware Communication Library Optimized for Large-Scale Training of Deep Neural Networks on HPC Systems

    Dryden, N., Maruyama, N., Moon, T., Benson, T., Yoo, A., Snir, M. & Van Essen, B., Feb 8 2019, Proceedings of MLHPC 2018: Machine Learning in HPC Environments, Held in conjunction with SC 2018: The International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers Inc., p. 1-13 13 p. 8638639. (Proceedings of MLHPC 2018: Machine Learning in HPC Environments, Held in conjunction with SC 2018: The International Conference for High Performance Computing, Networking, Storage and Analysis).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Channel and filter parallelism for large-scale CNN training

    Dryden, N., Maruyama, N., Moon, T., Benson, T., Snir, M. & Van Essen, B., Nov 17 2019, Proceedings of SC 2019: The International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE Computer Society, a10. (International Conference for High Performance Computing, Networking, Storage and Analysis, SC).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Characterizing and Understanding HPC Job Failures over the 2K-Day Life of IBM BlueGene/Q System

    Di, S., Guo, H., Pershey, E., Snir, M. & Cappello, F., Jun 2019, Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019. Institute of Electrical and Electronics Engineers Inc., p. 473-484 12 p. 8809553. (Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Gluon-async: A bulk-asynchronous system for distributed and heterogeneous graph analytics

    Dathathri, R., Gill, G., Hoang, L., Jatala, V., Pingali, K., Nandivada, V. K., Dang, H. V. & Snir, M., Sep 2019, Proceedings - 2019 28th International Conference on Parallel Architectures and Compilation Techniques, PACT 2019. Institute of Electrical and Electronics Engineers Inc., p. 15-28 14 p. 8891625. (Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT; vol. 2019-September).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Improving strong-scaling of CNN training by exploiting finer-grained parallelism

    Dryden, N., Maruyama, N., Benson, T., Moon, T., Snir, M. & Van Essen, B., May 2019, Proceedings - 2019 IEEE 33rd International Parallel and Distributed Processing Symposium, IPDPS 2019. Institute of Electrical and Electronics Engineers Inc., p. 210-220 11 p. 8820780. (Proceedings - 2019 IEEE 33rd International Parallel and Distributed Processing Symposium, IPDPS 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2018

    A lightweight communication runtime for distributed graph analytics

    Dang, H. V., Dathathri, R., Gill, G., Brooks, A., Dryden, N., Lenharth, A., Hoang, L., Pingali, K. & Snir, M., Aug 3 2018, Proceedings - 2018 IEEE 32nd International Parallel and Distributed Processing Symposium, IPDPS 2018. Institute of Electrical and Electronics Engineers Inc., p. 980-989 10 p. 8425251. (Proceedings - 2018 IEEE 32nd International Parallel and Distributed Processing Symposium, IPDPS 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • FULT: Fast user-level thread scheduling using bit-vectors

    Dang, H. V. & Snir, M., Aug 13 2018, Proceedings of the 47th International Conference on Parallel Processing, ICPP 2018. Association for Computing Machinery, a71. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Gluon: A communication-optimizing substrate for distributed heterogeneous graph analytics

    Dathathri, R., Gill, G., Hoang, L., Dang, H. V., Brooks, A., Dryden, N., Snir, M. & Pingali, K., Jun 11 2018, PLDI 2018 - Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. Foster, J. S., Grossman, D. & Foster, J. S. (eds.). Association for Computing Machinery, p. 752-768 17 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Neural Network Based Silent Error Detector

    Wang, C., Dryden, N., Cappello, F. & Snir, M., Oct 29 2018, Proceedings - 2018 IEEE International Conference on Cluster Computing, CLUSTER 2018. Institute of Electrical and Electronics Engineers Inc., p. 168-178 11 p. 8514878. (Proceedings - IEEE International Conference on Cluster Computing, ICCC; vol. 2018-September).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2017

    LOGAIDER: A Tool for Mining Potential Correlations of HPC Log Events

    Di, S., Gupta, R., Snir, M., Pershey, E. & Cappello, F., Jul 10 2017, Proceedings - 2017 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGRID 2017. Institute of Electrical and Electronics Engineers Inc., p. 442-451 10 p. 7973730. (Proceedings - 2017 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGRID 2017).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Towards a more complete understanding of SDC propagation

    Calhoun, J., Snir, M., Olson, L. N. & Gropp, W. D., Jun 26 2017, HPDC 2017 - Proceedings of the 26th International Symposium on High-Performance Parallel and Distributed Computing. Association for Computing Machinery, Inc, p. 131-142 12 p. (HPDC 2017 - Proceedings of the 26th International Symposium on High-Performance Parallel and Distributed Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2016

    Overcoming the power wall by exploiting inexactness and emerging COTS architectural features: Trading precision for improving application quality

    Fagan, M., Schlachter, J., Yoshii, K., Leyffer, S., Palem, K., Snir, M., Wild, S. M. & Enz, C., Jul 2 2016, Proceedings - 29th IEEE International System on Chip Conference, SOCC 2016. Bhatia, K., Alioto, M., Zhao, D., Marshall, A. & Sridhar, R. (eds.). IEEE Computer Society, p. 241-246 6 p. 7905477. (International System on Chip Conference; vol. 0).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Reducing Waste in Extreme Scale Systems through Introspective Analysis

    Bautista-Gomez, L., Gainaru, A., Perarnau, S., Tiwari, D., Gupta, S., Engelmann, C., Cappello, F. & Snir, M., Jul 18 2016, Proceedings - 2016 IEEE 30th International Parallel and Distributed Processing Symposium, IPDPS 2016. Institute of Electrical and Electronics Engineers Inc., p. 212-221 10 p. 7516017. (Proceedings - 2016 IEEE 30th International Parallel and Distributed Processing Symposium, IPDPS 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Towards millions of communicating threads

    Dang, H. V., Snir, M. & Gropp, W., Sep 25 2016, Proceedings of the 23rd European MPI Users' Group Meeting, EuroMPI 2016. Association for Computing Machinery, p. 1-14 14 p. (ACM International Conference Proceeding Series; vol. 25-28-September-2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Universal parallel computing research center at Illinois: Making parallel programming synonymous with programming

    Snir, M., May 24 2016, 2009 IEEE Hot Chips 21 Symposium, HCS 2009. Institute of Electrical and Electronics Engineers Inc., 7478357

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2015

    A general space-filling curve algorithm for partitioning 2D meshes

    Sasidharan, A., Dennis, J. M. & Snir, M., Nov 23 2015, Proceedings - 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security and 2015 IEEE 12th International Conference on Embedded Software and Systems, HPCC-CSS-ICESS 2015. Institute of Electrical and Electronics Engineers Inc., p. 875-879 5 p. 7336274. (Proceedings - 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security and 2015 IEEE 12th International Conference on Embedded Software and Systems, HPCC-CSS-ICESS 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Distributed monitoring and management of exascale systems in the Argo project

    Perarnau, S., Thakur, R., Iskra, K., Raffenetti, K., Cappello, F., Gupta, R., Beckman, P., Snir, M., Hoffmann, H., Schulz, M. & Rountree, B., 2015, Distributed Applications and Interoperable Systems - 15th IFIP WG 6.1 International Conference, DAIS 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Proceedings. Bessani, A. & Bouchenak, S. (eds.). Springer, p. 173-178 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9038).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Dynamic model-driven parallel I/O performance tuning

    Behzad, B., Byna, S., Wild, S. M., Prabhat & Snir, M., Oct 26 2015, Proceedings - 2015 IEEE International Conference on Cluster Computing, CLUSTER 2015. Institute of Electrical and Electronics Engineers Inc., p. 184-193 10 p. 7307584. (Proceedings - IEEE International Conference on Cluster Computing, ICCC; vol. 2015-October).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Pattern-driven parallel I/O tuning

    Behzad, B., Byna, S., Prabhat & Snir, M., Nov 15 2015, Proceedings of PDSW 2015: 10th Parallel Data Storage Workshop - Held in conjunction with SC 2015: The International Conference for High Performance Computing, Networking, Storage and Analysis. Association for Computing Machinery, Inc, p. 43-48 6 p. (Proceedings of PDSW 2015: 10th Parallel Data Storage Workshop - Held in conjunction with SC 2015: The International Conference for High Performance Computing, Networking, Storage and Analysis).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • PPL: An abstract runtime system for hybrid parallel programming

    Brooks, A., Dang, H. V., Dryden, N. & Snir, M., Nov 15 2015, Proceedings of ESPM2 2015: 1st International Workshop on Extreme Scale Programming Models and Middleware - Held in conjunction with SC 2015: The International Conference for High Performance Computing, Networking, Storage and Analysis. Association for Computing Machinery, p. 2-9 8 p. (Proceedings of ESPM2 2015: 1st International Workshop on Extreme Scale Programming Models and Middleware - Held in conjunction with SC 2015: The International Conference for High Performance Computing, Networking, Storage and Analysis).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Scheduling the I/O of HPC Applications under Congestion

    Gainaru, A., Aupy, G., Benoit, A., Cappello, F., Robert, Y. & Snir, M., Jul 17 2015, Proceedings - 2015 IEEE 29th International Parallel and Distributed Processing Symposium, IPDPS 2015. Institute of Electrical and Electronics Engineers Inc., p. 1013-1022 10 p. 7161586. (Proceedings - 2015 IEEE 29th International Parallel and Distributed Processing Symposium, IPDPS 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Understanding the propagation of error due to a silent data corruption in a sparse matrix vector multiply

    Calhoun, J., Snir, M., Olson, L. & Garzaran, M., Oct 26 2015, Proceedings - 2015 IEEE International Conference on Cluster Computing, CLUSTER 2015. Institute of Electrical and Electronics Engineers Inc., p. 541-542 2 p. 7307650. (Proceedings - IEEE International Conference on Cluster Computing, ICCC; vol. 2015-October).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2014

    Automatic generation of I/O kernels for HPC applications

    Behzad, B., Dang, H. V., Hariri, F., Zhang, W. & Snir, M., Jan 20 2014, Proceedings of PDSW 2014: 9th Parallel Data Storage Workshop - Held in Conjunction with SC 2014: The International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers Inc., p. 31-36 6 p. 7016280. (Proceedings of PDSW 2014: 9th Parallel Data Storage Workshop - Held in Conjunction with SC 2014: The International Conference for High Performance Computing, Networking, Storage and Analysis).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Flipit: An LLVM based fault injector for HPC

    Calhoun, J., Olson, L. & Snir, M., 2014, Euro-Par 2014: Parallel Processing Workshops - Euro-Par 2014 International Workshops, Revised Selected Papers. Lopes, L. (ed.). Part 1 ed. Springer, p. 547-558 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8805, no. Part 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Improving parallel I/O autotuning with performance modeling

    Behzad, B., Byna, S., Wild, S. M., Prabhat & Snir, M., 2014, HPDC 2014 - Proceedings of the 23rd International Symposium on High-Performance Parallel and Distributed Computing. Association for Computing Machinery, p. 253-256 4 p. (HPDC 2014 - Proceedings of the 23rd International Symposium on High-Performance Parallel and Distributed Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • The future of supercomputing

    Snir, M., 2014, ICS 2014 - Proceedings of the 28th ACM International Conference on Supercomputing. Association for Computing Machinery, p. 261-262 2 p. (Proceedings of the International Conference on Supercomputing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2013

    Enabling MPI interoperability through flexible communication endpoints

    Dinan, J., Balaji, P., Goodell, D., Miller, D., Snir, M. & Thakur, R., 2013, Proceedings of the 20th European MPI Users' Group Meeting, EuroMPI 2013. Association for Computing Machinery, p. 13-18 6 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Taming parallel I/O complexity with auto-tuning

    Behzad, B., Luu, H. V. T., Huchette, J., Byna, S., Prabhat, Aydt, R., Koziol, Q. & Snir, M., 2013, Proceedings of SC 2013: The International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE Computer Society, 68. (International Conference for High Performance Computing, Networking, Storage and Analysis, SC).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2012

    Automatic datatype generation and optimization

    Kjolstad, F., Hoefler, T. & Snir, M., 2012, PPoPP'12 - Proceedings of the 2012 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. p. 327-328 2 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Damaris: How to efficiently leverage multicore parallelism to achieve scalable, jitter-free I/O

    Dorier, M., Antoniu, G., Cappello, F., Snir, M. & Orf, L., 2012, Proceedings - 2012 IEEE International Conference on Cluster Computing, CLUSTER 2012. IEEE Computer Society, p. 155-163 9 p. 6337776. (Proceedings - 2012 IEEE International Conference on Cluster Computing, CLUSTER 2012).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Fault prediction under the microscope: A closer look into HPC systems

    Gainaru, A., Cappello, F., Snir, M. & Kramer, W., 2012, 2012 International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2012. 6468487. (International Conference for High Performance Computing, Networking, Storage and Analysis, SC).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • HydEE: Failure containment without event logging for large scale send-deterministic MPI applications

    Guermouche, A., Ropars, T., Snir, M. & Cappello, F., 2012, Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium, IPDPS 2012. p. 1216-1227 12 p. 6267924. (Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium, IPDPS 2012).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2011

    Comparing archival policies for Blue Waters

    Cappello, F., Jacquelin, M., Marchal, L., Robert, Y. & Snir, M., 2011, 18th International Conference on High Performance Computing, HiPC 2011. 6152428. (18th International Conference on High Performance Computing, HiPC 2011).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Generic topology mapping strategies for large-scale parallel architectures

    Hoefler, T. & Snir, M., 2011, ICS'11 - Proceedings of the 2011 ACM International Conference on Supercomputing. p. 75-84 10 p. (Proceedings of the International Conference on Supercomputing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Optimizing the barnes-hut algorithm in UPC

    Zhang, J., Behzad, B. & Snir, M., 2011, Proceedings of 2011 SC - International Conference for High Performance Computing, Networking, Storage and Analysis. 75. (Proceedings of 2011 SC - International Conference for High Performance Computing, Networking, Storage and Analysis).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Performance engineering: A must for petascale and beyond

    Hoefler, T. & Snir, M., 2011, LSAP'11 - Proceedings of the 3rd International Workshop on Large-Scale System and Application Performance. p. 1-2 2 p. (LSAP'11 - Proceedings of the 3rd International Workshop on Large-Scale System and Application Performance).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Performance modeling for systematic performance tuning

    Hoefler, T., Gropp, W., Snir, M. & Kramer, W., 2011, State of the Practice Reports, SC'11. 6. (State of the Practice Reports, SC'11).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Transformation for class immutability

    Kjolstad, F., Dig, D., Acevedo, G. & Snir, M., 2011, ICSE 2011 - 33rd International Conference on Software Engineering, Proceedings of the Conference. p. 61-70 10 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Uncoordinated checkpointing without domino effect for send-deterministic MPI applications

    Guermouche, A., Ropars, T., Brunet, E., Snir, M. & Cappello, F., 2011, Proceedings - 25th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2011. IEEE Computer Society, p. 989-1000 12 p. 6012907. (Proceedings - 25th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2011).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Writing parallel libraries with MPI - Common practice, issues, and extensions

    Hoefler, T. & Snir, M., 2011, Recent Advances in the Message Passing Interface - 18th European MPI Users' Group Meeting, EuroMPI 2011, Proceedings. p. 345-355 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6960 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2010

    Ghost cell pattern

    Kjolstad, F. B. & Snir, M., 2010, ParaPLoP 2010 - 2nd Workshop on Parallel Programming Patterns, Proceedings. 4. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • On communication determinism in parallel HPC applications

    Cappello, F., Guermouche, A. & Snir, M., 2010, 2010 Proceedings of 19th International Conference on Computer Communications and Networks, ICCCN 2010. Institute of Electrical and Electronics Engineers Inc., 5560143. (Proceedings - International Conference on Computer Communications and Networks, ICCCN).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2009

    ESoftCheck: Removal of non-vital checks for fault tolerance

    Yu, J., Garzarán, M. J. & Snir, M., 2009, Proceedings of the 2009 CGO - 7th International Symposium on Code Generation and Optimization. p. 35-46 12 p. 4907649. (Proceedings of the 2009 CGO - 7th International Symposium on Code Generation and Optimization).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2008

    Efficient software checking for fault tolerance

    Yu, J., Garzarán, M. J. & Snir, M., 2008, IPDPS Miami 2008 - Proceedings of the 22nd IEEE International Parallel and Distributed Processing Symposium, Program and CD-ROM. 4536435. (IPDPS Miami 2008 - Proceedings of the 22nd IEEE International Parallel and Distributed Processing Symposium, Program and CD-ROM).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Techniques for efficient software checking

    Yu, J., Garzarán, M. J. & Snir, M., 2008, Languages and Compilers for Parallel Computing - 20th International Workshop, LCPC 2007, Revised Selected Papers. p. 16-31 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5234 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution