EDBT 2026 Demo / reviewers in the wild / expert
Ewing L. Lusk
dblp:l/EwingLLusk
· DBLP profile ↗
56ranked-venue papers
18as first author
0since 2021 · last 2013
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 25 · 2 first-authorArtificial intelligence and machine learning · 18 · 11 first-authorTheory of computation · 17 · 9 first-authorDatabases, data management, data science and information retrieval · 5 · 3 first-authorSoftware engineering, systems software and programming languages · 2Human-computer interaction and ubiquitous computing · 1 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
7 papers |
Parallel and multicore computing · 52% High-performance computing · 36% Distributed systems · 5% | |
| Databases, data mining, and information retrieval
1 paper |
Data models and query languages · 56% Database system architecture and tuning · 44% |
Topics — the 18 heaviest of 20, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Parallel and multicore computing
parallel programming models |
0.3 | 6 | 2013 | Swift/T: scalable data flow programming for many-task applications · PPoPP 2013 S01 - Advanced MPI: I/O and one-sided communication · SC 2006 M01 - Application supercomputing and multiscale simulation techniques · SC 2006 |
Parallel and multicore computing › parallel programming models
dataflow programming |
0.2 | 1 | 2013 | Swift/T: scalable data flow programming for many-task applications · PPoPP 2013 |
High-performance computing › high-throughput computing
many-task computing |
0.2 | 1 | 2013 | Swift/T: scalable data flow programming for many-task applications · PPoPP 2013 |
Parallel and multicore computing
MPI |
0.1 | 2 | 2006 | S01 - Advanced MPI: I/O and one-sided communication · SC 2006 Interfacing Parallel Jobs to Process Managers · HPDC 2001 |
High-performance computing
parallel i/o |
0.1 | 2 | 2006 | S01 - Advanced MPI: I/O and one-sided communication · SC 2006 A Case for Using MPI's Derived Datatypes to Improve I/O Performance · SC 1998 |
High-performance computing
multiscale simulation |
0.1 | 1 | 2006 | M01 - Application supercomputing and multiscale simulation techniques · SC 2006 |
Parallel and multicore computing › parallel computing › parallel communication
one-sided communication |
0.1 | 1 | 2006 | S01 - Advanced MPI: I/O and one-sided communication · SC 2006 |
High-performance computing › supercomputing
supercomputing applications |
0.1 | 1 | 2006 | M01 - Application supercomputing and multiscale simulation techniques · SC 2006 |
Performance modeling and evaluation
performance analysis tools |
0.0 | 1 | 2000 | From Trace Generation to Visualization: A Performance Framework for Distributed Parallel Systems · SC 2000 |
High-performance computing
performance optimization at scale |
0.0 | 1 | 2000 | From Trace Generation to Visualization: A Performance Framework for Distributed Parallel Systems · SC 2000 |
Storage systems › i/o optimization
collective i/o |
0.0 | 1 | 1998 | A Case for Using MPI's Derived Datatypes to Improve I/O Performance · SC 1998 |
High-performance computing › parallel i/o
MPI-IO |
0.0 | 1 | 1998 | A Case for Using MPI's Derived Datatypes to Improve I/O Performance · SC 1998 |
Storage systems › file systems › distributed file system
parallel file system |
0.0 | 1 | 1998 | A Case for Using MPI's Derived Datatypes to Improve I/O Performance · SC 1998 |
Parallel and multicore computing › parallel programming models › concurrent programming languages
linda |
0.0 | 1 | 1993 | P4-Linda: A Portable Implementation of Linda · HPDC 1993 |
Performance modeling and evaluation › tracing
MPI tracing |
0.0 | 1 | 2000 | From Trace Generation to Visualization: A Performance Framework for Distributed Parallel Systems · SC 2000 |
Parallel and multicore computing › parallel programming models › hybrid programming models
shared memory and message passing |
0.0 | 1 | 1993 | P4-Linda: A Portable Implementation of Linda · HPDC 1993 |
Data models and query languages
entity-relationship model |
0.0 | 1 | 1980 | A Practical Design Methodology for the Implementation of IMS Databases, Using the Entity-Relationship Model · SIGMOD Conference 1980 |
Data models and query languages › data modeling
hierarchical data model |
0.0 | 1 | 1980 | A Practical Design Methodology for the Implementation of IMS Databases, Using the Entity-Relationship Model · SIGMOD Conference 1980 |
Methods — techniques the papers use, named apart from their topics
data flow language implementation · 0.2UPC · 0.1OpenMP · 0.1MPI · 0.1HPF · 0.1CAF · 0.1API design · 0.0visualization · 0.0trace generation · 0.0interval file format · 0.0schema translation · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2013 | Swift/T: Large-Scale Application Composition via Distributed-Memory Dataflow ProcessingabstractMany scientific applications are conceptually built up from independent component tasks as a parameter study, optimization, or other search. Large batches of these tasks may be executed on high-end computing systems, however, the coordination of the independent processes, their data, and their data dependencies is a significant scalability challenge. Many problems must be addressed, including load balancing, data distribution, notifications, concurrent programming, and linking to existing codes. In this work, we present Swift/T, a programming language and runtime that enables the rapid development of highly concurrent, task-parallel applications. Swift/Tis composed of several enabling technologies to address scalability challenges, offers a high-level optimizing compiler for user programming and debugging, and provides tools for binding user code in C/C++/Fortran into a logical script. In this work, we describe the Swift/T solution and present scaling results from the IBM Blue Gene/Pand Blue Gene/Q. Justin M. Wozniak, Timothy G. Armstrong, Michael Wilde, Daniel S. Katz, Ewing L. Lusk, Ian T. Foster |
CCGRID | 5 |
| 2013 | Swift/T: scalable data flow programming for many-task applicationsabstractSwift/T, a novel programming language implementation for highly scalable data flow programs, is presented. Justin M. Wozniak, Timothy G. Armstrong, Michael Wilde, Daniel S. Katz, Ewing L. Lusk, Ian T. Foster |
PPoPP | 5 |
| 2013 | Dataflow coordination of data-parallel tasks via MPI 3.0abstractScientific applications are often complex collections of many large-scale tasks. Mature tools exist for describing task-parallel workflows consisting of serial tasks, and a variety of tools exist for programming a single data-parallel operation. However, few tools cover the intersection of these two models. In this work, we extend the load balancing library ADLB to support parallel tasks. We demonstrate how applications can easily be composed of parallel tasks using Swift dataflow scripts, which are compiled to ADLB programs with performance comparable to hand-coded equivalents. By combining this framework with data-parallel analysis libraries, we are able to dynamically execute many instances of a parallel data analysis application in support of a parameter exploration workload. Justin M. Wozniak, Tom Peterka, Timothy G. Armstrong, James Dinan, Ewing L. Lusk, Michael Wilde, Ian T. Foster |
EuroMPI | 5 |
| 2013 | Turbine: A Distributed-memory Dataflow Engine for High Performance Many-task ApplicationsabstractEfficiently utilizing the rapidly increasing concurrency of multi-petaflop computing systems is a significant programming challenge. One approach is to structure applications with an upper layer of many loosely coupled coarse-grained tasks, each comp Justin M. Wozniak, Timothy G. Armstrong, Ketan Maheshwari, Ewing L. Lusk, Daniel S. Katz, Michael Wilde, Ian T. Foster |
Fundam. Informaticae | 4 |
| 2012 | Advanced MPI Including New MPI-3 Features
William Gropp, Ewing L. Lusk, Rajeev Thakur |
EuroMPI | 2 |
| 2010 | PMI: A Scalable Parallel Process-Management Interface for Extreme-Scale Systems
Pavan Balaji, Darius Buntinas, David Goodell, William Gropp, Jayesh Krishna, Ewing L. Lusk, Rajeev Thakur |
EuroMPI | 6 |
| 2010 | Implementing MPI on Windows: Comparison with Common Approaches on Unix
Jayesh Krishna, Pavan Balaji, Ewing L. Lusk, Rajeev Thakur, Fabian Tiller |
EuroMPI | 3 |
| 2010 | Global-scale distributed I/O with ParaMEDICabstractAbstract Achieving high performance for distributed I/O on a wide‐area network continues to be an elusive holy grail. Despite enhancements in network hardware as well as software stacks, achieving high‐performance remains a challenge. In this paper, our worldwide team took a completely new and non‐traditional approach to distributed I/O, calledParaMEDIC: Parallel Metadata Environment for Distributed I/O and Computing, by utilizing application‐specifictransformationof data to orders of magnitude smaller metadata before performing the actual I/O. Specifically, this paper details our experiences in deploying a large‐scale system to facilitate the discovery of missing genes and constructing a genome similarity tree by encapsulating the mpiBLAST sequence‐search algorithm into ParaMEDIC. The overall project involved nine computational sites spread across the U.S. and generated more than a petabyte of data that was ‘teleported’ to a large‐scale facility in Tokyo for storage. Copyright © 2010 John Wiley & Sons, Ltd. 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 |
Concurr. Comput. Pract. Exp. | 8 |
| 2009 | CIFTS: A Coordinated Infrastructure for Fault-Tolerant SystemsabstractConsiderable work has been done on providing fault tolerance capabilities for different software components on large-scale high-end computing systems. Thus far, however, these fault-tolerant components have worked insularly and independently and information about faults is rarely shared. Such lack of system-wide fault tolerance is emerging as one of the biggest problems on leadership-class systems. In this paper, we propose a coordinated infrastructure, named CIFTS, that enables system software components to share fault information with each other and adapt to faults in a holistic manner. Central to the CIFTS infrastructure is a Fault Tolerance Backplane (FTB) that enables fault notification and awareness throughout the software stack, including fault-aware libraries, middleware, and applications. We present details of the CIFTS infrastructure and the interface specification that has allowed various software programs, including MPICH2, MVAPICH, Open MPI, and PVFS, to plug into the CIFTS infrastructure. Further, through a detailed evaluation we demonstrate the nonintrusive low-overhead capability of CIFTS that lets applications run with minimal performance degradation. Rinku Gupta, Pete Beckman, Ewing L. Lusk, Paul Hargrove, Al Geist, Dhabaleswar K. Panda 0001, Andrew Lumsdaine, Jack J. Dongarra |
ICPP | 4 |
| 2007 | The computer as software component: A mechanism for developing and testing resource management softwareabstractIn this paper, we present an architecture that encapsulates system hardware inside a software component used for job execution and status monitoring. The development of this interface has enabled system simulation, which yields a number of novel benefits, including dramatically improved debug and testing capabilities. Narayan Desai, Theron Voran, Ewing L. Lusk, Andrew Cherry |
CLUSTER | 3 |
| 2006 | S01 - Advanced MPI: I/O and one-sided communicationabstractThis tutorial is about advanced use of MPI, in particular the parallel I/O and one-sided communication features added in MPI-2. Implementations are now available both from vendors and from open-source projects so that these MPI-2 capabilities can now really be used in practice. The tutorial will be heavily example-driven. For each example we introduce concepts, describe the problem being solved, then walk through the code and its execution.Examples were chosen to cover scenarios seen in real applications, such as 1D and 2D mesh decomposition, checkpointing of sparse data structures, and providing atomic access to shared memory data structures. Attendees will leave the tutorial with both an understanding of these advanced concepts and a collection of working example codes that they are familiar with and have seen in action. This will prepare them for applying these concepts in their own applications. William Gropp, Ewing L. Lusk, Rajeev Thakur, Robert B. Ross |
SC | 2 |
| 2006 | M01 - Application supercomputing and multiscale simulation techniquesabstractTeraflop performance is no longer something of the future as complex integrated and multiscale 3D simulations drive supercomputer development. This tutorial addresses computation at the highest end. An overview of architectures is given (BlueGene/L, Columbia, NEC SX-8, Cray and IBM lines, high-performing clusters) along with programming tools necessary for application development. Parallel programming concepts (MPI, OpenMP, HPF, UPC, CAF) are reviewed and compared. What are the major issues facing application code developers today? How do the challenges vary from cluster computing to the complex hybrid architectures with superscalar and vector processors? What are the barriers we must overcome to achieve true sustained petascale performance? We address these questions and give tips, tricks, and tools of the trade for large mulitscale application development. We discuss some advanced MPI including dynamic process management and optimization. We draw from a series of terascale and multiscale applications and discuss specific challenges and performance issues. Alice E. Koniges, William Gropp, Ewing L. Lusk, David C. Eder |
SC | 3 |
| 2004 | Component-based cluster systems software architecture a case studyabstractWe describe the use of component architecture in an area to which this approach has not been classically applied, the area of cluster system software. By "cluster system software," we mean the collection of programs used in configuring and maintaining individual nodes, together with the software involved in submission, scheduling, monitoring, and termination of jobs. We describe how the component approach maps onto the cluster systems software problem, together with our experiences with the approach in implementing an all-new suite of systems software for a medium-sized cluster with unusually complex systems software requirements. Narayan Desai, Rick Bradshaw, Ewing L. Lusk, Ralf Butler |
CLUSTER | 3 |
| 2003 | The ProcessManagement Component of a Scalable Systems Software EnvironmentabstractThe systems software necessary to operate large-scale parallel computers presents a variety of research and development issues. One approach is to consider systems software as a collection of interacting components, with well-defined published interfaces. The scalable systems software SciDAC project is currently exploring the feasibility of architecting systems software this way. In this paper we present a prototype process manager component for such a system. We describe the component abstractly in terms of its functionality and the interface by which its functionality may be invoked. We propose a precise syntax for this interface and describe one implementation of the process manager component, based on an existing scalable process management system called MPD. We conclude with some experiences using this process manager component in conjunction with other systems software components on a medium-sized Linux cluster. Ralph M. Butler, Narayan Desai, Andrew Lusk, Ewing L. Lusk |
CLUSTER | 4 |
| 2003 | Using MPI-2: Advanced Features of the Message Passing Interface
William Gropp, Ewing L. Lusk, Robert B. Ross, Rajeev Thakur |
CLUSTER | 2 |
| 2002 | Goals Guiding Design: PVM and MPabstractPVM and MPI, two systems for programming clusters, are often compared. The comparisons usually start with the unspoken assumption that PVM and MPI represent different solutions to the same problem. In this paper we show that, in fact, the two systems often are solving different problems. In cases where the problems do match but the solutions chosen by PVM and MPI are different, we explain the reasons for the differences. Usually such differences can be traced to explicit differences in the goals of the two systems, their origins, or the relationship between their specifications and their implementations. For example, we show that the requirement for portability and performance across many platforms caused MPI to choose approaches different from those made by PVM, which is able to exploit the similarities of network-connected systems. William Gropp, Ewing L. Lusk |
CLUSTER | 2 |
| 2002 | MPI in 2002: Has it Been Ten Years Already?abstractSummary form only given. In April of 1992, a group of parallel computing vendors, computer science researchers, and application scientists met at a one-day workshop and agreed to cooperate on the development of a community standard for the message-passing model of parallel computing. The MPI Forum that eventually emerged from that workshop became a model of how a broad community could work together to improve an important component of the high performance computing environment. The Message Passing Interface (MPI) definition that resulted from this effort has been widely adopted and implemented, and is now virtually synonymous with the message-passing model itself MPI not only standardized existing practice in the service of making applications portable in the rapidly changing world of parallel computing, but also consolidated research advances into novel features that extended existing practice and have proven useful in developing a new generation of applications. This talk will discuss some of the procedures and approaches of the MPI Forum that led to MPI's early adoption, and then describe some of the features that have led to its persistence as a reference model for parallel computing. Although clusters were only just emerging as a significant parallel computing production platform as MPI was being defined, MPI has proven to be a useful way of programming them for high performance, and we will discuss the current situation in MPI implementations for clusters. MPI was deliberately designed to grant considerable flexibility to implementors, and thus provides a useful framework for implementation research. Successful implementation techniques within the MPI standard can be utilized immediately by applications already using MPI, thus providing an unusually fast path front research results to their application. At Argonne National Laboratory we have been developing and distributing MPICH, a portable, high performance implementation of MPI, from the very beginning of the MPI effort. We will describe MPICH-2, a completely new version of MPICH just being released. We will present some of its novel design features that we hope will stimulate both further research and a new generation of complete MPI-2 implementations, along with some early performance results. We will conclude with a speculative look at the future of MPI, including its role in other programming approaches, fault tolerance, and its applicability to advanced architectures. Ewing L. Lusk |
CLUSTER | 1 |
| 2002 | Optimizing noncontiguous accesses in MPI-IO
Rajeev Thakur, William Gropp, Ewing L. Lusk |
Parallel Comput. | 3 |
| 2001 | Programming with MPI on ClustersabstractThe authors discuss the current state of development for the key aspects of MPI programming on clusters. These aspects are the evolution of the MPI Standard itself, developments in cluster hardware and system software that directly affect MPI implementations, and supporting software that facilitates the use of MPI on scalable clusters. In each case we give a brief background and summarize the current status. Ewing L. Lusk |
CLUSTER | 1 |
| 2001 | Interfacing Parallel Jobs to Process ManagersabstractA variety of projects worldwide are developing what we call "heterogeneous MPI". These MPI implementations are designed to operate on multiple computers, perhaps of different types, ranging in complexity from a set of desktop workstations to several supercomputers connected via a wide area network. These considerations led us to investigate the feasibility of defining a common API that could be used within MPI implementations to access process startup, initialization, monitoring, and control functions provided by an underlying process management system. If various MPI implementations coded to that API, one could then develop multiple "process management" modules that could be reused within different MPI implementations, thus allowing partitioning of effort between different development groups. In pursuit of this goal, we have designed such an API, which we call BNR. The major goals of the BNR interface are outlined. Brian R. Toonen, David Ashton, Ewing L. Lusk, Ian T. Foster, William Gropp, Edgar Gabriel, Ralph M. Butler, Nicholas T. Karonis |
HPDC | 3 |
| 2001 | Components and interfaces of a process management system for parallel programs
Ralph M. Butler, William Gropp, Ewing L. Lusk |
Parallel Comput. | 3 |
| 2000 | Exploiting Hierarchy in Parallel Computer Networks to Optimize Collective Operation PerformanceabstractThe efficient implementation of collective communication operations has received much attention. Initial efforts modeled network communication and produced "optimal" trees based on those models. However, the models used by these initial efforts assumed equal point-to-point latencies between any two processes. This assumption is violated in heterogeneous systems such as clusters of SMPs and wide-area "computational grids", and as a result, collective operations that utilize the trees generated by these models perform suboptimally. In response, more recent work has focused on creating topology-aware trees for collective operations that minimize communication across slower channels (e.g., a wide-area network). While these efforts have significant communication benefits, they all limit their view of the network to only two layers. We present a strategy based upon a multilayer view of the network. By creating multilevel topology trees we take advantage of communication cost differences at every level in the network. We used this strategy to implement topology-aware versions of several MPI collective operations in MPICH-G, the Globus-enabled version of the popular MPICH implementation of the MPI standard. Using information about topology discovered by Globus, we construct these topology-aware trees automatically during execution, thus freeing the MPI application programmer from having to write special files or functions to describe the topology to the MPICH library. We present results demonstrating the advantages of our multilevel approach by comparing it to the default (topology-unaware) implementation provided by MPICH and a topology-aware two-layer implementation. Nicholas T. Karonis, Bronis R. de Supinski, Ian T. Foster, William Gropp, Ewing L. Lusk, John Bresnahan |
IPDPS | 5 |
| 2000 | From Trace Generation to Visualization: A Performance Framework for Distributed Parallel SystemsabstractIn this paper we describe a trace analysis framework, from trace generation to visualization. It includes a unified tracing facility on IBMâ SPä systems, a self-defining interval file format, an API for framework extensions, utilities for merging and statistics generation, and a visualization tool with preview and multiple time-space diagrams. The trace environment is extremely scalable, and combines MPI events with system activities in the same set of trace files, one for each SMP node. Since the amount of trace data may be very large, utilities are developed to convert and merge individual trace files into a self-defining interval trace file with multiple frame directories. The interval format allows the development of multiple time-space diagrams, such as thread-activity view, processor-activity view, etc., from the same interval file. A visualization tool, Jumpshot, is modified to visualize these views. A statistics utility is developed using the API, along with its graphics viewer. Ching-Farn Eric Wu, Anthony Bolmarcich, Marc Snir, David Wootton, Farid Parpia, Ewing L. Lusk, William Gropp |
SC | 7 |
| 1998 | A Case for Using MPI's Derived Datatypes to Improve I/O PerformanceabstractMPI-IO, the I/O part of the MPI-2 standard, is a promising new interface for parallel I/O. A key feature of MPI-IO is that it allows users to access several noncontiguous pieces of data from a file with a single I/O function call by defining file views with derived datatypes. We explain how critical this feature is for high performance, why users must create and use derived datatypes whenever possible, and how it enables implementations to perform optimizations. In particular, we describe two optimizations our MPI-IO implementation, ROMIO, performs: data sieving and collective I/O. We demonstrate the performance and portability of the approach with performance results on five different parallel machines: HP Exemplar, IBM SP, Intel Paragon, NEC SX-4, and SGI Origin2000. Rajeev Thakur, William Gropp, Ewing L. Lusk |
SC | 3 |
| 1998 | Wide-Area Implementation of the Message Passing Interface
Ian T. Foster, Jonathan Geisler, William Gropp, Nicholas T. Karonis, Ewing L. Lusk, George K. Thiruvathukal, Steven Tuecke |
Parallel Comput. | 5 |
| 1997 | A High-Performance MPI Implementation on a Shared-Memory Vector Supercomputer
William Gropp, Ewing L. Lusk |
Parallel Comput. | 2 |
| 1996 | A High-Performance, Portable Implementation of the MPI Message Passing Interface Standard
William Gropp, Ewing L. Lusk, Nathan E. Doss, Anthony Skjellum |
Parallel Comput. | 2 |
| 1994 | SCOTT: Semantically Constrained Otter System Description
John K. Slaney, Ewing L. Lusk, William McCune |
CADE | 2 |
| 1994 | Monitors, Messages, and Clusters: The p4 Parallel Programming System
Ralph M. Butler, Ewing L. Lusk |
Parallel Comput. | 2 |
| 1993 | P4-Linda: A Portable Implementation of LindaabstractFacilities such as interprocess communication and protection of shared resources have been added to operating systems to support multiprogramming and have since been adapted to exploit explicit multiprocessing within the scope of two models: the shared-memory model and the distributed (message-passing) model. When multiprocessors (or networks of heterogeneous processors) are used for explicit parallelism, the difference between these models is exposed to the programmer. The p4 tool set was originally developed to buffer the programmer from synchronization issues while offering an added advantage in portability, however two models are often still needed to develop parallel algorithms. The authors provide two implementations of Linda in an attempt to support a single high-level programming model on top of the existing paradigms in order to provide a consistent semantics regardless of the underlying model. Linda's fundamental properties associated with generative communication eliminate the distinction between shared and distributed memory.> Ralph M. Butler, Alan L. Leveton, Ewing L. Lusk |
HPDC | 3 |
| 1993 | Commentary - Speedups and InsightsabstractIt is a pleasure to be invited to participate in the discussion of this thoughtful paper, “Reporting Computational Experiments with Parallel Algorithms: Issues, Measures, and Experts' Opinions” by Richard S. Barr and Betty L. Hickman. As one who has published many a table of speedups, I feel very much in the authors' audience, perhaps even in their crosshairs. Their paper focuses attention on an issue faced by every reader as well as writer of articles that report the results of experiments with parallel programs running on real parallel machines. I believe the paper can contribute to more accurate communication in the parallel processing community through a heightened awareness of the issues surrounding reporting of experiments. The survey is a novel addition to the discussion, and seems to indicate that the field's participants are seriously grappling with this problem, although no consensus has developed. What I hope to contribute here are a few opinions on why there is still a quite legitimate variation in what results are reported and how they are measured and presented, as well as some experiences in my own research that might reinforce some of the conclusions in the paper. INFORMS Journal on Computing, ISSN 1091-9856, was published as ORSA Journal on Computing from 1989 to 1995 under ISSN 0899-1499. Ewing L. Lusk |
INFORMS J. Comput. | 1 |
| 1993 | Uniform Strategies: The CADE-11 Theorem Proving Contest
Ewing L. Lusk, William McCune |
J. Autom. Reason. | 1 |
| 1992 | ROO: A Parallel Theorem Prover
Ewing L. Lusk, William McCune, John K. Slaney |
CADE | 1 |
| 1992 | Benchmark Problems in Which Equality Plays the Major Role
Ewing L. Lusk, Larry Wos |
CADE | 1 |
| 1992 | Controlling Redundancy in Large Search Spaces: Argonne-Style Theorem Proving Through the Years
Ewing L. Lusk |
LPAR | 1 |
| 1990 | Tutorial on High-Performance Automated Theorem Proving
Ewing L. Lusk, William McCune |
CADE | 1 |
| 1990 | Parallelizing the Closure Computation in Automated Deduction
John K. Slaney, Ewing L. Lusk |
CADE | 2 |
| 1990 | Automated Reasoning Contributed to Mathematics and Logic
Larry Wos, Steven K. Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph M. Butler |
CADE | 5 |
| 1987 | Experiments with OR-Parallel Logic Programs
Terry Disz, Ewing L. Lusk, Ross A. Overbeek |
ICLP | 2 |
| 1986 | Paths to High-Performance Automated Theorem Proving
Ralph M. Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek |
CADE | 2 |
| 1986 | ITP at Argonne National Laboratory
Ewing L. Lusk, William McCune, Ross A. Overbeek |
CADE | 1 |
| 1986 | Parallel Logic Programming for Numeric Applications
Ralph M. Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek |
ICLP | 2 |
| 1986 | Set Theory in First-Order Logic: Clauses for Gödel's Axioms
Robert S. Boyer, Ewing L. Lusk, William McCune, Ross A. Overbeek, Mark E. Stickel, Larry Wos |
J. Autom. Reason. | 2 |
| 1985 | The Design of Entity-Relationship Models for General Ledger Systems
Bruce D. Parrello, Ross A. Overbeek, Ewing L. Lusk |
Data Knowl. Eng. | 3 |
| 1985 | Non-Horn Problems
Ewing L. Lusk, Ross A. Overbeek |
J. Autom. Reason. | 1 |
| 1985 | Reasoning about Equality
Ewing L. Lusk, Ross A. Overbeek |
J. Autom. Reason. | 1 |
| 1985 | A technique for achieving portability among multiprocessors: Implementation on the Lemur
J. A. Clausing, Ray Hagstrom, Ewing L. Lusk, Ross A. Overbeek |
Parallel Comput. | 3 |
| 1984 | A Portable Environment for Research in Automated Reasoning
Ewing L. Lusk, Ross A. Overbeek |
CADE | 1 |
| 1983 | Tools for the Creation of IMS Database Designs from Entity-Relationship Diagrams
G. Margrave, Ewing L. Lusk, Ross A. Overbeek |
ER | 2 |
| 1982 | Logic Machine Architecture: Kernel Funtions
Ewing L. Lusk, William McCune, Ross A. Overbeek |
CADE | 1 |
| 1982 | Logic Machine Architecture: Inference Mechanisms
Ewing L. Lusk, William McCune, Ross A. Overbeek |
CADE | 1 |
| 1981 | Item Tracking Entity-Relationship Models
Ewing L. Lusk, Gene Petrie, Ross A. Overbeek |
ER | 1 |
| 1980 | Data Structures and Control Architectures for Implementation of Theorem-Proving Programs
Ross A. Overbeek, Ewing L. Lusk |
CADE | 2 |
| 1980 | A Practical Design Methodology for the Implementation of IMS Databases, Using the Entity-Relationship ModelabstractArticle Free Access Share on A practical design methodology for the implementation of IMS databases, using the entity-relationship model Authors: Ewing L. Lusk Northern Illinois University, DeKalb, Illinois Northern Illinois University, DeKalb, IllinoisView Profile , Ross A. Overbeek Northern Illinois University, DeKalb, Illinois Northern Illinois University, DeKalb, IllinoisView Profile , Bruce Parrello Northern Illinois University, DeKalb, Illinois Northern Illinois University, DeKalb, IllinoisView Profile Authors Info & Claims SIGMOD '80: Proceedings of the 1980 ACM SIGMOD international conference on Management of dataMay 1980Pages 9–21https://doi.org/10.1145/582250.582253Published:14 May 1980Publication History 2citation582DownloadsMetricsTotal Citations2Total Downloads582Last 12 Months50Last 6 weeks10 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Publisher SiteeReaderPDF Ewing L. Lusk, Ross A. Overbeek, Bruce D. Parrello |
SIGMOD Conference | 1 |
| 1979 | A DML for Entity-Relationship Models
Ewing L. Lusk, Ross A. Overbeek |
ER | 1 |
| 1977 | An advanced undergraduate course in applied computer scienceabstractThe purpose of this paper is to describe a senior level course in the applied computer science curriculum at Northern Illinois University. The course, Database and Data Communications, has been taught for four semesters, and enrollment has steadily grown. Ewing L. Lusk |
SIGCSE-2 | 1 |