| 2008 |
|---|
| 92 | EE | Ewing L. Lusk,
Anthony Chan:
Early Experiments with the OpenMP/MPI Hybrid Programming Model.
IWOMP 2008: 36-47 |
| 91 | EE | William Gropp,
Ewing L. Lusk:
EuroPVM/MPI Full-Day Tutorial. Using MPI-2: A Problem-Based Approach.
PVM/MPI 2008: 12 |
| 90 | EE | 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 |
| 89 | | Jack Dongarra,
Robert Graybill,
William Harrod,
Robert F. Lucas,
Ewing L. Lusk,
Piotr Luszczek,
Janice McMahon,
Allan Snavely,
Jeffery Vetter,
Katherine A. Yelick,
Sadaf Alam,
Roy L. Campbell,
Laura Carrington,
Tzu-Yi Chen,
Omid Khalili,
Jeremy Meredith,
Mustafa M. Tikir:
DARPA's HPCS Program- History, Models, Tools, Languages.
Advances in Computers 72: 1-100 (2008) |
| 88 | EE | 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) |
| 2007 |
|---|
| 87 | EE | 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 |
| 86 | EE | William D. Gropp,
Ewing L. Lusk:
Using MPI-2: A Problem-Based Approach.
PVM/MPI 2007: 12 |
| 85 | EE | Ewing L. Lusk:
New and Old Tools and Programming Models for High-Performance Computing.
PVM/MPI 2007: 7 |
| 84 | EE | Ewing L. Lusk,
Katherine A. Yelick:
Languages for High-Productivity Computing: the DARPA HPCS Language Project.
Parallel Processing Letters 17(1): 89-102 (2007) |
| 2006 |
|---|
| 83 | EE | 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 |
| 82 | EE | William D. Gropp,
Ewing L. Lusk:
Using MPI-2: A Problem-Based Approach.
PVM/MPI 2006: 7 |
| 81 | EE | William Gropp,
Ewing L. Lusk,
Rajeev Thakur,
Robert B. Ross:
S01 - Advanced MPI: I/O and one-sided communication.
SC 2006: 202 |
| 80 | EE | Alice E. Koniges,
William Gropp,
Ewing L. Lusk,
David C. Eder:
M01 - Application supercomputing and multiscale simulation techniques.
SC 2006: 215 |
| 2005 |
|---|
| 79 | EE | Narayan Desai,
Andrew Lusk,
Rick Bradshaw,
Ewing L. Lusk:
MPISH: A Parallel Shell for MPI Programs.
IPDPS 2005 |
| 78 | EE | Chris Falzone,
Anthony Chan,
Ewing L. Lusk,
William Gropp:
Collective Error Detection for MPI Collective Operations.
PVM/MPI 2005: 138-147 |
| 77 | EE | Narayan Desai,
Ewing L. Lusk,
Rick Bradshaw:
MPISH2: Unix Integration for MPI Programs.
PVM/MPI 2005: 333-342 |
| 76 | EE | Ewing L. Lusk:
Components of Systems Software for Parallel Systems.
PVM/MPI 2005: 5 |
| 75 | EE | William D. Gropp,
Ewing L. Lusk:
Using MPI-2: A Problem-Based Approach.
PVM/MPI 2005: 8 |
| 2004 |
|---|
| 74 | EE | Narayan Desai,
Rick Bradshaw,
Ewing L. Lusk,
Ralf Butler:
Component-based cluster systems software architecture a case study.
CLUSTER 2004: 319-326 |
| 73 | EE | Narayan Desai,
Rick Bradshaw,
Andrew Lusk,
Ewing L. Lusk:
MPI Cluster System Software.
PVM/MPI 2004: 277-286 |
| 72 | EE | Ewing L. Lusk:
An Open Cluster System Software Stack.
PVM/MPI 2004: 9 |
| 2003 |
|---|
| 71 | EE | Ralph Butler,
Narayan Desai,
Andrew Lusk,
Ewing L. Lusk:
The ProcessManagement Component of a Scalable Systems Software Environment.
CLUSTER 2003: 190-198 |
| 70 | EE | William D. Gropp,
Ewing L. Lusk,
Robert B. Ross,
Rajeev Thakur:
Using MPI-2: Advanced Features of the Message Passing Interface.
CLUSTER 2003 |
| 69 | EE | Ewing L. Lusk:
Integrating Scalable Process Management into Component-Based Systems Software.
PVM/MPI 2003: 16-22 |
| 68 | EE | William Gropp,
Ewing L. Lusk:
High-Level Programming in MPI.
PVM/MPI 2003: 27 |
| 67 | EE | Rajeev Thakur,
William Gropp,
Ewing L. Lusk:
Optimizing Noncontiguous Accesses in MPI-IO
CoRR cs.DC/0310029: (2003) |
| 66 | EE | Olga Shumsky Matlin,
William McCune,
Ewing L. Lusk:
Methods to Model-Check Parallel Systems Software
CoRR cs.LO/0312012: (2003) |
| 2002 |
|---|
| 65 | EE | William Gropp,
Ewing L. Lusk:
Goals Guiding Design: PVM and MP.
CLUSTER 2002: 257-265 |
| 64 | EE | Ewing L. Lusk:
MPI in 2002: Has it Been Ten Years Already?
CLUSTER 2002: 435-435 |
| 63 | EE | William Gropp,
Ewing L. Lusk:
MPI on the Grid.
PVM/MPI 2002: 12 |
| 62 | EE | Ewing L. Lusk:
Process Management for Scalable Parallel Programs.
PVM/MPI 2002: 9 |
| 61 | EE | Olga Shumsky Matlin,
Ewing L. Lusk,
William McCune:
SPINning Parallel Systems Software.
SPIN 2002: 213-220 |
| 60 | EE | 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) |
| 59 | EE | Olga Shumsky Matlin,
Ewing L. Lusk,
William McCune:
SPINning Parallel Systems Software
CoRR cs.LO/0203009: (2002) |
| 58 | | Rajeev Thakur,
William Gropp,
Ewing L. Lusk:
Optimizing noncontiguous accesses in MPI-IO.
Parallel Computing 28(1): 83-105 (2002) |
| 2001 |
|---|
| 57 | EE | Ewing L. Lusk:
Programming with MPI on Clusters.
CLUSTER 2001: 360- |
| 56 | EE | 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 |
| 55 | EE | Emil Ong,
Ewing L. Lusk,
William Gropp:
Scalable Unix Commands for Parallel Processors: A High-Performance Implementation.
PVM/MPI 2001: 410-418 |
| 54 | EE | Ralph Butler,
William Gropp,
Ewing L. Lusk:
Components and Interfaces of a Process Management System for Parallel Programs
CoRR cs.DC/0102017: (2001) |
| 53 | EE | Emil Ong,
Ewing L. Lusk,
William Gropp:
Scalable Unix Commands for Parallel Processors: A High-Performance Implementation
CoRR cs.DC/0108019: (2001) |
| 52 | | 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) |
| 2000 |
|---|
| 51 | EE | 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- |
| 50 | EE | Ralph Butler,
William Gropp,
Ewing L. Lusk:
A Scalable Process-Management Environment for Parallel Programs.
PVM/MPI 2000: 168-175 |
| 49 | EE | Ewing L. Lusk:
Isolating and Interfacing the Components of a Parallel Computing Environment.
PVM/MPI 2000: 5-6 |
| 48 | EE | 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 |
| 1999 |
|---|
| 47 | EE | Rajeev Thakur,
William Gropp,
Ewing L. Lusk:
On Implementing MPI-IO Portably and with High Performance.
IOPADS 1999: 23-32 |
| 46 | EE | William Gropp,
Ewing L. Lusk:
Reproducible Measurements of MPI Performance Characteristics.
PVM/MPI 1999: 11-18 |
| 1998 |
|---|
| 45 | | Alan H. Karp,
Ewing L. Lusk,
David H. Bailey:
1997 Gordon Bell Prize Winners.
IEEE Computer 31: 86-92 (1998) |
| 44 | | 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) |
| 1997 |
|---|
| 43 | | William Gropp,
Ewing L. Lusk:
Why Are PVM and MPI So Different?
PVM/MPI 1997: 3-10 |
| 42 | | William Gropp,
Ewing L. Lusk:
A High-Performance MPI Implementation on a Shared-Memory Vector Supercomputer.
Parallel Computing 22(11): 1513-1526 (1997) |
| 1996 |
|---|
| 41 | | 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 |
| 40 | | 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 |
| 39 | EE | 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) |
| 38 | | 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) |
| 1995 |
|---|
| 37 | | William Gropp,
Ewing L. Lusk:
Experiences with the IBM SP1.
IBM Systems Journal 34(2): 249-262 (1995) |
| 1994 |
|---|
| 36 | | John K. Slaney,
Ewing L. Lusk,
William McCune:
SCOTT: Semantically Constrained Otter System Description.
CADE 1994: 764-768 |
| 35 | | Ralph Butler,
Ewing L. Lusk:
Monitors, Messages, and Clusters: The p4 Parallel Programming System.
Parallel Computing 20(4): 547-564 (1994) |
| 1993 |
|---|
| 34 | | Ralph Butler,
Alan L. Leveton,
Ewing L. Lusk:
P4-Linda: A Portable Implementation of Linda.
HPDC 1993: 50-58 |
| 33 | | 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 |
| 32 | | Ewing L. Lusk,
William McCune:
Uniform Strategies: The CADE-11 Theorem Proving Contest.
J. Autom. Reasoning 11(3): 317-331 (1993) |
| 1992 |
|---|
| 31 | | Ewing L. Lusk,
William McCune,
John K. Slaney:
ROO: A Parallel Theorem Prover.
CADE 1992: 731-734 |
| 30 | | Ewing L. Lusk,
Larry Wos:
Benchmark Problems in Which Equality Plays the Major Role.
CADE 1992: 781-785 |
| 29 | | 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 |
| 28 | | Ewing L. Lusk:
Controlling Redundancy in Large Search Spaces: Argonne-Style Theorem Proving Through the Years.
LPAR 1992: 96-106 |
| 1991 |
|---|
| 27 | | Larry Wos,
Ross A. Overbeek,
Ewing L. Lusk:
Subsumption, a Sometimes Undervalued Procedure.
Computational Logic - Essays in Honor of Alan Robinson 1991: 3-40 |
| 1990 |
|---|
| 26 | | John K. Slaney,
Ewing L. Lusk:
Parallelizing the Closure Computation in Automated Deduction.
CADE 1990: 28-39 |
| 25 | | 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 |
| 24 | | Ewing L. Lusk,
William McCune:
Tutorial on High-Performance Automated Theorem Proving.
CADE 1990: 681 |
| 23 | | Ewing L. Lusk,
William McCune:
Experiments with ROO: A Parallel Automated Deduction System.
Dagstuhl Seminar on Parallelization in Inference Systems 1990: 139-162 |
| 22 | | Ewing L. Lusk,
William McCune,
John K. Slaney:
Parallel Closure-Based Automated Reasoning.
Dagstuhl Seminar on Parallelization in Inference Systems 1990: 347 |
| 1988 |
|---|
| 21 | | Ewing L. Lusk,
Ross A. Overbeek:
9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings
Springer 1988 |
| 20 | | 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 |
| 19 | | 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 |
| 1987 |
|---|
| 18 | | Terry Disz,
Ewing L. Lusk,
Ross A. Overbeek:
Experiments with OR-Parallel Logic Programs.
ICLP 1987: 576-600 |
| 17 | | Terry Disz,
Ewing L. Lusk:
A Graphical Tool for Observing the Behavior of Parallel Logic Programs.
SLP 1987: 46-53 |
| 1986 |
|---|
| 16 | | Ralph Butler,
Ewing L. Lusk,
William McCune,
Ross A. Overbeek:
Paths to High-Performance Automated Theorem Proving.
CADE 1986: 588-597 |
| 15 | | Ewing L. Lusk,
William McCune,
Ross A. Overbeek:
ITP at Argonne National Laboratory.
CADE 1986: 697-698 |
| 14 | | Ralph Butler,
Ewing L. Lusk,
William McCune,
Ross A. Overbeek:
Parallel Logic Programming for Numeric Applications.
ICLP 1986: 375-388 |
| 13 | | 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) |
| 1985 |
|---|
| 12 | | 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) |
| 11 | | Ewing L. Lusk,
Ross A. Overbeek:
Non-Horn Problems.
J. Autom. Reasoning 1(1): 103-114 (1985) |
| 10 | | Ewing L. Lusk,
Ross A. Overbeek:
Reasoning about Equality.
J. Autom. Reasoning 1(2): 209-228 (1985) |
| 1984 |
|---|
| 9 | | Ewing L. Lusk,
Ross A. Overbeek:
A Portable Environment for Research in Automated Reasoning.
CADE 1984: 43-52 |
| 1983 |
|---|
| 8 | EE | G. Margrave,
Ewing L. Lusk,
Ross A. Overbeek:
Tools for the Creation of IMS Database Designs from Entity-Relationship Diagrams.
ER 1983: 501-515 |
| 1982 |
|---|
| 7 | | Ewing L. Lusk,
William McCune,
Ross A. Overbeek:
Logic Machine Architecture: Kernel Funtions.
CADE 1982: 70-84 |
| 6 | | Ewing L. Lusk,
William McCune,
Ross A. Overbeek:
Logic Machine Architecture: Inference Mechanisms.
CADE 1982: 85-108 |
| 1981 |
|---|
| 5 | EE | Larry Wos,
S. K. Winker,
Ewing L. Lusk:
An automated reasoning system.
AFIPS National Computer Conference 1981: 697-702 |
| 4 | EE | Ewing L. Lusk,
Gene Petrie,
Ross A. Overbeek:
Item Tracking Entity-Relationship Models.
ER 1981: 213-233 |
| 1980 |
|---|
| 3 | | Ross A. Overbeek,
Ewing L. Lusk:
Data Structures and Control Architectures for Implementation of Theorem-Proving Programs.
CADE 1980: 232-249 |
| 2 | EE | 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 |
| 1979 |
|---|
| 1 | EE | Ewing L. Lusk,
Ross A. Overbeek:
A DML for Entity-Relationship Models.
ER 1979: 445-462 |
