A Comparative Study of Models of Parallel Computation - Richard J. Lipton; Lawrence Snyder 001; Yechezkel Zalcstein (SWAT, 1974)

On the Aanderaa-Rosenberg Conjecture. - Richard J. Lipton; Lawrence Snyder 001 (SIGACT News, 1974)

A Linear Time Algorithm for Deciding Security - Anita K. Jones; Richard J. Lipton; Lawrence Snyder 001 (FOCS, 1976)

On Uniquely Represented Data Structures (Extended Abstract) - Lawrence Snyder 001 (FOCS, 1977)

On the Power of Applicative Languages. - Richard J. Lipton; Lawrence Snyder 001 (Formal Description of Programming Concepts, 1977)

On the Synthesis and Analysis of Protection Systems. - Lawrence Snyder 001 (SOSP, 1977)

A Linear Time Algorithm for Deciding Subject Security. - Richard J. Lipton; Lawrence Snyder 001 (J. ACM, 1977)

Synchronization and Computing Capabilities of Linear Asynchronous Structures. - Richard J. Lipton; Raymond E. Miller; Lawrence Snyder 001 (J. Comput. Syst. Sci., 1977)

On the Many Facets of Lists. - Calvin C. Elgot; Lawrence Snyder 001 (Theor. Comput. Sci., 1977)

On B-trees Re-examined. - Lawrence Snyder 001 (Commun. ACM, 1978)

Bounds on the Costs of Data Encodings. - Arnold L. Rosenberg; Lawrence Snyder 001 (Math. Syst. Theory, 1978)

Minimal-Comparison 2, 3-Trees. - Arnold L. Rosenberg; Lawrence Snyder 001 (SIAM J. Comput., 1978)

On a General Method for Maximizing and Minimizing among Certain Geometric Problems (Extended Abstract) - David P. Dobkin; Lawrence Snyder 001 (FOCS, 1979)

Compact B-Trees. - Arnold L. Rosenberg; Lawrence Snyder 001 (SIGMOD Conference, 1979)

The Transfer of Information and Authority in a Protection System. - Matt Bishop; Lawrence Snyder 001 (SOSP, 1979)

Optimal 2, 3-Trees. - Raymond E. Miller; Nicholas Pippenger; Arnold L. Rosenberg; Lawrence Snyder 001 (SIAM J. Comput., 1979)

Uniform Data Encodings. - Arnold L. Rosenberg; Larry J. Stockmeyer; Lawrence Snyder 001 (Theor. Comput. Sci., 1980)

Bounds on Minimax Edge Length for Complete Binary Trees (Extended Abstract) - Mike Paterson; Walter L. Ruzzo; Lawrence Snyder 001 (STOC, 1981)

Theft and Conspiracy in the Take-Grant Protection Model. - Lawrence Snyder 001 (J. Comput. Syst. Sci., 1981)

Formal Models of Capability-Based Protection Systems. - Lawrence Snyder 001 (IEEE Trans. Computers, 1981)

Time- and Space-Optimality in B-Trees. - Arnold L. Rosenberg; Lawrence Snyder 001 (ACM Trans. Database Syst., 1981)

Testing coordination for "homogeneous" parallel algorithms. - Janice E. Cuny; Lawrence Snyder 001 (ICPP, 1982)

Wafer scale integration of Configurable, Highly Parallel (CHiP) processors. - Kye S. Hedlund; Lawrence Snyder 001 (ICPP, 1982)

Recognition and Selection of Idioms for Code Optimization. - Lawrence Snyder 001 (Acta Informatica, 1982)

Introduction to the Configurable, Highly Parallel Computer. - Lawrence Snyder 001 (Computer, 1982)

A Syntax-Free Semantics for the APL Operators. - Calvin C. Elgot; Alan J. Perlis; Lawrence Snyder 001 (Inf. Process. Lett., 1982)

Omni-sort: A Versatile Data Processing Operation for VLSI. - Ching C. Hsiao; Lawrence Snyder 001 (ICPP, 1983)

Introduction to the Poker Parallel Programming Environment. - Lawrence Snyder 001 (ICPP, 1983)

Compilation of Data-Driven Programs for Synchronous Execution. - Janice E. Cuny; Lawrence Snyder 001 (POPL, 1983)

A model for university, industry and government cooperation. - Lawrence Snyder 001 (DAC, 1984)

The Pringle Parallel Computer. - Alejandro A. Kapauan; J. Timothy Field; Dennis Gannon; Lawrence Snyder 001 (ISCA, 1984)

Supercomputers and VLSI: The Effect of Large-Scale Integration on Computer Architecture. - Lawrence Snyder 001 (Adv. Comput., 1984)

Parallel Programming and the Poker Programming Environment. - Lawrence Snyder 001 (Computer, 1984)

Testing the Coordination Predicate. - Janice E. Cuny; Lawrence Snyder 001 (IEEE Trans. Computers, 1984)

An Inquiry into the Benefits of Multigauge Parallel Computation. - Lawrence Snyder 001 (ICPP, 1985)

Programming Solutions to the Algorithm Contraction Problem. - David Notkin; Lawrence Snyder 001 (ICPP, 1986)

Poker on the Cosmic Cube: The First Retargetable Parallel Programming Language and Environment. - Lawrence Snyder 001; David Socha (ICPP, 1986)

Near-Optimal Speedup of Graphics Algorithms Using Multigauge Parallel Computers. - Tony DeRose; Lawrence Snyder 001; Chyan Yang (ICPP, 1987)

On Mapping Parallel Algorithms into Parallel Architectures. - Francine Berman; Lawrence Snyder 001 (J. Parallel Distributed Comput., 1987)

Report of the NSF/CMU Workshop on Performance Efficient Parallel Programming. - Zary Segall; Larry Snyder (SIGMETRICS Perform. Evaluation Rev., 1987)

Conversion from Data-Driven to Synchronous Execution in Loop Programs. - Janice E. Cuny; Lawrence Snyder 001 (ACM Trans. Program. Lang. Syst., 1987)

A Notation for Describing Multiple Views of VLSI Circuits. - Jean-Loup Baer; Meei-Chiueh Liem; Larry McMurchie; Rudolf Nottrott; Lawrence Snyder 001; Wayne Winder (DAC, 1988)

An Empirical Study of On-chip Parallelism. - Mary L. Bailey; Lawrence Snyder 001 (DAC, 1988)

A Taxonomy of Synchronous Parallel Machines. - Lawrence Snyder 001 (ICPP (1), 1988)

Experiences with Poker. - David Notkin; Lawrence Snyder 001; David Socha; Mary L. Bailey; Bruce Forstall; Kevin Gates; Raymond Greenlaw; William G. Griswold; Thomas J. Holman; Richard Korry; Gemini Lasswell; Robert Mitchell; et al. (PPOPP/PPEALS, 1988)

Achieving speedups for APL on an SSIMD parallel computer. - Raymond Greenlaw; Larry Snyder (ACM SIGAPL APL Quote Quad, 1988)

A model for comparing synchronization strategies for parallel logic-level simulation. - Mary L. Bailey; Lawrence Snyder 001 (ICCAD, 1989)

How Port Ensembles Aid the Efficient Retargeting of Reduction Algorithms. - William G. Griswold; Gail A. Harrison; David Notkin; Lawrence Snyder 001 (ICPP (2), 1990)

A Formal Model of the Processor Memory Interface. - Samuel Ho; Lawrence Snyder 001 (ICPP (1), 1990)

A Comparison of Programming Models for Shared Memory Multiprocessors. - Calvin Lin; Lawrence Snyder 001 (ICPP (2), 1990)

Balance in Architectural Design. - Samuel Ho; Lawrence Snyder 001 (ISCA, 1990)

A flexible communication abstraction for nonshared memory parallel computing. - Gail A. Alverson; William G. Griswold; David Notkin; Lawrence Snyder 001 (SC, 1990)

Achieving speedups for APL on an SIMD distributed memory machine. - Raymond Greenlaw; Lawrence Snyder 001 (Int. J. Parallel Program., 1990)

Generalized Planar Matching. - Francine Berman; David S. Johnson 001; Frank Thomson Leighton; Peter W. Shor; Larry Snyder (J. Algorithms, 1990)

Chaos Router: Architecture and Performance. - Smaragda Konstantinidou; Lawrence Snyder 001 (ISCA, 1991)

Programming SIMPLE for Parallel Portability. - Jinling Lee; Calvin Lin; Lawrence Snyder 001 (LCPC, 1991)

Portable Parallel Programming: Cross Machine Comparisons for SIMPLE. - Calvin Lin; Lawrence Snyder 001 (PP, 1991)

A portable implementation of SIMPLE. - Calvin Lin; Lawrence Snyder 001 (Int. J. Parallel Program., 1991)

A comparison of shared and nonshared memory models of parallel computation. - Richard J. Anderson 001; Lawrence Snyder 001 (Proc. IEEE, 1991)

The chaos router: a practical application of randomization in network routing. - Smaragda Konstantinidou; Lawrence Snyder 001 (SIGARCH Comput. Archit. News, 1991)

Data Ensemles in Orca C. - Calvin Lin; Lawrence Snyder 001 (LCPC, 1992)

Chaos Router: Finally, a Practical Adaptive Router? - Lawrence Snyder 001 (Heinz Nixdorf Symposium, 1992)

Synopsis of Orca, Asimple Language Implementation of Phase Abstracttions. - Lawrence Snyder 001 (SIGPLAN Workshop, 1992)

Report of the Purdue Workshop on Grand Challenges in Computer Architecture for the Support of High Performance Computing. - Howard Jay Siegel; Seth Abraham; William L. Bain; Kenneth E. Batcher; Thomas L. Casavant; Doug DeGroot; Jack B. Dennis; David C. Douglas; Tse-Yun Feng; James R. Goodman; Alan Huang; Harry F. Jordan; et al. (J. Parallel Distributed Comput., 1992)

Invited Lecture: Foundations of Practical Parallel Programming Languages. - Lawrence Snyder 001 (ACPC, 1993)

ZPL: An Array Sublanguage. - Calvin Lin; Lawrence Snyder 001 (LCPC, 1993)

The Ariadne Debugger: Scalable Application of Event-Based Abstraction. - Janice E. Cuny; George Forman; Alfred Hough; Joydip Kundu; Calvin Lin; Lawrence Snyder 001; David W. Stemple (Workshop on Parallel and Distributed Debugging, 1993)

A Practical Parallel Programming Model. - Lawrence Snyder 001 (Specification of Parallel Algorithms, 1994)

Accommodating Polymorphic Data Decompositions in Explicitly Parallel Programs. - Calvin Lin; Lawrence Snyder 001 (IPPS, 1994)

SIMPLE Performance Results in ZPL. - Calvin Lin; Lawrence Snyder 001 (LCPC, 1994)

CRANIUM: An Interface for Message Passing on Adaptive Packet Routing Networks. - Neil R. McKenzie; Kevin Bolding; Carl Ebeling; Lawrence Snyder 001 (PCRCW, 1994)

Performance Analysis of a Minimal Adaptive Router. - Thu Duc Nguyen; Lawrence Snyder 001 (PCRCW, 1994)

The Chaos Router. - Smaragda Konstantinidou; Lawrence Snyder 001 (IEEE Trans. Computers, 1994)

Experimental Validation of Models of Parallel Computation. - Lawrence Snyder 001 (Computer Science Today, 1995)

A Portable Parallel N-Body Solver. - E. Christopher Lewis; Calvin Lin; Lawrence Snyder 001; George Turkiyyah (PP, 1995)

A Comparison of Input and Output Driven Routers. - Melanie L. Fulgham; Lawrence Snyder 001 (Euro-Par, Vol. I, 1996)

Factor-Join: A Unique Approach to Compiling Array Languages for Parallel Machines. - Bradford L. Chamberlain; Sung-Eun Choi; E. Christopher Lewis; Calvin Lin; Lawrence Snyder 001; Derrick Weathersby (LCPC, 1996)

Quantifying the Effects of Communication Optimizations. - Sung-Eun Choi; Lawrence Snyder 001 (ICPP, 1997)

A Compiler Abstraction for Machine Independent Parallel Communication Generation. - Bradford L. Chamberlain; Sung-Eun Choi; Lawrence Snyder 001 (LCPC, 1997)

Integrated Multi-class Routing. - Melanie L. Fulgham; Lawrence Snyder 001 (PCRCW, 1997)

ChaosLAN: Design and Implementation of a Gigabit LAN Using Chaotic Routing. - Neil R. McKenzie; Kevin Bolding; Carl Ebeling; Lawrence Snyder 001 (PCRCW, 1997)

ZPL: Scientific Computing with Speed and Convenience. - Lawrence Snyder 001 (PP, 1997)

Portable Performance of Data Parallel Languages. - Ton Anh Ngo; Lawrence Snyder 001; Bradford L. Chamberlain (SC, 1997)

Triplex: A Multi-Class Routing Algorithm. - Melanie L. Fulgham; Lawrence Snyder 001 (SPAA, 1997)

The Case for Chaotic Adaptive Routing. - Kevin Bolding; Melanie L. Fulgham; Lawrence Snyder 001 (IEEE Trans. Computers, 1997)

ZPL's WYSIWYG Performance Model. - Bradford L. Chamberlain; Sung-Eun Choi; E. Christopher Lewis; Calvin Lin; Lawrence Snyder 001; Derrick Weathersby (HIPS, 1998)

The Implementation and Evaluation of Fusion and Contraction in Array Languages. - E. Christopher Lewis; Calvin Lin; Lawrence Snyder 001 (PLDI, 1998)

Abstractions for Portable, Scalable Parallel Programming. - Gail A. Alverson; William G. Griswold; Calvin Lin; David Notkin; Lawrence Snyder 001 (IEEE Trans. Parallel Distributed Syst., 1998)

Regions: an abstraction for expressing array computation. - Bradford L. Chamberlain; E. Christopher Lewis; Calvin Lin; Lawrence Snyder 001 (APL, 1999)

Problem space promotion and its evaluation as a technique for efficient parallel computation. - Bradford L. Chamberlain; E. Christopher Lewis; Lawrence Snyder 001 (International Conference on Supercomputing, 1999)

Language Support for Pipelining Wavefront Computations. - Bradford L. Chamberlain; E. Christopher Lewis; Lawrence Snyder 001 (LCPC, 1999)

Pipelining Wavefront Computations: Experiences and Performance. - E. Christopher Lewis; Lawrence Snyder 001 (IPDPS Workshops, 2000)

A Comparative Study of the NAS MG Benchmark across Parallel Languages and Architectures. - Bradford L. Chamberlain; Steven J. Deitz; Lawrence Snyder 001 (SC, 2000)

ZPL: A Machine Independent Programming Language for Parallel Computers. - Bradford L. Chamberlain; Sung-Eun Choi; E. Christopher Lewis; Calvin Lin; Lawrence Snyder 001; Derrick Weathersby (IEEE Trans. Software Eng., 2000)

Parallel Computation: MM +/- X. - Lawrence Snyder 001 (Informatics, 2001)

Array language support for parallel sparse computation. - Bradford L. Chamberlain; Lawrence Snyder 001 (ICS, 2001)

Eliminating redundancies in sum-of-product array computations. - Steven J. Deitz; Bradford L. Chamberlain; Lawrence Snyder 001 (ICS, 2001)

What Are the Top Ten Most Influential Parallel and Distributed Processing Concepts of the Past Millenium? - Mitchell D. Theys; Shoukat Ali; Howard Jay Siegel; K. Mani Chandy; Kai Hwang 001; Ken Kennedy; Lui Sha; Kang G. Shin; Marc Snir; Larry Snyder; Thomas L. Sterling (J. Parallel Distributed Comput., 2001)

High-level Language Support for User-defined Reductions. - Steven J. Deitz; Bradford L. Chamberlain; Lawrence Snyder 001 (J. Supercomput., 2002)

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 001 (PPoPP, 2003)

Abstractions for Dynamic Data Distribution. - Steven J. Deitz; Bradford L. Chamberlain; Lawrence Snyder 001 (HIPS, 2004)

TSL Dissertation Abstracts: 2004 Transportation Science and Logistics Section Dissertation Prize Competition. - Lawrence Snyder 001; Miguel Andres Figliozzi; Jeffrey Michael Casello; Elaine J. Chang; Chi-Nan Chin; Frank Crittin; Laurie Garrow; Paulo Goncalves; Dennis Huisman; Wenlong Jin; Laura Sumi Kang; Zongzhi Li; et al. (Transp. Sci., 2005)

Fluency with information technology - skills, concepts, and capabilities (2. ed.). - Lawrence Snyder 001 (Addison-Wesley, 2006)

Global-view abstractions for user-defined reductions and scans. - Steven J. Deitz; David Callahan; Bradford L. Chamberlain; Lawrence Snyder 001 (PPoPP, 2006)

Re-centering computer science. - Peter J. Denning; Andrew D. McGettrick; Paul S. Rosenbloom; Larry Snyder (SIGCSE, 2006)

The design and development of ZPL. - Lawrence Snyder 001 (HOPL, 2007)

Fluency with Information Technology. - Lawrence Snyder 001 (Wiley Encyclopedia of Computer Science and Engineering, 2008)

CS principles: piloting a new course at national scale. - Owen L. Astrachan; Tiffany Barnes; Daniel D. Garcia; Jody Paul; Beth Simon; Larry Snyder (SIGCSE, 2011)

Blue CHiP. - Lawrence Snyder 001 (Encyclopedia of Parallel Computing, 2011)

Computer science principles and the CS 10K initiative. - Amy Briggs; Lawrence Snyder 001 (Inroads, 2012)

CS principles pilot at University of Washington. - Lawrence Snyder 001 (Inroads, 2012)

Status update: high school CS internationally. - Lawrence Snyder 001 (Inroads, 2012)

The first five computer science principles pilots: summary and comparisons. - Lawrence Snyder 001; Tiffany Barnes; Dan Garcia 001; Jody Paul; Beth Simon (Inroads, 2012)

Analysis. - Lawrence Snyder 001; Tiffany Barnes; Dan Garcia 001; Jody Paul; Beth Simon (Inroads, 2012)

An interview with Hadi Partovi. - Lawrence Snyder 001 (Commun. ACM, 2013)

From arcane to essential: the changing view of programming. - Lawrence Snyder 001 (J. Comput. Sci. Coll., 2014)

A case of computer science principles with traditional text-based programming languages. - Kelvin Sung; Lawrence Snyder 001 (J. Comput. Sci. Coll., 2014)

Early assessment of computer science principles at UW. - Lawrence Snyder 001; Raven Avery Alexander (Inroads, 2015)