Lawrence Snyder

Larry Snyder

2007
93	EE	Lawrence Snyder: The design and development of ZPL. HOPL 2007: 1-37
2006
92	EE	Steven J. Deitz, David Callahan, Bradford L. Chamberlain, Lawrence Snyder: Global-view abstractions for user-defined reductions and scans. PPOPP 2006: 40-47
91	EE	Peter J. Denning, Andrew D. McGettrick, Paul Rosenbloom, Larry Snyder: Re-centering computer science. SIGCSE 2006: 65-66
2004
90	EE	Steven J. Deitz, Bradford L. Chamberlain, Lawrence Snyder: Abstractions for Dynamic Data Distribution. HIPS 2004: 42-51
89	EE	Steven J. Deitz, Bradford L. Chamberlain, Lawrence Snyder: Abstractions for Dynamic Data Distribution. IPDPS 2004: 42-51
2003
88	EE	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
2002
87	EE	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)
2001
86	EE	Bradford L. Chamberlain, Lawrence Snyder: Array language support for parallel sparse computation. ICS 2001: 133-145
85	EE	Steven J. Deitz, Bradford L. Chamberlain, Lawrence Snyder: Eliminating redundancies in sum-of-product array computations. ICS 2001: 65-77
84	EE	Lawrence Snyder: Parallel Computation: MM +/- X. Informatics 2001: 234-250
83	EE	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)
2000
82	EE	E. Christopher Lewis, Lawrence Snyder: Pipelining Wavefront Computations: Experiences and Performance. IPDPS Workshops 2000: 261-268
81	EE	Bradford L. Chamberlain, Steven J. Deitz, Lawrence Snyder: A Comparative Study of the NAS MG Benchmark across Parallel Languages and Architectures. SC 2000
80	EE	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)
1999
79	EE	Bradford L. Chamberlain, E. Christopher Lewis, Calvin Lin, Lawrence Snyder: Regions: an abstraction for expressing array computation. APL 1999: 41-49
78	EE	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
77	EE	Bradford L. Chamberlain, E. Christopher Lewis, Lawrence Snyder: Language Support for Pipelining Wavefront Computations. LCPC 1999: 318-332
1998
76	EE	Bradford L. Chamberlain, Sung-Eun Choi, E. Christopher Lewis, Calvin Lin, Lawrence Snyder, Derrick Weathersby: ZPL's WYSIWYG Performance Model. HIPS 1998: 50-61
75		E. Christopher Lewis, Calvin Lin, Lawrence Snyder: The Implementation and Evaluation of Fusion and Contraction in Array Languages. PLDI 1998: 50-59
74	EE	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)
1997
73	EE	Sung-Eun Choi, Lawrence Snyder: Quantifying the Effects of Communication Optimizations. ICPP 1997: 218-222
72		Bradford L. Chamberlain, Sung-Eun Choi, Lawrence Snyder: A Compiler Abstraction for Machine Independent Parallel Communication Generation. LCPC 1997: 261-276
71	EE	Melanie L. Fulgham, Lawrence Snyder: Integrated Multi-class Routing. PCRCW 1997: 21-32
70	EE	Neil R. McKenzie, Kevin Bolding, Carl Ebeling, Lawrence Snyder: ChaosLAN: Design and Implementation of a Gigabit LAN Using Chaotic Routing. PCRCW 1997: 247-260
69		Lawrence Snyder: ZPL: Scientific Computing with Speed and Convenience. PPSC 1997
68	EE	Melanie L. Fulgham, Lawrence Snyder: Triplex: A Multi-Class Routing Algorithm. SPAA 1997: 127-138
67		Kevin Bolding, Melanie L. Fulgham, Lawrence Snyder: The Case for Chaotic Adaptive Routing. IEEE Trans. Computers 46(12): 1281-1291 (1997)
1996
66		Melanie L. Fulgham, Lawrence Snyder: A Comparison of Input and Output Driven Routers. Euro-Par, Vol. I 1996: 195-204
65		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
1995
64		E. Christopher Lewis, Calvin Lin, Lawrence Snyder, George Turkiyyah: A Portable Parallel N-Body Solver. PPSC 1995: 331-336
63		Lawrence Snyder: Experimental Validation of Models of Parallel Computation. Computer Science Today 1995: 78-100
1994
62		Kevin Bolding, Lawrence Snyder: Parallel Computer Routing and Communication, First International Workshop, PCRCW'94, Seattle, Washington, USA, May 16-18, 1994, Proceedings Springer 1994
61		Calvin Lin, Lawrence Snyder: Accommodating Polymorphic Data Decompositions in Explicitly Parallel Programs. IPPS 1994: 68-74
60		Calvin Lin, Lawrence Snyder: SIMPLE Performance Results in ZPL. LCPC 1994: 361-375
59		Neil R. McKenzie, Kevin Bolding, Carl Ebeling, Lawrence Snyder: CRANIUM: An Interface for Message Passing on Adaptive Packet Routing Networks. PCRCW 1994: 266-280
58		Thu Duc Nguyen, Lawrence Snyder: Performance Analysis of a Minimal Adaptive Router. PCRCW 1994: 31-44
57		Smaragda Konstantinidou, Lawrence Snyder: The Chaos Router. IEEE Trans. Computers 43(12): 1386-1397 (1994)
1993
56		Lawrence Snyder: Invited Lecture: Foundations of Practical Parallel Programming Languages. ACPC 1993: 115-134
55		Calvin Lin, Lawrence Snyder: ZPL: An Array Sublanguage. LCPC 1993: 96-114
54		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
1992
53		Lawrence Snyder: Chaos Router: Finally, a Practical Adaptive Router? Heinz Nixdorf Symposium 1992: 146-155
52		Calvin Lin, Lawrence Snyder: Data Ensemles in Orca C. LCPC 1992: 112-123
51		Lawrence Snyder: Synopsis of Orca, Asimple Language Implementation of Phase Abstracttions. SIGPLAN Workshop 1992: 40-43
50		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)
1991
49	EE	Smaragda Konstantinidou, Lawrence Snyder: Chaos Router: Architecture and Performance. ISCA 1991: 212-221
48		J. Lee, Calvin Lin, Lawrence Snyder: Programming SIMPLE for Parallel Portability. LCPC 1991: 84-98
47		Calvin Lin, Lawrence Snyder: Portable Parallel Programming: Cross Machine Comparisons for SIMPLE. PPSC 1991: 564-569
1990
46		Samuel Ho, Lawrence Snyder: A Formal Model of the Processor Memory Interface. ICPP (1) 1990: 181-184
45		Calvin Lin, Lawrence Snyder: A Comparison of Programming Models for Shared Memory Multiprocessors. ICPP (2) 1990: 163-170
44		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
43		Samuel Ho, Lawrence Snyder: Balance in Architectural Design. ISCA 1990: 302-310
42	EE	Gail A. Alverson, William G. Griswold, David Notkin, Lawrence Snyder: A flexible communication abstraction for nonshared memory parallel computing. SC 1990: 584-593
41	EE	Smaragda Konstantinidou, Lawrence Snyder: The Chaos Router: A Practical Application of Randomization in Network Routing. SPAA 1990: 21-30
40		Francine Berman, David S. Johnson, Frank Thomson Leighton, Peter W. Shor, Larry Snyder: Generalized Planar Matching. J. Algorithms 11(2): 153-184 (1990)
1988
39	EE	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
38	EE	Mary L. Bailey, Lawrence Snyder: An Empirical Study of On-chip Parallelism. DAC 1988: 160-165
37		Lawrence Snyder: A Taxonomy of Synchronous Parallel Machines. ICPP (1) 1988: 281-285
36		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
1987
35		Tony DeRose, Lawrence Snyder, Chyan Yang: Near-Optimal Speedup of Graphics Algorithms Using Multigauge Parallel Computers. ICPP 1987: 289-294
34	EE	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)
33		Francine Berman, Lawrence Snyder: On Mapping Parallel Algorithms into Parallel Architectures. J. Parallel Distrib. Comput. 4(5): 439-458 (1987)
1986
32		David Notkin, Lawrence Snyder: Programming Solutions to the Algorithm Contraction Problem. ICPP 1986: 258-261
31		Lawrence Snyder, David Socha: Poker on the Cosmic Cube: The First Retargetable Parallel Programming Language and Environment. ICPP 1986: 628-635
1985
30		Lawrence Snyder: An Inquiry into the Benefits of Multigauge Parallel Computation. ICPP 1985: 488-492
1984
29		Alejandro A. Kapauan, J. Timothy Field, Dennis Gannon, Lawrence Snyder: The Pringle Parallel Computer. ISCA 1984: 12-20
28		Lawrence Snyder: Supercomputers and VLSI: The Effect of Large-Scale Integration on Computer Architecture. Advances in Computers 23: 1-33 (1984)
27		Janice E. Cuny, Lawrence Snyder: Testing the Coordination Predicate. IEEE Trans. Computers 33(3): 201-208 (1984)
1983
26		Ching C. Hsiao, Lawrence Snyder: Omni-sort: A Versatile Data Processing Operation for VLSI. ICPP 1983: 222-225
25		Lawrence Snyder: Introduction to the Poker Parallel Programming Environment. ICPP 1983: 289-292
24		Janice E. Cuny, Lawrence Snyder: Compilation of Data-Driven Programs for Synchronous Execution. POPL 1983: 197-202
1982
23		Lawrence Snyder: Recognition and Selection of Idioms for Code Optimization. Acta Inf. 17: 327-348 (1982)
22		Lawrence Snyder: Introduction to the Configurable, Highly Parallel Computer. IEEE Computer 15(1): 47-56 (1982)
21		Calvin C. Elgot, Alan J. Perlis, Lawrence Snyder: A Syntax-Free Semantics for the APL Operators. Inf. Process. Lett. 14(3): 128-131 (1982)
1981
20		Mike Paterson, Walter L. Ruzzo, Lawrence Snyder: Bounds on Minimax Edge Length for Complete Binary Trees (Extended Abstract) STOC 1981: 293-299
19	EE	Arnold L. Rosenberg, Lawrence Snyder: Time- and Space-Optimality in B-Trees. ACM Trans. Database Syst. 6(1): 174-193 (1981)
18		Lawrence Snyder: Formal Models of Capability-Based Protection Systems. IEEE Trans. Computers 30(3): 172-181 (1981)
17		Lawrence Snyder: Theft and Conspiracy in the Take-Grant Protection Model. J. Comput. Syst. Sci. 23(3): 333-347 (1981)
1980
16		Arnold L. Rosenberg, Larry J. Stockmeyer, Lawrence Snyder: Uniform Data Encodings. Theor. Comput. Sci. 11: 145-165 (1980)
1979
15		David P. Dobkin, Lawrence Snyder: On a General Method for Maximizing and Minimizing among Certain Geometric Problems (Extended Abstract) FOCS 1979: 9-17
14	EE	Arnold L. Rosenberg, Lawrence Snyder: Compact B-Trees. SIGMOD Conference 1979: 43-51
13		Matt Bishop, Lawrence Snyder: The Transfer of Information and Authority in a Protection System. SOSP 1979: 45-54
12		Raymond E. Miller, Nicholas Pippenger, Arnold L. Rosenberg, Lawrence Snyder: Optimal 2, 3-Trees. SIAM J. Comput. 8(1): 42-59 (1979)
1978
11		Lawrence Snyder: On B-trees Re-examined. Commun. ACM 21(7): 594 (1978)
10		Arnold L. Rosenberg, Lawrence Snyder: Bounds on the Costs of Data Encodings. Mathematical Systems Theory 12: 9-39 (1978)
9		Arnold L. Rosenberg, Lawrence Snyder: Minimal-Comparison 2, 3-Trees. SIAM J. Comput. 7(4): 465-480 (1978)
1977
8		Lawrence Snyder: On Uniquely Represented Data Structures (Extended Abstract) FOCS 1977: 142-146
7		Lawrence Snyder: On the Synthesis and Analysis of Protection Systems. SOSP 1977: 141-150
6	EE	Richard J. Lipton, Lawrence Snyder: A Linear Time Algorithm for Deciding Subject Security. J. ACM 24(3): 455-464 (1977)
5		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)
4		Calvin C. Elgot, Lawrence Snyder: On the Many Facets of Lists. Theor. Comput. Sci. 5(3): 275-305 (1977)
1976
3		Anita K. Jones, Richard J. Lipton, Lawrence Snyder: A Linear Time Algorithm for Deciding Security FOCS 1976: 33-41
1975
2		Richard J. Lipton, Raymond E. Miller, Lawrence Snyder: Synchronization and Computing Capabilities of Linear Asynchronous Structures FOCS 1975: 19-28
1974
1		Richard J. Lipton, Lawrence Snyder, Yechezkel Zalcstein: A Comparative Study of Models of Parallel Computation FOCS 1974: 145-155

Coauthor Index

1	Seth Abraham	[50]
2	Shoukat Ali	[83]
3	Gail A. Alverson	[42] [74]
4	Jean-Loup Baer	[39]
5	Mary L. Bailey	[36] [38]
6	William L. Bain	[50]
7	Kenneth E. Batcher	[50]
8	Francine Berman (Fran Berman)	[33] [40]
9	Matt Bishop	[13]
10	Kevin Bolding	[59] [62] [67] [70]
11	David Callahan	[92]
12	Thomas L. Casavant	[50]
13	Bradford L. Chamberlain	[65] [72] [76] [77] [78] [79] [80] [81] [85] [86] [87] [88] [89] [90] [92]
14	K. Mani Chandy	[83]
15	Sung-Eun Choi	[65] [72] [73] [76] [80] [88]
16	Janice E. Cuny	[24] [27] [34] [54]
17	Doug DeGroot	[50]
18	Tony DeRose	[35]
19	Steven J. Deitz	[81] [85] [87] [88] [89] [90] [92]
20	Peter J. Denning	[91]
21	Jack B. Dennis	[50]
22	David P. Dobkin	[15]
23	David C. Douglas	[50]
24	Carl Ebeling	[59] [70]
25	Calvin C. Elgot	[4] [21]
26	Tse-Yun Feng	[50]
27	J. Timothy Field	[29]
28	George Forman	[54]
29	Bruce Forstall	[36]
30	Melanie L. Fulgham	[66] [67] [68] [71]
31	Dennis Gannon	[29]
32	Kevin Gates	[36]
33	James R. Goodman	[50]
34	Raymond Greenlaw	[36]
35	William G. Griswold	[36] [42] [44] [74]
36	Gail A. Harrison	[44]
37	Samuel Ho	[43] [46]
38	Thomas J. Holman	[36]
39	Alfred Hough	[54]
40	Ching C. Hsiao	[26]
41	Alan Huang	[50]
42	Kai Hwang	[83]
43	J. Robert Jamp	[50]
44	David S. Johnson	[40]
45	Anita K. Jones	[3]
46	Harry F. Jordan	[50]
47	Alejandro A. Kapauan	[29]
48	Ken Kennedy	[83]
49	Smaragda Konstantinidou	[41] [49] [57]
50	Richard Korry	[36]
51	Joydip Kundu	[54]
52	Gemini Lasswell	[36]
53	J. Lee	[48]
54	Frank Thomson Leighton (Tom Leighton)	[40]
55	E. Christopher Lewis	[64] [65] [75] [76] [77] [78] [79] [80] [82]
56	Meei-Chiueh Liem	[39]
57	Calvin Lin	[45] [47] [48] [52] [54] [55] [60] [61] [64] [65] [74] [75] [76] [79] [80]
58	Richard J. Lipton	[1] [2] [3] [5] [6]
59	Andrew D. McGettrick	[91]
60	Neil R. McKenzie	[59] [70]
61	Larry McMurchie	[39]
62	Raymond E. Miller	[2] [5] [12]
63	Robert Mitchell	[36]
64	Philip A. Nelson	[36]
65	Thu D. Nguyen (Thu Duc Nguyen)	[58]
66	David Notkin	[32] [36] [42] [44] [74]
67	Rudolf Nottrott	[39]
68	Mike Paterson	[20]
69	Yale N. Patt	[50]
70	Alan J. Perlis	[21]
71	Nicholas Pippenger	[12]
72	Arnold L. Rosenberg	[9] [10] [12] [14] [16] [19]
73	Paul Rosenbloom	[91]
74	Walter L. Ruzzo	[20]
75	Lui Sha	[83]
76	Kang G. Shin	[83]
77	Peter W. Shor	[40]
78	Howard Jay Siegel	[50] [83]
79	Alan Jay Smith	[50]
80	James E. Smith	[50]
81	Marc Snir	[83]
82	David Socha	[31] [36]
83	David W. Stemple	[54]
84	Thomas L. Sterling	[83]
85	Larry J. Stockmeyer	[16]
86	Harold S. Stone	[50]
87	Mitchell D. Theys	[83]
88	Russ Tuck	[50]
89	George M. Turkiyyah (George Turkiyyah)	[64]
90	Benjamin W. Wah	[50]
91	Derrick Weathersby	[65] [76] [80]
92	Wayne Winder	[39]
93	Chyan Yang	[35]
94	Yechezkel Zalcstein	[1]

Colors in the list of coauthors