| 2006 | PPoPP | Global-view abstractions for user-defined reductions and scans. | Steven J. Deitz, David Callahan, Bradford L. Chamberlain, Lawrence Snyder |
| 2004 | HIPS | Abstractions for Dynamic Data Distribution. | Steven J. Deitz, Bradford L. Chamberlain, Lawrence Snyder |
| 2003 | PPoPP | The design and implementation of a parallel array operator for the arbitrary remapping of data. | Steven J. Deitz, Bradford L. Chamberlain, Sung-Eun Choi, Lawrence Snyder |
| 2001 | ICS | Array language support for parallel sparse computation. | Bradford L. Chamberlain, Lawrence Snyder |
| 2001 | ICS | Eliminating redundancies in sum-of-product array computations. | Steven J. Deitz, Bradford L. Chamberlain, Lawrence Snyder |
| 2000 | SC | A Comparative Study of the NAS MG Benchmark across Parallel Languages and Architectures. | Bradford L. Chamberlain, Steven J. Deitz, Lawrence Snyder |
| 1999 | ICS | Problem space promotion and its evaluation as a technique for efficient parallel computation. | Bradford L. Chamberlain, E. Christopher Lewis, Lawrence Snyder |
| 1998 | HIPS | ZPL's WYSIWYG Performance Model. | Bradford L. Chamberlain, Sung-Eun Choi, E. Christopher Lewis, Calvin Lin, Lawrence Snyder, Derrick Weathersby |
| 1998 | PLDI | The Implementation and Evaluation of Fusion and Contraction in Array Languages. | E. Christopher Lewis, Calvin Lin, Lawrence Snyder |
| 1997 | ICPP | Quantifying the Effects of Communication Optimizations. | Sung-Eun Choi, Lawrence Snyder |
| 1997 | SC | Portable Performance of Data Parallel Languages. | Ton Anh Ngo, Lawrence Snyder, Bradford L. Chamberlain |
| 1997 | SPAA | Triplex: A Multi-Class Routing Algorithm. | Melanie L. Fulgham, Lawrence Snyder |
| 1996 | EuroPar | A Comparison of Input and Output Driven Routers. | Melanie L. Fulgham, Lawrence Snyder |
| 1991 | ISCA | Chaos Router: Architecture and Performance. | Smaragda Konstantinidou, Lawrence Snyder |
| 1990 | ICPP | How Port Ensembles Aid the Efficient Retargeting of Reduction Algorithms. | William G. Griswold, Gail A. Harrison, David Notkin, Lawrence Snyder |
| 1990 | ICPP | A Formal Model of the Processor Memory Interface. | Samuel Ho, Lawrence Snyder |
| 1990 | ICPP | A Comparison of Programming Models for Shared Memory Multiprocessors. | Calvin Lin, Lawrence Snyder |
| 1990 | ISCA | Balance in Architectural Design. | Samuel Ho, Lawrence Snyder |
| 1990 | SC | A flexible communication abstraction for nonshared memory parallel computing. | Gail A. Alverson, William G. Griswold, David Notkin, Lawrence Snyder |
| 1990 | SPAA | The Chaos Router: A Practical Application of Randomization in Network Routing. | Smaragda Konstantinidou, Lawrence Snyder |
| 1989 | ICCAD | A model for comparing synchronization strategies for parallel logic-level simulation. | Mary L. Bailey, Lawrence Snyder |
| 1988 | DAC | A Notation for Describing Multiple Views of VLSI Circuits. | Jean-Loup Baer, Meei-Chiueh Liem, Larry McMurchie, Rudolf Nottrott, Lawrence Snyder, Wayne Winder |
| 1988 | DAC | An Empirical Study of On-chip Parallelism. | Mary L. Bailey, Lawrence Snyder |
| 1988 | ICPP | A Taxonomy of Synchronous Parallel Machines. | Lawrence Snyder |
| 1988 | PPoPP | Experiences with Poker. | David Notkin, Lawrence Snyder, David Socha, Mary L. Bailey, Bruce Forstall, Kevin Gates, Raymond Greenlaw, William G. Griswold, Thomas J. Holman, Richard Korry, Gemini Lasswell, Robert Mitchell, Philip A. Nelson |
| 1987 | ICPP | Near-Optimal Speedup of Graphics Algorithms Using Multigauge Parallel Computers. | Tony DeRose, Lawrence Snyder, Chyan Yang |
| 1986 | ICPP | Programming Solutions to the Algorithm Contraction Problem. | David Notkin, Lawrence Snyder |
| 1986 | ICPP | Poker on the Cosmic Cube: The First Retargetable Parallel Programming Language and Environment. | Lawrence Snyder, David Socha |
| 1985 | ICPP | An Inquiry into the Benefits of Multigauge Parallel Computation. | Lawrence Snyder |
| 1984 | DAC | A model for university, industry and government cooperation. | Lawrence Snyder |
| 1984 | ISCA | The Pringle Parallel Computer. | Alejandro A. Kapauan, J. Timothy Field, Dennis Gannon, Lawrence Snyder |
| 1983 | ICPP | Omni-sort: A Versatile Data Processing Operation for VLSI. | Ching C. Hsiao, Lawrence Snyder |
| 1983 | ICPP | Introduction to the Poker Parallel Programming Environment. | Lawrence Snyder |
| 1983 | POPL | Compilation of Data-Driven Programs for Synchronous Execution. | Janice E. Cuny, Lawrence Snyder |
| 1982 | ICPP | Testing coordination for "homogeneous" parallel algorithms. | Janice E. Cuny, Lawrence Snyder |
| 1982 | ICPP | Wafer scale integration of Configurable, Highly Parallel (CHiP) processors. | Kye S. Hedlund, Lawrence Snyder |
| 1981 | STOC | Bounds on Minimax Edge Length for Complete Binary Trees (Extended Abstract) | Mike Paterson, Walter L. Ruzzo, Lawrence Snyder |
| 1979 | FOCS | On a General Method for Maximizing and Minimizing among Certain Geometric Problems (Extended Abstract) | David P. Dobkin, Lawrence Snyder |
| 1979 | SIGMOD | Compact B-Trees. | Arnold L. Rosenberg, Lawrence Snyder |
| 1979 | SOSP | The Transfer of Information and Authority in a Protection System. | Matt Bishop, Lawrence Snyder |
| 1977 | FOCS | On Uniquely Represented Data Structures (Extended Abstract) | Lawrence Snyder |
| 1977 | SOSP | On the Synthesis and Analysis of Protection Systems. | Lawrence Snyder |
| 1976 | FOCS | A Linear Time Algorithm for Deciding Security | Anita K. Jones, Richard J. Lipton, Lawrence Snyder |
| 1975 | FOCS | Synchronization and Computing Capabilities of Linear Asynchronous Structures | Richard J. Lipton, Raymond E. Miller, Lawrence Snyder |
| 1974 | FOCS | A Comparative Study of Models of Parallel Computation | Richard J. Lipton, Lawrence Snyder, Yechezkel Zalcstein |