BibSLEIGH — Ewing_L

Travelled to:

1 × Australia
1 × Canada
1 × China
1 × United Kingdom
2 × France
8 × USA

Collaborated with:

R.A.Overbeek W.McCune R.Butler J.K.Slaney T.Disz L.Wos A.L.Leveton B.D.Parrello R.L.Stevens I.T.Foster S.Mudambi P.Szeredi J.M.Wozniak T.G.Armstrong M.Wilde D.S.Katz R.Olson S.Winker B.R.Toonen D.Ashton W.Gropp E.Gabriel N.T.Karonis

Talks about:

parallel (8) logic (6) program (5) autom (5) theorem (4) architectur (3) implement (3) applic (3) prove (3) portabl (2)

Person: Ewing L. Lusk

DBLP: Lusk:Ewing_L=

Facilitated 2 volumes:

Contributed to:

2013

2001

1994

1993

1992

1990

1988

1987

1986

1984

1982

1980

Wrote 21 papers:

PPoPP-2013-WozniakAWKLF #data flow #named #programming #scalability: Swift/T: scalable data flow programming for many-task applications (JMW, TGA, MW, DSK, ELL, ITF), pp. 309–310.
HPDC-2001-ToonenALFGGBK #parallel #process: Interfacing Parallel Jobs to Process Managers (BRT, DA, ELL, ITF, WG, EG, RB, NTK), pp. 431–432.
CADE-1994-SlaneyLM #named #semantics: SCOTT: Semantically Constrained Otter System Description (JKS, ELL, WM), pp. 764–768.
HPDC-1993-ButlerLL #implementation #named: P4-Linda: A Portable Implementation of Linda (RB, ALL, ELL), pp. 50–58.
ILPS-1993-LuskMOS #biology #parallel #prolog: Applications of the Aurora Parallel Prolog System to Computational Molecular Biology (ELL, SM, RAO, PS), pp. 353–369.
CADE-1992-LuskMS #named #parallel #proving #theorem proving: ROO: A Parallel Theorem Prover (ELL, WM, JKS), pp. 731–734.
CADE-1992-LuskW #benchmark #metric #problem #similarity: Benchmark Problems in Which Equality Plays the Major Role (ELL, LW), pp. 781–785.
CADE-1990-LuskM #automation #proving #theorem proving #tutorial: Tutorial on High-Performance Automated Theorem Proving (ELL, WM), p. 681.
CADE-1990-SlaneyL #automation #deduction: Parallelizing the Closure Computation in Automated Deduction (JKS, ELL), pp. 28–39.
CADE-1990-WosWMOLSB #automation #logic #reasoning: Automated Reasoning Contributed to Mathematics and Logic (LW, SW, WM, RAO, ELL, RLS, RB), pp. 485–499.
JICSCP-1988-ButlerDLOOS88 #perspective #scheduling: Scheduling OR-Parallelism: An Argonne Perspective (RB, TD, ELL, RO, RAO, RLS), pp. 1590–1605.
ICLP-1987-DiszLO87 #logic programming #source code: Experiments with OR-Parallel Logic Programs (TD, ELL, RAO), pp. 576–600.
SLP-1987-DiszL87 #behaviour #logic programming #parallel #source code #visual notation: A Graphical Tool for Observing the Behavior of Parallel Logic Programs (TD, ELL), pp. 46–53.
CADE-1986-ButlerLMO #automation #proving #theorem proving: Paths to High-Performance Automated Theorem Proving (RB, ELL, WM, RAO), pp. 588–597.
CADE-1986-LuskMO: ITP at Argonne National Laboratory (ELL, WM, RAO), pp. 697–698.
ICLP-1986-ButlerLMO86 #logic programming #parallel: Parallel Logic Programming for Numeric Applications (RB, ELL, WM, RAO), pp. 375–388.
CADE-1984-LuskO #automation #reasoning #research: A Portable Environment for Research in Automated Reasoning (ELL, RAO), pp. 43–52.
CADE-1982-LuskMO #architecture #kernel #logic: Logic Machine Architecture: Kernel Funtions (ELL, WM, RAO), pp. 70–84.
CADE-1982-LuskMO82a #architecture #logic: Logic Machine Architecture: Inference Mechanisms (ELL, WM, RAO), pp. 85–108.
CADE-1980-OverbeekL #architecture #data type #implementation #source code: Data Structures and Control Architectures for Implementation of Theorem-Proving Programs (RAO, ELL), pp. 232–249.
SIGMOD-1980-LuskOP #database #design #implementation #using: A Practical Design Methodology for the Implementation of IMS Databases, Using the Entity-Relationship Model (ELL, RAO, BDP), pp. 9–21.