MIT Press / Air Force Research Laboratory / ACM Press / Andrew Lumsdaine Daniel Quinlan Lawrence Livermore National Laboratory / Lawrence Livermore National Laboratory / Lawrence Livermore National Security LLC / /
Country
United States / United Kingdom / /
Currency
AUD / USD / /
Facility
Laboratory Directed Research and Development Program / Air Force Research Laboratory / Jeremiah Willcock Andrew Lumsdaine Daniel Quinlan Lawrence Livermore National Laboratory / Massachusetts Institute of Technology / /
IndustryTerm
concurrent software systems / shortest path algorithms / worklist algorithm / call site / elegant solution / program analysis using general purpose logic programming systems / /
Organization
U.S. Department of Energy / National Science Foundation / Lilly Endowment / MIT / Massachusetts Institute of Technology / Indiana University / United States government / United States Department of Energy High Performance Computer Science Fellowship / /
Person
Gregory A. Marton / Steven Dawson / Jamieson M. Cobleigh / Lawrence Livermore / Suzanne Wagner Dietrich / Guy L. Steele / Jr. / Tamaki / Daniel P. Friedman / Matthew B. Dwyer / William E. Byrd / Matthew Flatt / Lori A. Clarke / Diptikalyan Saha / Y. S. Ramakrishna / Fan / Scott A. Smolka / Taisuke Sato / David Scott Warren / Chen / David S. Warren / Changguan Fan / Hao Chen / Mark Johnson / Chunhau Liao / Donald Michie / Terrance Swift / Thomas Panas / Gleb Naumovich / Hisao Tamaki / David Wagner / Oleg Kiselyov / C. R. Ramakrishnan / I. V. Ramakrishnan / Suzanne W. Dietrich / Weidong Chen / / /
Tabled Execution in Scheme (Scheme Pearl) Jeremiah Willcock Andrew Lumsdaine