Larry Snyder
List of publications from the DBLP Bibliography Server - FAQ
2008 | ||
---|---|---|
97 | Lawrence Snyder: Fluency with Information Technology. Wiley Encyclopedia of Computer Science and Engineering 2008 | |
2007 | ||
96 | Lawrence Snyder: The design and development of ZPL. HOPL 2007: 1-37 | |
2006 | ||
95 | Steven J. Deitz, David Callahan, Bradford L. Chamberlain, Lawrence Snyder: Global-view abstractions for user-defined reductions and scans. PPOPP 2006: 40-47 | |
94 | Peter J. Denning, Andrew D. McGettrick, Paul S. Rosenbloom, Larry Snyder: Re-centering computer science. SIGCSE 2006: 65-66 | |
2005 | ||
93 | 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) | |
2004 | ||
92 | Steven J. Deitz, Bradford L. Chamberlain, Lawrence Snyder: Abstractions for Dynamic Data Distribution. HIPS 2004: 42-51 | |
91 | Steven J. Deitz, Bradford L. Chamberlain, Lawrence Snyder: Abstractions for Dynamic Data Distribution. IPDPS 2004: 42-51 | |
2003 | ||
90 | 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 | ||
89 | 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 | ||
88 | Bradford L. Chamberlain, Lawrence Snyder: Array language support for parallel sparse computation. ICS 2001: 133-145 | |
87 | Steven J. Deitz, Bradford L. Chamberlain, Lawrence Snyder: Eliminating redundancies in sum-of-product array computations. ICS 2001: 65-77 | |
86 | Lawrence Snyder: Parallel Computation: MM +/- X. Informatics 2001: 234-250 | |
85 | 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 | ||
84 | E. Christopher Lewis, Lawrence Snyder: Pipelining Wavefront Computations: Experiences and Performance. IPDPS Workshops 2000: 261-268 | |
83 | Bradford L. Chamberlain, Steven J. Deitz, Lawrence Snyder: A Comparative Study of the NAS MG Benchmark across Parallel Languages and Architectures. SC 2000 | |
82 | 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 | ||
81 | Bradford L. Chamberlain, E. Christopher Lewis, Calvin Lin, Lawrence Snyder: Regions: an abstraction for expressing array computation. APL 1999: 41-49 | |
80 | 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 | |
79 | Bradford L. Chamberlain, E. Christopher Lewis, Lawrence Snyder: Language Support for Pipelining Wavefront Computations. LCPC 1999: 318-332 | |
1998 | ||
78 | Bradford L. Chamberlain, Sung-Eun Choi, E. Christopher Lewis, Calvin Lin, Lawrence Snyder, Derrick Weathersby: ZPL's WYSIWYG Performance Model. HIPS 1998: 50-61 | |
77 | E. Christopher Lewis, Calvin Lin, Lawrence Snyder: The Implementation and Evaluation of Fusion and Contraction in Array Languages. PLDI 1998: 50-59 | |
76 | 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 | ||
75 | Sung-Eun Choi, Lawrence Snyder: Quantifying the Effects of Communication Optimizations. ICPP 1997: 218-222 | |
74 | Bradford L. Chamberlain, Sung-Eun Choi, Lawrence Snyder: A Compiler Abstraction for Machine Independent Parallel Communication Generation. LCPC 1997: 261-276 | |
73 | Melanie L. Fulgham, Lawrence Snyder: Integrated Multi-class Routing. PCRCW 1997: 21-32 | |
72 | Neil R. McKenzie, Kevin Bolding, Carl Ebeling, Lawrence Snyder: ChaosLAN: Design and Implementation of a Gigabit LAN Using Chaotic Routing. PCRCW 1997: 247-260 | |
71 | Lawrence Snyder: ZPL: Scientific Computing with Speed and Convenience. PPSC 1997 | |
70 | Melanie L. Fulgham, Lawrence Snyder: Triplex: A Multi-Class Routing Algorithm. SPAA 1997: 127-138 | |
69 | Kevin Bolding, Melanie L. Fulgham, Lawrence Snyder: The Case for Chaotic Adaptive Routing. IEEE Trans. Computers 46(12): 1281-1291 (1997) | |
1996 | ||
68 | Melanie L. Fulgham, Lawrence Snyder: A Comparison of Input and Output Driven Routers. Euro-Par, Vol. I 1996: 195-204 | |
67 | 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 | ||
66 | E. Christopher Lewis, Calvin Lin, Lawrence Snyder, George Turkiyyah: A Portable Parallel N-Body Solver. PPSC 1995: 331-336 | |
65 | Lawrence Snyder: Experimental Validation of Models of Parallel Computation. Computer Science Today 1995: 78-100 | |
1994 | ||
64 | Kevin Bolding, Lawrence Snyder: Parallel Computer Routing and Communication, First International Workshop, PCRCW'94, Seattle, Washington, USA, May 16-18, 1994, Proceedings Springer 1994 | |
63 | Calvin Lin, Lawrence Snyder: Accommodating Polymorphic Data Decompositions in Explicitly Parallel Programs. IPPS 1994: 68-74 | |
62 | Calvin Lin, Lawrence Snyder: SIMPLE Performance Results in ZPL. LCPC 1994: 361-375 | |
61 | Neil R. McKenzie, Kevin Bolding, Carl Ebeling, Lawrence Snyder: CRANIUM: An Interface for Message Passing on Adaptive Packet Routing Networks. PCRCW 1994: 266-280 | |
60 | Thu Duc Nguyen, Lawrence Snyder: Performance Analysis of a Minimal Adaptive Router. PCRCW 1994: 31-44 | |
59 | Smaragda Konstantinidou, Lawrence Snyder: The Chaos Router. IEEE Trans. Computers 43(12): 1386-1397 (1994) | |
1993 | ||
58 | Lawrence Snyder: Invited Lecture: Foundations of Practical Parallel Programming Languages. ACPC 1993: 115-134 | |
57 | Calvin Lin, Lawrence Snyder: ZPL: An Array Sublanguage. LCPC 1993: 96-114 | |
56 | 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 | ||
55 | Lawrence Snyder: Chaos Router: Finally, a Practical Adaptive Router? Heinz Nixdorf Symposium 1992: 146-155 | |
54 | Calvin Lin, Lawrence Snyder: Data Ensemles in Orca C. LCPC 1992: 112-123 | |
53 | Lawrence Snyder: Synopsis of Orca, Asimple Language Implementation of Phase Abstracttions. SIGPLAN Workshop 1992: 40-43 | |
52 | 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 | ||
51 | Smaragda Konstantinidou, Lawrence Snyder: Chaos Router: Architecture and Performance. ISCA 1991: 212-221 | |
50 | J. Lee, Calvin Lin, Lawrence Snyder: Programming SIMPLE for Parallel Portability. LCPC 1991: 84-98 | |
49 | Calvin Lin, Lawrence Snyder: Portable Parallel Programming: Cross Machine Comparisons for SIMPLE. PPSC 1991: 564-569 | |
1990 | ||
48 | Samuel Ho, Lawrence Snyder: A Formal Model of the Processor Memory Interface. ICPP (1) 1990: 181-184 | |
47 | Calvin Lin, Lawrence Snyder: A Comparison of Programming Models for Shared Memory Multiprocessors. ICPP (2) 1990: 163-170 | |
46 | 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 | |
45 | Samuel Ho, Lawrence Snyder: Balance in Architectural Design. ISCA 1990: 302-310 | |
44 | Gail A. Alverson, William G. Griswold, David Notkin, Lawrence Snyder: A flexible communication abstraction for nonshared memory parallel computing. SC 1990: 584-593 | |
43 | Smaragda Konstantinidou, Lawrence Snyder: The Chaos Router: A Practical Application of Randomization in Network Routing. SPAA 1990: 21-30 | |
42 | Francine Berman, David S. Johnson, Frank Thomson Leighton, Peter W. Shor, Larry Snyder: Generalized Planar Matching. J. Algorithms 11(2): 153-184 (1990) | |
1988 | ||
41 | 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 | |
40 | Mary L. Bailey, Lawrence Snyder: An Empirical Study of On-chip Parallelism. DAC 1988: 160-165 | |
39 | Lawrence Snyder: A Taxonomy of Synchronous Parallel Machines. ICPP (1) 1988: 281-285 | |
38 | 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 | ||
37 | Tony DeRose, Lawrence Snyder, Chyan Yang: Near-Optimal Speedup of Graphics Algorithms Using Multigauge Parallel Computers. ICPP 1987: 289-294 | |
36 | 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) | |
35 | Francine Berman, Lawrence Snyder: On Mapping Parallel Algorithms into Parallel Architectures. J. Parallel Distrib. Comput. 4(5): 439-458 (1987) | |
1986 | ||
34 | David Notkin, Lawrence Snyder: Programming Solutions to the Algorithm Contraction Problem. ICPP 1986: 258-261 | |
33 | Lawrence Snyder, David Socha: Poker on the Cosmic Cube: The First Retargetable Parallel Programming Language and Environment. ICPP 1986: 628-635 | |
1985 | ||
32 | Lawrence Snyder: An Inquiry into the Benefits of Multigauge Parallel Computation. ICPP 1985: 488-492 | |
1984 | ||
31 | Alejandro A. Kapauan, J. Timothy Field, Dennis Gannon, Lawrence Snyder: The Pringle Parallel Computer. ISCA 1984: 12-20 | |
30 | Lawrence Snyder: Supercomputers and VLSI: The Effect of Large-Scale Integration on Computer Architecture. Advances in Computers 23: 1-33 (1984) | |
29 | Janice E. Cuny, Lawrence Snyder: Testing the Coordination Predicate. IEEE Trans. Computers 33(3): 201-208 (1984) | |
1983 | ||
28 | Ching C. Hsiao, Lawrence Snyder: Omni-sort: A Versatile Data Processing Operation for VLSI. ICPP 1983: 222-225 | |
27 | Lawrence Snyder: Introduction to the Poker Parallel Programming Environment. ICPP 1983: 289-292 | |
26 | Janice E. Cuny, Lawrence Snyder: Compilation of Data-Driven Programs for Synchronous Execution. POPL 1983: 197-202 | |
1982 | ||
25 | Kye S. Hedlund, Lawrence Snyder: Wafer scale integration of Configurable, Highly Parallel (CHiP) processors. ICPP 1982: 262-264 | |
24 | Janice E. Cuny, Lawrence Snyder: Testing coordination for "homogeneous" parallel algorithms. ICPP 1982: 265-267 | |
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 | 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 | 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 | 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 |