Lawrence Snyder

According to our database1, Lawrence Snyder
  • authored at least 112 papers between 1974 and 2015.
  • has a "Dijkstra number"2 of two.

Awards

ACM Fellow

ACM Fellow 1995, "For fundamental contributions to parallel computer programming, parallel computer architecture, and the theoretical foundations of computer science.".

IEEE Fellow

IEEE Fellow 1992, "For contributions to parallel computer programming, computer architecture, and the theoretical foundations of computer science".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2015
Early assessment of computer science principles at UW.
Inroads, 2015

2013
An interview with Hadi Partovi.
Commun. ACM, 2013

2012
Analysis.
Inroads, 2012

The first five computer science principles pilots: summary and comparisons.
Inroads, 2012

Status update: high school CS internationally.
Inroads, 2012

CS principles pilot at University of Washington.
Inroads, 2012

Computer science principles and the CS 10K initiative.
Inroads, 2012

2011
Blue CHiP.
Proceedings of the Encyclopedia of Parallel Computing, 2011

CS principles: piloting a new course at national scale.
Proceedings of the 42nd ACM technical symposium on Computer science education, 2011

2008
Fluency with Information Technology.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

2007
The design and development of ZPL.
Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), 2007

2006
Re-centering computer science.
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2006

Global-view abstractions for user-defined reductions and scans.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2006

Fluency with information technology - skills, concepts, and capabilities (2. ed.).
Addison-Wesley, ISBN: 978-0-321-35782-3, 2006

2005
TSL Dissertation Abstracts: 2004 Transportation Science and Logistics Section Dissertation Prize Competition.
Transportation Science, 2005

2004
Abstractions for Dynamic Data Distribution.
Proceedings of the 9th International Workshop on High-Level Programming Models and Supportive Environments (HIPS 2004), 2004

2003
The design and implementation of a parallel array operator for the arbitrary remapping of data.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2003

2002
High-level Language Support for User-defined Reductions.
The Journal of Supercomputing, 2002

2001
What Are the Top Ten Most Influential Parallel and Distributed Processing Concepts of the Past Millenium?
J. Parallel Distrib. Comput., 2001

Eliminating redundancies in sum-of-product array computations.
Proceedings of the 15th international conference on Supercomputing, 2001

Array language support for parallel sparse computation.
Proceedings of the 15th international conference on Supercomputing, 2001

Parallel Computation: MM +/- X.
Proceedings of the Informatics - 10 Years Back. 10 Years Ahead., 2001

2000
ZPL: A Machine Independent Programming Language for Parallel Computers.
IEEE Trans. Software Eng., 2000

A Comparative Study of the NAS MG Benchmark across Parallel Languages and Architectures.
Proceedings of the Proceedings Supercomputing 2000, 2000

Pipelining Wavefront Computations: Experiences and Performance.
Proceedings of the Parallel and Distributed Processing, 2000

1999
Language Support for Pipelining Wavefront Computations.
Proceedings of the Languages and Compilers for Parallel Computing, 1999

Problem space promotion and its evaluation as a technique for efficient parallel computation.
Proceedings of the 13th international conference on Supercomputing, 1999

Regions: an abstraction for expressing array computation.
APL, 1999

1998
Abstractions for Portable, Scalable Parallel Programming.
IEEE Trans. Parallel Distrib. Syst., 1998

The Implementation and Evaluation of Fusion and Contraction in Array Languages.
Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

ZPL's WYSIWYG Performance Model.
Proceedings of the 3rd International Workshop on High-Level Programming Models and Supportive Environments (HIPS '98), 30 March, 1998

1997
The Case for Chaotic Adaptive Routing.
IEEE Trans. Computers, 1997

Triplex: A Multi-Class Routing Algorithm.
SPAA, 1997

Portable Performance of Data Parallel Languages.
Proceedings of the ACM/IEEE Conference on Supercomputing, 1997

ZPL: Scientific Computing with Speed and Convenience.
Proceedings of the Eighth SIAM Conference on Parallel Processing for Scientific Computing, 1997

ChaosLAN: Design and Implementation of a Gigabit LAN Using Chaotic Routing.
Proceedings of the Parallel Computer Routing and Communication, 1997

Integrated Multi-class Routing.
Proceedings of the Parallel Computer Routing and Communication, 1997

A Compiler Abstraction for Machine Independent Parallel Communication Generation.
Proceedings of the Languages and Compilers for Parallel Computing, 1997

Quantifying the Effects of Communication Optimizations.
Proceedings of the 1997 International Conference on Parallel Processing (ICPP '97), 1997

1996
Factor-Join: A Unique Approach to Compiling Array Languages for Parallel Machines.
Proceedings of the Languages and Compilers for Parallel Computing, 1996

A Comparison of Input and Output Driven Routers.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995
A Portable Parallel N-Body Solver.
Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing, 1995

Experimental Validation of Models of Parallel Computation.
Proceedings of the Computer Science Today: Recent Trends and Developments, 1995

1994
The Chaos Router.
IEEE Trans. Computers, 1994

Performance Analysis of a Minimal Adaptive Router.
Proceedings of the Parallel Computer Routing and Communication, 1994

CRANIUM: An Interface for Message Passing on Adaptive Packet Routing Networks.
Proceedings of the Parallel Computer Routing and Communication, 1994

SIMPLE Performance Results in ZPL.
Proceedings of the Languages and Compilers for Parallel Computing, 1994

Accommodating Polymorphic Data Decompositions in Explicitly Parallel Programs.
Proceedings of the 8th International Symposium on Parallel Processing, 1994

A Practical Parallel Programming Model.
Proceedings of the Specification of Parallel Algorithms, 1994

1993
The Ariadne Debugger: Scalable Application of Event-Based Abstraction.
Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, 1993

ZPL: An Array Sublanguage.
Proceedings of the Languages and Compilers for Parallel Computing, 1993

Invited Lecture: Foundations of Practical Parallel Programming Languages.
Proceedings of the Parallel Computation, 1993

1992
Report of the Purdue Workshop on Grand Challenges in Computer Architecture for the Support of High Performance Computing.
J. Parallel Distrib. Comput., 1992

Synopsis of Orca, Asimple Language Implementation of Phase Abstracttions.
SIGPLAN Workshop, 1992

Chaos Router: Finally, a Practical Adaptive Router?
Proceedings of the Parallel Architectures and Their Efficient Use, 1992

Data Ensemles in Orca C.
Proceedings of the Languages and Compilers for Parallel Computing, 1992

1991
The chaos router: a practical application of randomization in network routing.
SIGARCH Computer Architecture News, 1991

A portable implementation of SIMPLE.
International Journal of Parallel Programming, 1991

Portable Parallel Programming: Cross Machine Comparisons for SIMPLE.
Proceedings of the Fifth SIAM Conference on Parallel Processing for Scientific Computing, 1991

Programming SIMPLE for Parallel Portability.
Proceedings of the Languages and Compilers for Parallel Computing, 1991

Chaos Router: Architecture and Performance.
Proceedings of the 18th Annual International Symposium on Computer Architecture. Toronto, 1991

1990
Generalized Planar Matching.
J. Algorithms, 1990

Achieving speedups for APL on an SIMD distributed memory machine.
International Journal of Parallel Programming, 1990

The Chaos Router: A Practical Application of Randomization in Network Routing.
SPAA, 1990

A flexible communication abstraction for nonshared memory parallel computing.
Proceedings of the Proceedings Supercomputing '90, New York, NY, USA, November 12-16, 1990, 1990

Balance in Architectural Design.
Proceedings of the 17th Annual International Symposium on Computer Architecture. Seattle, 1990

A Comparison of Programming Models for Shared Memory Multiprocessors.
Proceedings of the 1990 International Conference on Parallel Processing, 1990

A Formal Model of the Processor Memory Interface.
Proceedings of the 1990 International Conference on Parallel Processing, 1990

How Port Ensembles Aid the Efficient Retargeting of Reduction Algorithms.
Proceedings of the 1990 International Conference on Parallel Processing, 1990

1989
A model for comparing synchronization strategies for parallel logic-level simulation.
Proceedings of the 1989 IEEE International Conference on Computer-Aided Design, 1989

1988

A Taxonomy of Synchronous Parallel Machines.
Proceedings of the International Conference on Parallel Processing, 1988

An Empirical Study of On-chip Parallelism.
Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

A Notation for Describing Multiple Views of VLSI Circuits.
Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

1987
Conversion from Data-Driven to Synchronous Execution in Loop Programs.
ACM Trans. Program. Lang. Syst., 1987

On Mapping Parallel Algorithms into Parallel Architectures.
J. Parallel Distrib. Comput., 1987

Near-Optimal Speedup of Graphics Algorithms Using Multigauge Parallel Computers.
Proceedings of the International Conference on Parallel Processing, 1987

1986
Poker on the Cosmic Cube: The First Retargetable Parallel Programming Language and Environment.
Proceedings of the International Conference on Parallel Processing, 1986

Programming Solutions to the Algorithm Contraction Problem.
Proceedings of the International Conference on Parallel Processing, 1986

1985
An Inquiry into the Benefits of Multigauge Parallel Computation.
Proceedings of the International Conference on Parallel Processing, 1985

1984
Testing the Coordination Predicate.
IEEE Trans. Computers, 1984

Supercomputers and VLSI: The Effect of Large-Scale Integration on Computer Architecture.
Advances in Computers, 1984

The Pringle Parallel Computer.
Proceedings of the 11th Annual Symposium on Computer Architecture, 1984

A model for university, industry and government cooperation.
Proceedings of the 21st Design Automation Conference, 1984

1983
Compilation of Data-Driven Programs for Synchronous Execution.
Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983

Introduction to the Poker Parallel Programming Environment.
Proceedings of the International Conference on Parallel Processing, 1983

Omni-sort: A Versatile Data Processing Operation for VLSI.
Proceedings of the International Conference on Parallel Processing, 1983

1982
A Syntax-Free Semantics for the APL Operators.
Inf. Process. Lett., 1982

Introduction to the Configurable, Highly Parallel Computer.
IEEE Computer, 1982

Recognition and Selection of Idioms for Code Optimization.
Acta Inf., 1982

Wafer scale integration of Configurable, Highly Parallel (CHiP) processors.
Proceedings of the International Conference on Parallel Processing, 1982

Testing coordination for "homogeneous" parallel algorithms.
Proceedings of the International Conference on Parallel Processing, 1982

1981
Time- and Space-Optimality in B-Trees.
ACM Trans. Database Syst., 1981

Formal Models of Capability-Based Protection Systems.
IEEE Trans. Computers, 1981

Theft and Conspiracy in the Take-Grant Protection Model.
J. Comput. Syst. Sci., 1981

Bounds on Minimax Edge Length for Complete Binary Trees (Extended Abstract)
Proceedings of the 13th Annual ACM Symposium on Theory of Computing, 1981

1980
Uniform Data Encodings.
Theor. Comput. Sci., 1980

1979
Optimal 2, 3-Trees.
SIAM J. Comput., 1979

The Transfer of Information and Authority in a Protection System.
Proceedings of the Seventh Symposium on Operating System Principles, 1979

Compact B-Trees.
Proceedings of the 1979 ACM SIGMOD International Conference on Management of Data, Boston, Massachusetts, May 30, 1979

On a General Method for Maximizing and Minimizing among Certain Geometric Problems (Extended Abstract)
Proceedings of the 20th Annual Symposium on Foundations of Computer Science, 1979

1978
Minimal-Comparison 2, 3-Trees.
SIAM J. Comput., 1978

Bounds on the Costs of Data Encodings.
Mathematical Systems Theory, 1978

On B-trees Re-examined.
Commun. ACM, 1978

1977
On the Many Facets of Lists.
Theor. Comput. Sci., 1977

Synchronization and Computing Capabilities of Linear Asynchronous Structures.
J. Comput. Syst. Sci., 1977

A Linear Time Algorithm for Deciding Subject Security.
J. ACM, 1977

On the Synthesis and Analysis of Protection Systems.
Proceedings of the Sixth Symposium on Operating System Principles, 1977

On Uniquely Represented Data Structures (Extended Abstract)
Proceedings of the 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October, 1977

1976
A Linear Time Algorithm for Deciding Security
Proceedings of the 17th Annual Symposium on Foundations of Computer Science, 1976

1975
Synchronization and Computing Capabilities of Linear Asynchronous Structures
Proceedings of the 16th Annual Symposium on Foundations of Computer Science, 1975

1974
A Comparative Study of Models of Parallel Computation
Proceedings of the 15th Annual Symposium on Switching and Automata Theory, 1974


  Loading...