Ewing L. Lusk

Justin M. Wozniak, Timothy G. Armstrong, Michael Wilde, Daniel S. Katz, Ewing L. Lusk, Ian T. Foster: Swift/T: scalable data flow programming for many-task applications. PPOPP 2013: 309-310

William Gropp, Ewing L. Lusk, Rajeev Thakur: Advanced MPI Including New MPI-3 Features. EuroMPI 2012: 14

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)

Pavan Balaji, Darius Buntinas, David Goodell, William Gropp, Torsten Hoefler, Sameer Kumar, Ewing L. Lusk, Rajeev Thakur, Jesper Larsson Träff: Mpi on millions of Cores. Parallel Processing Letters 21(1): 45-60 (2011)

Pavan Balaji, Wu-chun Feng, Heshan Lin, Jeremy S. Archuleta, Satoshi Matsuoka, Andrew S. Warren, João Carlos Setubal, Ewing L. Lusk, Rajeev Thakur, Ian T. Foster, Daniel S. Katz, Shantenu Jha, K. Shinpaugh, Susan Coghlan, Daniel A. Reed: Global-scale distributed I/O with ParaMEDIC. Concurrency and Computation: Practice and Experience 22(16): 2266-2281 (2010)

Pavan Balaji, Anthony Chan, William Gropp, Rajeev Thakur, Ewing L. Lusk: The Importance of Non-Data-Communication Overheads in MPI. IJHPCA 24(1): 5-15 (2010)

James Dinan, Pavan Balaji, Ewing L. Lusk, P. Sadayappan, Rajeev Thakur: Hybrid parallel programming with MPI and unified parallel C. Conf. Computing Frontiers 2010: 177-186

Pavan Balaji, Darius Buntinas, David Goodell, William Gropp, Jayesh Krishna, Ewing L. Lusk, Rajeev Thakur: PMI: A Scalable Parallel Process-Management Interface for Extreme-Scale Systems. EuroMPI 2010: 31-41

Jayesh Krishna, Pavan Balaji, Ewing L. Lusk, Rajeev Thakur, Fabian Tiller: Implementing MPI on Windows: Comparison with Common Approaches on Unix. EuroMPI 2010: 160-169

Pavan Balaji, Anthony Chan, Rajeev Thakur, William Gropp, Ewing L. Lusk: Toward message passing for a million processes: characterizing MPI on a massive scale blue gene/P. Computer Science - R&D 24(1-2): 11-19 (2009)

Ewing L. Lusk: Slouching Towards Exascale. IJHPCA 23(4): 337-339 (2009)

Rinku Gupta, Peter H. Beckman, Byung-Hoon Park, Ewing L. Lusk, Paul Hargrove, Al Geist, Dhabaleswar K. Panda, Andrew Lumsdaine, Jack Dongarra: CIFTS: A Coordinated Infrastructure for Fault-Tolerant Systems. ICPP 2009: 237-245

Ewing L. Lusk: Using MPI to Implement Scalable Libraries. PVM/MPI 2009: 6

Pavan Balaji, Darius Buntinas, David Goodell, William Gropp, Sameer Kumar, Ewing L. Lusk, Rajeev Thakur, Jesper Larsson Träff: MPI on a Million Processors. PVM/MPI 2009: 20-30

Robert B. Ross, Robert Latham, William Gropp, Ewing L. Lusk, Rajeev Thakur: Processing MPI Datatypes Outside MPI. PVM/MPI 2009: 42-53

Jack Dongarra, Robert Graybill, William Harrod, Robert F. Lucas, Ewing L. Lusk, Piotr Luszczek, Janice McMahon, Allan Snavely, Jeffrey S. Vetter, Katherine A. Yelick, Sadaf R. Alam, Roy L. Campbell, Laura Carrington, Tzu-Yi Chen, Omid Khalili, Jeremy S. Meredith, Mustafa M. Tikir: DARPA's HPCS Program- History, Models, Tools, Languages. Advances in Computers 72: 1-100 (2008)

Anthony Chan, William Gropp, Ewing L. Lusk: An efficient format for nearly constant-time access to arbitrary time intervals in large trace files. Scientific Programming 16(2-3): 155-165 (2008)

Narayan Desai, Ewing L. Lusk, Daniel Buettner, Andrew Cherry, Theron Voran: Simulating Failures on Large-Scale Systems. ICPP Workshops 2008: 103-108

Narayan Desai, Rick Bradshaw, Ewing L. Lusk: Disparity: Scalable Anomaly Detection for Clusters. ICPP Workshops 2008: 116-120

Ewing L. Lusk, Anthony Chan: Early Experiments with the OpenMP/MPI Hybrid Programming Model. IWOMP 2008: 36-47

William Gropp, Ewing L. Lusk: EuroPVM/MPI Full-Day Tutorial. Using MPI-2: A Problem-Based Approach. PVM/MPI 2008: 12

Pavan Balaji, Anthony Chan, William Gropp, Rajeev Thakur, Ewing L. Lusk: Non-data-communication Overheads in MPI: Analysis on Blue Gene/P. PVM/MPI 2008: 13-22

William D. Gropp, Ewing L. Lusk, Anthony Skjellum: MPI - eine Einführung: portable parallele Programmierung mit dem Message-Passing Interface. Oldenbourg 2007, pp. I-XX, 1-367

Christopher Falzone, Anthony Chan, Ewing L. Lusk, William Gropp: A Portable Method for Finding User Errors in the Usage of MPI Collective Operations. IJHPCA 21(2): 155-165 (2007)

Narayan Desai, Ewing L. Lusk, Rick Bradshaw: A Composition Environment for MPI Programs. IJHPCA 21(2): 166-173 (2007)

Ewing L. Lusk, Katherine A. Yelick: Languages for High-Productivity Computing: the DARPA HPCS Language Project. Parallel Processing Letters 17(1): 89-102 (2007)

Narayan Desai, Theron Voran, Ewing L. Lusk, Andrew Cherry: The computer as software component: A mechanism for developing and testing resource management software. CLUSTER 2007: 58-63

Ewing L. Lusk: New and Old Tools and Programming Models for High-Performance Computing. PVM/MPI 2007: 7

William D. Gropp, Ewing L. Lusk: Using MPI-2: A Problem-Based Approach. PVM/MPI 2007: 12

Ewing L. Lusk, Narayan Desai, Rick Bradshaw, Andrew Lusk, Ralph Butler: An Interoperability Approach to System Software, Tools, and Libraries for Clusters. IJHPCA 20(3): 401-407 (2006)

William D. Gropp, Ewing L. Lusk: Using MPI-2: A Problem-Based Approach. PVM/MPI 2006: 7

Christopher Gottbrath, Brian Barrett, William D. Gropp, Ewing L. Lusk, Jeffrey M. Squyres: An Interface to Support the Identification of Dynamic MPI 2 Processes for Scalable Parallel Debugging. PVM/MPI 2006: 115-122

William Gropp, Ewing L. Lusk, Rajeev Thakur, Robert B. Ross: S01 - Advanced MPI: I/O and one-sided communication. SC 2006: 202

Alice E. Koniges, William Gropp, Ewing L. Lusk, David C. Eder: M01 - Application supercomputing and multiscale simulation techniques. SC 2006: 215

Narayan Desai, Andrew Lusk, Rick Bradshaw, Ewing L. Lusk: MPISH: A Parallel Shell for MPI Programs. IPDPS 2005

Ewing L. Lusk: Components of Systems Software for Parallel Systems. PVM/MPI 2005: 5

William D. Gropp, Ewing L. Lusk: Using MPI-2: A Problem-Based Approach. PVM/MPI 2005: 8

Christopher Falzone, Anthony Chan, Ewing L. Lusk, William Gropp: Collective Error Detection for MPI Collective Operations. PVM/MPI 2005: 138-147

Narayan Desai, Ewing L. Lusk, Rick Bradshaw: MPISH2: Unix Integration for MPI Programs. PVM/MPI 2005: 333-342

William Gropp, Ewing L. Lusk: Fault Tolerance in Message Passing Interface Programs. IJHPCA 18(3): 363-372 (2004)

Narayan Desai, Rick Bradshaw, Ewing L. Lusk, Ralf Butler: Component-based cluster systems software architecture a case study. CLUSTER 2004: 319-326

Ewing L. Lusk: An Open Cluster System Software Stack. PVM/MPI 2004: 9

Narayan Desai, Rick Bradshaw, Andrew Lusk, Ewing L. Lusk: MPI Cluster System Software. PVM/MPI 2004: 277-286

Ralph Butler, Narayan Desai, Andrew Lusk, Ewing L. Lusk: The ProcessManagement Component of a Scalable Systems Software Environment. CLUSTER 2003: 190-198

William D. Gropp, Ewing L. Lusk, Robert B. Ross, Rajeev Thakur: Using MPI-2: Advanced Features of the Message Passing Interface. CLUSTER 2003

Ewing L. Lusk: Integrating Scalable Process Management into Component-Based Systems Software. PVM/MPI 2003: 16-22

William Gropp, Ewing L. Lusk: High-Level Programming in MPI. PVM/MPI 2003: 27

Rajeev Thakur, William Gropp, Ewing L. Lusk: Optimizing Noncontiguous Accesses in MPI-IO. CoRR cs.DC/0310029 (2003)

Olga Shumsky Matlin, William McCune, Ewing L. Lusk: Methods to Model-Check Parallel Systems Software. CoRR cs.LO/0312012 (2003)

Rajeev Thakur, William Gropp, Ewing L. Lusk: Optimizing noncontiguous accesses in MPI-IO. Parallel Computing 28(1): 83-105 (2002)

William Gropp, Ewing L. Lusk: Goals Guiding Design: PVM and MP. CLUSTER 2002: 257-265

Ewing L. Lusk: MPI in 2002: Has it Been Ten Years Already? CLUSTER 2002: 435-435

Ewing L. Lusk: Process Management for Scalable Parallel Programs. PVM/MPI 2002: 9

William Gropp, Ewing L. Lusk: MPI on the Grid. PVM/MPI 2002: 12

Olga Shumsky Matlin, Ewing L. Lusk, William McCune: SPINning Parallel Systems Software. SPIN 2002: 213-220

Nicholas T. Karonis, Bronis R. de Supinski, Ian T. Foster, William Gropp, Ewing L. Lusk: A Multilevel Approach to Topology-Aware Collective Operations in Computational Grids. CoRR cs.DC/0206038 (2002)

Olga Shumsky Matlin, Ewing L. Lusk, William McCune: SPINning Parallel Systems Software. CoRR cs.LO/0203009 (2002)

Ralph Butler, William Gropp, Ewing L. Lusk: Components and interfaces of a process management system for parallel programs. Parallel Computing 27(11): 1417-1429 (2001)

Ewing L. Lusk: Programming with MPI on Clusters. CLUSTER 2001: 360-

Brian R. Toonen, David Ashton, Ewing L. Lusk, Ian T. Foster, William Gropp, Edgar Gabriel, Ralph Butler, Nicholas T. Karonis: Interfacing Parallel Jobs to Process Managers. HPDC 2001: 431-432

Emil Ong, Ewing L. Lusk, William Gropp: Scalable Unix Commands for Parallel Processors: A High-Performance Implementation. PVM/MPI 2001: 410-418

Ralph Butler, William Gropp, Ewing L. Lusk: Components and Interfaces of a Process Management System for Parallel Programs. CoRR cs.DC/0102017 (2001)

Emil Ong, Ewing L. Lusk, William Gropp: Scalable Unix Commands for Parallel Processors: A High-Performance Implementation. CoRR cs.DC/0108019 (2001)

Nicholas T. Karonis, Bronis R. de Supinski, Ian T. Foster, William Gropp, Ewing L. Lusk, John Bresnahan: Exploiting Hierarchy in Parallel Computer Networks to Optimize Collective Operation Performance. IPDPS 2000: 377-

Ewing L. Lusk: Isolating and Interfacing the Components of a Parallel Computing Environment. PVM/MPI 2000: 5-6

Ralph Butler, William Gropp, Ewing L. Lusk: A Scalable Process-Management Environment for Parallel Programs. PVM/MPI 2000: 168-175

Ching-Farn Eric Wu, Anthony Bolmarcich, Marc Snir, David Wootton, Farid Parpia, Anthony Chan, Ewing L. Lusk, William Gropp: From Trace Generation to Visualization: A Performance Framework for Distributed Parallel Systems. SC 2000: 50

Rajeev Thakur, William Gropp, Ewing L. Lusk: On Implementing MPI-IO Portably and with High Performance. IOPADS 1999: 23-32

William Gropp, Ewing L. Lusk: Reproducible Measurements of MPI Performance Characteristics. PVM/MPI 1999: 11-18

Alan H. Karp, Ewing L. Lusk, David H. Bailey: 1997 Gordon Bell Prize Winners. IEEE Computer 31: 86-92 (1998)

Ian T. Foster, Jonathan Geisler, William Gropp, Nicholas T. Karonis, Ewing L. Lusk, George K. Thiruvathukal, Steven Tuecke: Wide-Area Implementation of the Message Passing Interface. Parallel Computing 24(12-13): 1735-1749 (1998)

Rajeev Thakur, William Gropp, Ewing L. Lusk: A Case for Using MPI's Derived Datatypes to Improve I/O Performance. SC 1998: 1

William Gropp, Ewing L. Lusk: A High-Performance MPI Implementation on a Shared-Memory Vector Supercomputer. Parallel Computing 22(11): 1513-1526 (1997)

William Gropp, Ewing L. Lusk: Why Are PVM and MPI So Different? PVM/MPI 1997: 3-10

Robert J. Harrison, Martyn F. Guest, Ricky A. Kendall, David E. Bernholdt, Adrian T. Wong, Mark Stave, James L. Anchell, Anthony C. Hess, Rik J. Littlefield, George L. Fann, Jarek Nieplocha, Greg S. Thomas, David Elwood, Jeffrey L. Tilson, Ron L. Shepard, Albert F. Wagner, Ian T. Foster, Ewing L. Lusk, Rick Stevens: Toward high-performance computational chemistry: II. A scalable self-consistent field program. Journal of Computational Chemistry 17(1): 124-132 (1996)

William Gropp, Ewing L. Lusk, Nathan E. Doss, Anthony Skjellum: A High-Performance, Portable Implementation of the MPI Message Passing Interface Standard. Parallel Computing 22(6): 789-828 (1996)

Rajeev Thakur, William Gropp, Ewing L. Lusk: An Experimental Evaluation of the Parallel I/O Systems of the IBM SP and Intel Paragon Using a Production Application. ACPC 1996: 24-35

Al Geist, William Gropp, Steven Huss-Lederman, Andrew Lumsdaine, Ewing L. Lusk, William Saphir, Anthony Skjellum, Marc Snir: MPI-2: Extending the Message-Passing Interface. Euro-Par, Vol. I 1996: 128-135

William Gropp, Ewing L. Lusk: Experiences with the IBM SP1. IBM Systems Journal 34(2): 249-262 (1995)

William D. Gropp, Ewing L. Lusk, Anthony Skjellum: Using MPI - portable parallel programming with the message-parsing interface. MIT Press 1994, isbn 978-0-262-57104-3, pp. I-XX, 1-307

Ralph Butler, Ewing L. Lusk: Monitors, Messages, and Clusters: The p4 Parallel Programming System. Parallel Computing 20(4): 547-564 (1994)

John K. Slaney, Ewing L. Lusk, William McCune: SCOTT: Semantically Constrained Otter System Description. CADE 1994: 764-768

Ewing L. Lusk: Commentary - Speedups and Insights. INFORMS Journal on Computing 5(1): 24-25 (1993)

Ewing L. Lusk, William McCune: Uniform Strategies: The CADE-11 Theorem Proving Contest. J. Autom. Reasoning 11(3): 317-331 (1993)

Ralph Butler, Alan L. Leveton, Ewing L. Lusk: P4-Linda: A Portable Implementation of Linda. HPDC 1993: 50-58

Ewing L. Lusk, Shyam Mudambi, Ross A. Overbeek, Péter Szeredi: Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. ILPS 1993: 353-369

Ewing L. Lusk, William McCune, John K. Slaney: ROO: A Parallel Theorem Prover. CADE 1992: 731-734

Ewing L. Lusk, Larry Wos: Benchmark Problems in Which Equality Plays the Major Role. CADE 1992: 781-785

Ewing L. Lusk, Ross A. Overbeek, Shyam Mudambi, Péter Szeredi: Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. IJCSLP Workshop on Concurrent and Parallel Implementations 1992

Ewing L. Lusk: Controlling Redundancy in Large Search Spaces: Argonne-Style Theorem Proving Through the Years. LPAR 1992: 96-106

Larry Wos, Ross A. Overbeek, Ewing L. Lusk: Subsumption, a Sometimes Undervalued Procedure. Computational Logic - Essays in Honor of Alan Robinson 1991: 3-40

Ewing L. Lusk, Ralph Butler, Terrence Disz, Robert Olson, Ross A. Overbeek, Rick Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi: The Aurora or-parallel Prolog system. New Generation Comput. 7(2-3): 243-271 (1990)

John K. Slaney, Ewing L. Lusk: Parallelizing the Closure Computation in Automated Deduction. CADE 1990: 28-39

Larry Wos, S. Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler: Automated Reasoning Contributed to Mathematics and Logic. CADE 1990: 485-499

Ewing L. Lusk, William McCune: Tutorial on High-Performance Automated Theorem Proving. CADE 1990: 681

Ewing L. Lusk, William McCune: Experiments with ROO: A Parallel Automated Deduction System. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 139-162

Ewing L. Lusk, William McCune, John K. Slaney: Parallel Closure-Based Automated Reasoning. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 347

Ewing L. Lusk, Ralph Butler, Terry Disz, Robert Olson, Ross A. Overbeek, Rick L. Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bogumil Hausman: The Aurora Or-Parallel Prolog System. FGCS 1988: 819-830

Ralph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens: Scheduling OR-Parallelism: An Argonne Perspective. ICLP/SLP 1988: 1590-1605

Ewing L. Lusk, Ross A. Overbeek (Eds.): 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings. Lecture Notes in Computer Science 310, Springer 1988, isbn 3-540-19343-X

Terry Disz, Ewing L. Lusk, Ross A. Overbeek: Experiments with OR-Parallel Logic Programs. ICLP 1987: 576-600

Terry Disz, Ewing L. Lusk: A Graphical Tool for Observing the Behavior of Parallel Logic Programs. SLP 1987: 46-53

Robert S. Boyer, Ewing L. Lusk, William McCune, Ross A. Overbeek, Mark E. Stickel, Larry Wos: Set Theory in First-Order Logic: Clauses for Gödel's Axioms. J. Autom. Reasoning 2(3): 287-327 (1986)

Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek: Paths to High-Performance Automated Theorem Proving. CADE 1986: 588-597

Ewing L. Lusk, William McCune, Ross A. Overbeek: ITP at Argonne National Laboratory. CADE 1986: 697-698

Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek: Parallel Logic Programming for Numeric Applications. ICLP 1986: 375-388

Bruce D. Parrello, Ross A. Overbeek, Ewing L. Lusk: The Design of Entity-Relationship Models for General Ledger Systems. Data Knowl. Eng. 1(2): 155-180 (1985)

Ewing L. Lusk, Ross A. Overbeek: Non-Horn Problems. J. Autom. Reasoning 1(1): 103-114 (1985)

Ewing L. Lusk, Ross A. Overbeek: Reasoning about Equality. J. Autom. Reasoning 1(2): 209-228 (1985)

Ewing L. Lusk, Ross A. Overbeek: A Portable Environment for Research in Automated Reasoning. CADE 1984: 43-52

G. Margrave, Ewing L. Lusk, Ross A. Overbeek: Tools for the Creation of IMS Database Designs from Entity-Relationship Diagrams. ER 1983: 501-515

Ewing L. Lusk, William McCune, Ross A. Overbeek: Logic Machine Architecture: Kernel Funtions. CADE 1982: 70-84

Ewing L. Lusk, William McCune, Ross A. Overbeek: Logic Machine Architecture: Inference Mechanisms. CADE 1982: 85-108

Larry Wos, S. K. Winker, Ewing L. Lusk: An automated reasoning system. AFIPS National Computer Conference 1981: 697-702

Ewing L. Lusk, Gene Petrie, Ross A. Overbeek: Item Tracking Entity-Relationship Models. ER 1981: 213-233

Ross A. Overbeek, Ewing L. Lusk: Data Structures and Control Architectures for Implementation of Theorem-Proving Programs. CADE 1980: 232-249

Ewing L. Lusk, Ross A. Overbeek, Bruce D. Parrello: A Practical Design Methodology for the Implementation of IMS Databases, Using the Entity-Relationship Model. SIGMOD Conference 1980: 9-21

Ewing L. Lusk, Ross A. Overbeek: A DML for Entity-Relationship Models. ER 1979: 445-462