Lawrence Snyder

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

Lawrence Snyder: Blue CHiP. Encyclopedia of Parallel Computing 2011: 165-175

Lawrence Snyder: Fluency with Information Technology. Wiley Encyclopedia of Computer Science and Engineering 2008

Lawrence Snyder: The design and development of ZPL. HOPL 2007: 1-37

Lawrence Snyder: Fluency with information technology - skills, concepts, and capabilities (2. ed.). Addison-Wesley 2006, isbn 978-0-321-35782-3, pp. I-XVII, 1-765

Steven J. Deitz, David Callahan, Bradford L. Chamberlain, Lawrence Snyder: Global-view abstractions for user-defined reductions and scans. PPOPP 2006: 40-47

Peter J. Denning, Andrew D. McGettrick, Paul S. Rosenbloom, Larry Snyder: Re-centering computer science. SIGCSE 2006: 65-66

Lawrence Snyder, Miguel 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, Steven Logghe, Leon Peeters, Nicolás E. Stier Moses, Weihua Xiao: TSL Dissertation Abstracts: 2004 Transportation Science and Logistics Section Dissertation Prize Competition. Transportation Science 39(3): 429-440 (2005)

Steven J. Deitz, Bradford L. Chamberlain, Lawrence Snyder: Abstractions for Dynamic Data Distribution. HIPS 2004: 42-51

Steven J. Deitz, Bradford L. Chamberlain, Sung-Eun Choi, Lawrence Snyder: The design and implementation of a parallel array operator for the arbitrary remapping of data. PPOPP 2003: 155-166

Steven J. Deitz, Bradford L. Chamberlain, Lawrence Snyder: High-level Language Support for User-defined Reductions. The Journal of Supercomputing 23(1): 23-37 (2002)

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

Lawrence Snyder: Parallel Computation: MM +/- X. Informatics 2001: 234-250

Steven J. Deitz, Bradford L. Chamberlain, Lawrence Snyder: Eliminating redundancies in sum-of-product array computations. ICS 2001: 65-77

Bradford L. Chamberlain, Lawrence Snyder: Array language support for parallel sparse computation. ICS 2001: 133-145

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

E. Christopher Lewis, Lawrence Snyder: Pipelining Wavefront Computations: Experiences and Performance. IPDPS Workshops 2000: 261-268

Bradford L. Chamberlain, Steven J. Deitz, Lawrence Snyder: A Comparative Study of the NAS MG Benchmark across Parallel Languages and Architectures. SC 2000: 46

Bradford L. Chamberlain, E. Christopher Lewis, Calvin Lin, Lawrence Snyder: Regions: an abstraction for expressing array computation. APL 1999: 41-49

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

Bradford L. Chamberlain, E. Christopher Lewis, Lawrence Snyder: Language Support for Pipelining Wavefront Computations. LCPC 1999: 318-332

Gail A. Alverson, William G. Griswold, Calvin Lin, David Notkin, Lawrence Snyder: Abstractions for Portable, Scalable Parallel Programming. IEEE Trans. Parallel Distrib. Syst. 9(1): 71-86 (1998)

Bradford L. Chamberlain, Sung-Eun Choi, E. Christopher Lewis, Calvin Lin, Lawrence Snyder, Derrick Weathersby: ZPL's WYSIWYG Performance Model. HIPS 1998: 50-61

E. Christopher Lewis, Calvin Lin, Lawrence Snyder: The Implementation and Evaluation of Fusion and Contraction in Array Languages. PLDI 1998: 50-59

Kevin Bolding, Melanie L. Fulgham, Lawrence Snyder: The Case for Chaotic Adaptive Routing. IEEE Trans. Computers 46(12): 1281-1291 (1997)

Sung-Eun Choi, Lawrence Snyder: Quantifying the Effects of Communication Optimizations. ICPP 1997: 218-222

Bradford L. Chamberlain, Sung-Eun Choi, Lawrence Snyder: A Compiler Abstraction for Machine Independent Parallel Communication Generation. LCPC 1997: 261-276

Melanie L. Fulgham, Lawrence Snyder: Integrated Multi-class Routing. PCRCW 1997: 21-32

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

Lawrence Snyder: ZPL: Scientific Computing with Speed and Convenience. PPSC 1997

Ton A. Ngo, Lawrence Snyder, Bradford L. Chamberlain: Portable Performance of Data Parallel Languages. SC 1997: 18

Melanie L. Fulgham, Lawrence Snyder: Triplex: A Multi-Class Routing Algorithm. SPAA 1997: 127-138

Melanie L. Fulgham, Lawrence Snyder: A Comparison of Input and Output Driven Routers. Euro-Par, Vol. I 1996: 195-204

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

E. Christopher Lewis, Calvin Lin, Lawrence Snyder, George Turkiyyah: A Portable Parallel N-Body Solver. PPSC 1995: 331-336

Lawrence Snyder: Experimental Validation of Models of Parallel Computation. Computer Science Today 1995: 78-100

Smaragda Konstantinidou, Lawrence Snyder: The Chaos Router. IEEE Trans. Computers 43(12): 1386-1397 (1994)

Calvin Lin, Lawrence Snyder: Accommodating Polymorphic Data Decompositions in Explicitly Parallel Programs. IPPS 1994: 68-74

Calvin Lin, Lawrence Snyder: SIMPLE Performance Results in ZPL. LCPC 1994: 361-375

Thu Duc Nguyen, Lawrence Snyder: Performance Analysis of a Minimal Adaptive Router. PCRCW 1994: 31-44

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

Kevin Bolding, Lawrence Snyder (Eds.): Parallel Computer Routing and Communication, First International Workshop, PCRCW'94, Seattle, Washington, USA, May 16-18, 1994, Proceedings. Lecture Notes in Computer Science 853, Springer 1994, isbn 3-540-58429-3

Lawrence Snyder: Invited Lecture: Foundations of Practical Parallel Programming Languages. ACPC 1993: 115-134

Calvin Lin, Lawrence Snyder: ZPL: An Array Sublanguage. LCPC 1993: 96-114

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

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, J. Robert Jamp, Yale N. Patt, Alan Jay Smith, James E. Smith, Lawrence Snyder, Harold S. Stone, Russ Tuck, Benjamin W. Wah: Report of the Purdue Workshop on Grand Challenges in Computer Architecture for the Support of High Performance Computing. J. Parallel Distrib. Comput. 16(3): 199-211 (1992)

Calvin Lin, Lawrence Snyder: Data Ensemles in Orca C. LCPC 1992: 112-123

Lawrence Snyder: Chaos Router: Finally, a Practical Adaptive Router? Heinz Nixdorf Symposium 1992: 146-155

Lawrence Snyder: Synopsis of Orca, Asimple Language Implementation of Phase Abstracttions. SIGPLAN Workshop 1992: 40-43

Calvin Lin, Lawrence Snyder: A portable implementation of SIMPLE. International Journal of Parallel Programming 20(5): 363-401 (1991)

Smaragda Konstantinidou, Lawrence Snyder: Chaos Router: Architecture and Performance. ISCA 1991: 212-221

J. Lee, Calvin Lin, Lawrence Snyder: Programming SIMPLE for Parallel Portability. LCPC 1991: 84-98

Calvin Lin, Lawrence Snyder: Portable Parallel Programming: Cross Machine Comparisons for SIMPLE. PPSC 1991: 564-569

Raymond Greenlaw, Lawrence Snyder: Achieving speedups for APL on an SIMD distributed memory machine. International Journal of Parallel Programming 19(2): 111-127 (1990)

Francine Berman, David S. Johnson, Frank Thomson Leighton, Peter W. Shor, Larry Snyder: Generalized Planar Matching. J. Algorithms 11(2): 153-184 (1990)

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

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

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

Samuel Ho, Lawrence Snyder: Balance in Architectural Design. ISCA 1990: 302-310

Gail A. Alverson, William G. Griswold, David Notkin, Lawrence Snyder: A flexible communication abstraction for nonshared memory parallel computing. SC 1990: 584-593

Smaragda Konstantinidou, Lawrence Snyder: The Chaos Router: A Practical Application of Randomization in Network Routing. SPAA 1990: 21-30

Jean-Loup Baer, Larry Snyder, James R. Goodman (Eds.): Proceedings of the 17th Annual International Symposium on Computer Architecture. Seattle, WA, June 1990. ACM 1990, isbn 0-89791-366-3

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

Mary L. Bailey, Lawrence Snyder: An Empirical Study of On-chip Parallelism. DAC 1988: 160-165

Lawrence Snyder: A Taxonomy of Synchronous Parallel Machines. ICPP (1) 1988: 281-285

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: Experiences with Poker. PPOPP/PPEALS 1988: 10-20

Francine Berman, Lawrence Snyder: On Mapping Parallel Algorithms into Parallel Architectures. J. Parallel Distrib. Comput. 4(5): 439-458 (1987)

Janice E. Cuny, Lawrence Snyder: Conversion from Data-Driven to Synchronous Execution in Loop Programs. ACM Trans. Program. Lang. Syst. 9(4): 599-617 (1987)

Tony DeRose, Lawrence Snyder, Chyan Yang: Near-Optimal Speedup of Graphics Algorithms Using Multigauge Parallel Computers. ICPP 1987: 289-294

David Notkin, Lawrence Snyder: Programming Solutions to the Algorithm Contraction Problem. ICPP 1986: 258-261

Lawrence Snyder, David Socha: Poker on the Cosmic Cube: The First Retargetable Parallel Programming Language and Environment. ICPP 1986: 628-635

Lawrence Snyder: An Inquiry into the Benefits of Multigauge Parallel Computation. ICPP 1985: 488-492

Lawrence Snyder: Supercomputers and VLSI: The Effect of Large-Scale Integration on Computer Architecture. Advances in Computers 23: 1-33 (1984)

Janice E. Cuny, Lawrence Snyder: Testing the Coordination Predicate. IEEE Trans. Computers 33(3): 201-208 (1984)

Lawrence Snyder: A model for university, industry and government cooperation. DAC 1984: 602-603

Alejandro A. Kapauan, J. Timothy Field, Dennis Gannon, Lawrence Snyder: The Pringle Parallel Computer. ISCA 1984: 12-20

Ching C. Hsiao, Lawrence Snyder: Omni-sort: A Versatile Data Processing Operation for VLSI. ICPP 1983: 222-225

Lawrence Snyder: Introduction to the Poker Parallel Programming Environment. ICPP 1983: 289-292

Janice E. Cuny, Lawrence Snyder: Compilation of Data-Driven Programs for Synchronous Execution. POPL 1983: 197-202

Lawrence Snyder: Recognition and Selection of Idioms for Code Optimization. Acta Inf. 17: 327-348 (1982)

Lawrence Snyder: Introduction to the Configurable, Highly Parallel Computer. IEEE Computer 15(1): 47-56 (1982)

Calvin C. Elgot, Alan J. Perlis, Lawrence Snyder: A Syntax-Free Semantics for the APL Operators. Inf. Process. Lett. 14(3): 128-131 (1982)

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

Janice E. Cuny, Lawrence Snyder: Testing coordination for "homogeneous" parallel algorithms. ICPP 1982: 265-267

Lawrence Snyder: Theft and Conspiracy in the Take-Grant Protection Model. J. Comput. Syst. Sci. 23(3): 333-347 (1981)

Lawrence Snyder: Formal Models of Capability-Based Protection Systems. IEEE Trans. Computers 30(3): 172-181 (1981)

Arnold L. Rosenberg, Lawrence Snyder: Time- and Space-Optimality in B-Trees. ACM Trans. Database Syst. 6(1): 174-193 (1981)

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

Arnold L. Rosenberg, Larry J. Stockmeyer, Lawrence Snyder: Uniform Data Encodings. Theor. Comput. Sci. 11: 145-165 (1980)

Raymond E. Miller, Nicholas Pippenger, Arnold L. Rosenberg, Lawrence Snyder: Optimal 2, 3-Trees. SIAM J. Comput. 8(1): 42-59 (1979)

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

Arnold L. Rosenberg, Lawrence Snyder: Compact B-Trees. SIGMOD Conference 1979: 43-51

Matt Bishop, Lawrence Snyder: The Transfer of Information and Authority in a Protection System. SOSP 1979: 45-54

Lawrence Snyder: On B-trees Re-examined. Commun. ACM 21(7): 594 (1978)

Arnold L. Rosenberg, Lawrence Snyder: Bounds on the Costs of Data Encodings. Mathematical Systems Theory 12: 9-39 (1978)

Arnold L. Rosenberg, Lawrence Snyder: Minimal-Comparison 2, 3-Trees. SIAM J. Comput. 7(4): 465-480 (1978)

Richard J. Lipton, Lawrence Snyder: A Linear Time Algorithm for Deciding Subject Security. J. ACM 24(3): 455-464 (1977)

Richard J. Lipton, Raymond E. Miller, Lawrence Snyder: Synchronization and Computing Capabilities of Linear Asynchronous Structures. J. Comput. Syst. Sci. 14(1): 49-72 (1977)

Calvin C. Elgot, Lawrence Snyder: On the Many Facets of Lists. Theor. Comput. Sci. 5(3): 275-305 (1977)

Lawrence Snyder: On Uniquely Represented Data Structures (Extended Abstract). FOCS 1977: 142-146

Lawrence Snyder: On the Synthesis and Analysis of Protection Systems. SOSP 1977: 141-150

Anita K. Jones, Richard J. Lipton, Lawrence Snyder: A Linear Time Algorithm for Deciding Security. FOCS 1976: 33-41

Richard J. Lipton, Raymond E. Miller, Lawrence Snyder: Synchronization and Computing Capabilities of Linear Asynchronous Structures. FOCS 1975: 19-28

Richard J. Lipton, Lawrence Snyder, Yechezkel Zalcstein: A Comparative Study of Models of Parallel Computation. SWAT (FOCS) 1974: 145-155