Lawrence Snyder

118 papers A* 15A 7B 16C 2Misc 1Journal 40Unranked 32

Year	Rank	Type	Title / Venue / Authors
2015	J	`jnl`	Early assessment of Inroads Lawrence Snyder, Raven Avery Alexander
2014	J	`jnl`	A case of computer science principles with traditional text-based programming languages. J. Comput. Sci. Coll. Kelvin Sung, Lawrence Snyder
2014	J	`jnl`	From arcane to essential: the changing view of programming. J. Comput. Sci. Coll. Lawrence Snyder
2013	J	`jnl`	An interview with Hadi Partovi. Commun. ACM Lawrence Snyder
2012	J	`jnl`	Analysis. Inroads Lawrence Snyder, Tiffany Barnes, Dan Garcia, Jody Paul, Beth Simon
2012	J	`jnl`	CS principles pilot at University of Washington. Inroads Lawrence Snyder
2012	J	`jnl`	Computer science principles and the CS 10K initiative. Inroads Amy Briggs, Lawrence Snyder
2012	J	`jnl`	Status update: high school CS internationally. Inroads Lawrence Snyder
2012	J	`jnl`	The first five computer science principles pilots: summary and comparisons. Inroads Lawrence Snyder, Tiffany Barnes, Dan Garcia, Jody Paul, Beth Simon
2011	—	`ch.`	Blue CHiP. Encyclopedia of Parallel Computing Lawrence Snyder
2008	—	`ch.`	Fluency with Information Technology. Wiley Encyclopedia of Computer Science and Engineering Lawrence Snyder
2007	—	`conf`	The design and development of ZPL. HOPL Lawrence Snyder
2006	—	`book`	Fluency with information technology - skills, concepts, and capabilities (2. ed.). Lawrence Snyder
2006	B	`conf`	Global-view abstractions for user-defined reductions and scans. PPoPP Steven J. Deitz, David Callahan, Bradford L. Chamberlain, Lawrence Snyder
2005	J	`jnl`	TSL Dissertation Abstracts: 2004 Transportation Science and Logistics Section Dissertation Prize Competition. Transp. Sci. Lawrence Snyder, 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, Steven Logghe, Leon Peeters, Nicolás E. Stier Moses, Weihua Xiao
2004	C	`conf`	Abstractions for Dynamic Data Distribution. HIPS Steven J. Deitz, Bradford L. Chamberlain, Lawrence Snyder
2003	B	`conf`	The design and implementation of a parallel array operator for the arbitrary remapping of data. PPoPP Steven J. Deitz, Bradford L. Chamberlain, Sung-Eun Choi, Lawrence Snyder
2002	J	`jnl`	High-level Language Support for User-defined Reductions. J. Supercomput. Steven J. Deitz, Bradford L. Chamberlain, Lawrence Snyder
2001	A	`conf`	Array language support for parallel sparse computation. ICS Bradford L. Chamberlain, Lawrence Snyder
2001	A	`conf`	Eliminating redundancies in sum-of-product array computations. ICS Steven J. Deitz, Bradford L. Chamberlain, Lawrence Snyder
2001	Misc	`conf`	Parallel Computation: MM +/- X. Informatics Lawrence Snyder
2000	A	`conf`	A Comparative Study of the NAS MG Benchmark across Parallel Languages and Architectures. SC Bradford L. Chamberlain, Steven J. Deitz, Lawrence Snyder
2000	—	`conf`	Pipelining Wavefront Computations: Experiences and Performance. IPDPS Workshops E. Christopher Lewis, Lawrence Snyder
2000	J	`jnl`	ZPL: A Machine Independent Programming Language for Parallel Computers. IEEE Trans. Software Eng. Bradford L. Chamberlain, Sung-Eun Choi, E. Christopher Lewis, Calvin Lin, Lawrence Snyder, Derrick Weathersby
1999	—	`conf`	Language Support for Pipelining Wavefront Computations. LCPC Bradford L. Chamberlain, E. Christopher Lewis, Lawrence Snyder
1999	A	`conf`	Problem space promotion and its evaluation as a technique for efficient parallel computation. International Conference on Supercomputing Bradford L. Chamberlain, E. Christopher Lewis, Lawrence Snyder
1999	—	`conf`	Regions: an abstraction for expressing array computation. APL Bradford L. Chamberlain, E. Christopher Lewis, Calvin Lin, Lawrence Snyder
1998	J	`jnl`	Abstractions for Portable, Scalable Parallel Programming. IEEE Trans. Parallel Distributed Syst. Gail A. Alverson, William G. Griswold, Calvin Lin, David Notkin, Lawrence Snyder
1998	A*	`conf`	The Implementation and Evaluation of Fusion and Contraction in Array Languages. PLDI E. Christopher Lewis, Calvin Lin, Lawrence Snyder
1998	C	`conf`	ZPL's WYSIWYG Performance Model. HIPS Bradford L. Chamberlain, Sung-Eun Choi, E. Christopher Lewis, Calvin Lin, Lawrence Snyder, Derrick Weathersby
1997	—	`conf`	A Compiler Abstraction for Machine Independent Parallel Communication Generation. LCPC Bradford L. Chamberlain, Sung-Eun Choi, Lawrence Snyder
1997	—	`conf`	ChaosLAN: Design and Implementation of a Gigabit LAN Using Chaotic Routing. PCRCW Neil R. McKenzie, Kevin Bolding, Carl Ebeling, Lawrence Snyder
1997	—	`conf`	Integrated Multi-class Routing. PCRCW Melanie L. Fulgham, Lawrence Snyder
1997	A	`conf`	Portable Performance of Data Parallel Languages. SC Ton Anh Ngo, Lawrence Snyder, Bradford L. Chamberlain
1997	B	`conf`	Quantifying the Effects of Communication Optimizations. ICPP Sung-Eun Choi, Lawrence Snyder
1997	J	`jnl`	The Case for Chaotic Adaptive Routing. IEEE Trans. Computers Kevin Bolding, Melanie L. Fulgham, Lawrence Snyder
1997	B	`conf`	Triplex: A Multi-Class Routing Algorithm. SPAA Melanie L. Fulgham, Lawrence Snyder
1997	—	`conf`	ZPL: Scientific Computing with Speed and Convenience. PP Lawrence Snyder
1996	—	`conf`	A Comparison of Input and Output Driven Routers. Euro-Par, Vol. I Melanie L. Fulgham, Lawrence Snyder
1996	—	`conf`	Factor-Join: A Unique Approach to Compiling Array Languages for Parallel Machines. LCPC Bradford L. Chamberlain, Sung-Eun Choi, E. Christopher Lewis, Calvin Lin, Lawrence Snyder, Derrick Weathersby
1995	—	`conf`	A Portable Parallel N-Body Solver. PP E. Christopher Lewis, Calvin Lin, Lawrence Snyder, George Turkiyyah
1995	—	`ch.`	Experimental Validation of Models of Parallel Computation. Computer Science Today Lawrence Snyder
1994	—	`conf`	A Practical Parallel Programming Model. Specification of Parallel Algorithms Lawrence Snyder
1994	—	`conf`	Accommodating Polymorphic Data Decompositions in Explicitly Parallel Programs. IPPS Calvin Lin, Lawrence Snyder
1994	—	`conf`	CRANIUM: An Interface for Message Passing on Adaptive Packet Routing Networks. PCRCW Neil R. McKenzie, Kevin Bolding, Carl Ebeling, Lawrence Snyder
1994	—	`ed.`	Parallel Computer Routing and Communication, First International Workshop, PCRCW'94, Seattle, Washington, USA, May 16-18, 1994, Proceedings PCRCW Kevin Bolding, Lawrence Snyder
1994	—	`conf`	Performance Analysis of a Minimal Adaptive Router. PCRCW Thu Duc Nguyen, Lawrence Snyder
1994	B	`ed.`	Proceedings of the 6th Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA '94, Cape May, New Jersey, USA, June 27-29, 1994 SPAA Lawrence Snyder, Charles E. Leiserson
1994	—	`conf`	SIMPLE Performance Results in ZPL. LCPC Calvin Lin, Lawrence Snyder
1994	J	`jnl`	The Chaos Router. IEEE Trans. Computers Smaragda Konstantinidou, Lawrence Snyder
1993	—	`conf`	Invited Lecture: Foundations of Practical Parallel Programming Languages. ACPC Lawrence Snyder
1993	B	`ed.`	Proceedings of the 5th Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA '93, Velen, Germany, June 30 - July 2, 1993 SPAA Lawrence Snyder
1993	—	`conf`	The Ariadne Debugger: Scalable Application of Event-Based Abstraction. Workshop on Parallel and Distributed Debugging Janice E. Cuny, George Forman, Alfred Hough, Joydip Kundu, Calvin Lin, Lawrence Snyder, David W. Stemple
1993	—	`conf`	ZPL: An Array Sublanguage. LCPC Calvin Lin, Lawrence Snyder
1992	—	`conf`	Chaos Router: Finally, a Practical Adaptive Router? Heinz Nixdorf Symposium Lawrence Snyder
1992	—	`conf`	Data Ensemles in Orca C. LCPC Calvin Lin, Lawrence Snyder
1992	B	`ed.`	Proceedings of the 4th Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA '92, San Diego, CA, USA, June 29 - July 1, 1992 SPAA Lawrence Snyder
1992	J	`jnl`	Report of the Purdue Workshop on Grand Challenges in Computer Architecture for the Support of High Performance Computing. J. Parallel Distributed Comput. 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
1992	—	`conf`	Synopsis of Orca, Asimple Language Implementation of Phase Abstracttions. SIGPLAN Workshop Lawrence Snyder
1991	J	`jnl`	A comparison of shared and nonshared memory models of parallel computation. Proc. IEEE Richard J. Anderson, Lawrence Snyder
1991	J	`jnl`	A portable implementation of SIMPLE. Int. J. Parallel Program. Calvin Lin, Lawrence Snyder
1991	A*	`conf`	Chaos Router: Architecture and Performance. ISCA Smaragda Konstantinidou, Lawrence Snyder
1991	—	`conf`	Portable Parallel Programming: Cross Machine Comparisons for SIMPLE. PP Calvin Lin, Lawrence Snyder
1991	—	`conf`	Programming SIMPLE for Parallel Portability. LCPC Jinling Lee, Calvin Lin, Lawrence Snyder
1991	J	`jnl`	The chaos router: a practical application of randomization in network routing. SIGARCH Comput. Archit. News Smaragda Konstantinidou, Lawrence Snyder
1990	—	`conf`	A Comparison of Programming Models for Shared Memory Multiprocessors. ICPP (2) Calvin Lin, Lawrence Snyder
1990	—	`conf`	A Formal Model of the Processor Memory Interface. ICPP (1) Samuel Ho, Lawrence Snyder
1990	A	`conf`	A flexible communication abstraction for nonshared memory parallel computing. SC Gail A. Alverson, William G. Griswold, David Notkin, Lawrence Snyder
1990	J	`jnl`	Achieving speedups for APL on an SIMD distributed memory machine. Int. J. Parallel Program. Raymond Greenlaw, Lawrence Snyder
1990	A*	`conf`	Balance in Architectural Design. ISCA Samuel Ho, Lawrence Snyder
1990	—	`conf`	How Port Ensembles Aid the Efficient Retargeting of Reduction Algorithms. ICPP (2) William G. Griswold, Gail A. Harrison, David Notkin, Lawrence Snyder
1990	B	`conf`	The Chaos Router: A Practical Application of Randomization in Network Routing. SPAA Smaragda Konstantinidou, Lawrence Snyder
1989	A	`conf`	A model for comparing synchronization strategies for parallel logic-level simulation. ICCAD Mary L. Bailey, Lawrence Snyder
1988	A*	`conf`	A Notation for Describing Multiple Views of VLSI Circuits. DAC Jean-Loup Baer, Meei-Chiueh Liem, Larry McMurchie, Rudolf Nottrott, Lawrence Snyder, Wayne Winder
1988	—	`conf`	A Taxonomy of Synchronous Parallel Machines. ICPP (1) Lawrence Snyder
1988	A*	`conf`	An Empirical Study of On-chip Parallelism. DAC Mary L. Bailey, Lawrence Snyder
1988	—	`conf`	Experiences with Poker. PPOPP/PPEALS 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
1987	J	`jnl`	Conversion from Data-Driven to Synchronous Execution in Loop Programs. ACM Trans. Program. Lang. Syst. Janice E. Cuny, Lawrence Snyder
1987	B	`conf`	Near-Optimal Speedup of Graphics Algorithms Using Multigauge Parallel Computers. ICPP Tony DeRose, Lawrence Snyder, Chyan Yang
1987	J	`jnl`	On Mapping Parallel Algorithms into Parallel Architectures. J. Parallel Distributed Comput. Francine Berman, Lawrence Snyder
1986	B	`conf`	Poker on the Cosmic Cube: The First Retargetable Parallel Programming Language and Environment. ICPP Lawrence Snyder, David Socha
1986	B	`conf`	Programming Solutions to the Algorithm Contraction Problem. ICPP David Notkin, Lawrence Snyder
1985	B	`conf`	An Inquiry into the Benefits of Multigauge Parallel Computation. ICPP Lawrence Snyder
1984	A*	`conf`	A model for university, industry and government cooperation. DAC Lawrence Snyder
1984	J	`jnl`	Parallel Programming and the Poker Programming Environment. Computer Lawrence Snyder
1984	J	`jnl`	Supercomputers and VLSI: The Effect of Large-Scale Integration on Computer Architecture. Adv. Comput. Lawrence Snyder
1984	J	`jnl`	Testing the Coordination Predicate. IEEE Trans. Computers Janice E. Cuny, Lawrence Snyder
1984	A*	`conf`	The Pringle Parallel Computer. ISCA Alejandro A. Kapauan, J. Timothy Field, Dennis Gannon, Lawrence Snyder
1983	A*	`conf`	Compilation of Data-Driven Programs for Synchronous Execution. POPL Janice E. Cuny, Lawrence Snyder
1983	B	`conf`	Introduction to the Poker Parallel Programming Environment. ICPP Lawrence Snyder
1983	B	`conf`	Omni-sort: A Versatile Data Processing Operation for VLSI. ICPP Ching C. Hsiao, Lawrence Snyder
1982	J	`jnl`	A Syntax-Free Semantics for the APL Operators. Inf. Process. Lett. Calvin C. Elgot, Alan J. Perlis, Lawrence Snyder
1982	J	`jnl`	Introduction to the Configurable, Highly Parallel Computer. Computer Lawrence Snyder
1982	J	`jnl`	Recognition and Selection of Idioms for Code Optimization. Acta Informatica Lawrence Snyder
1982	B	`conf`	Testing coordination for "homogeneous" parallel algorithms. ICPP Janice E. Cuny, Lawrence Snyder
1982	B	`conf`	Wafer scale integration of Configurable, Highly Parallel (CHiP) processors. ICPP Kye S. Hedlund, Lawrence Snyder
1981	A*	`conf`	Bounds on Minimax Edge Length for Complete Binary Trees (Extended Abstract) STOC Mike Paterson, Walter L. Ruzzo, Lawrence Snyder
1981	J	`jnl`	Formal Models of Capability-Based Protection Systems. IEEE Trans. Computers Lawrence Snyder
1981	J	`jnl`	Theft and Conspiracy in the Take-Grant Protection Model. J. Comput. Syst. Sci. Lawrence Snyder
1981	J	`jnl`	Time- and Space-Optimality in B-Trees. ACM Trans. Database Syst. Arnold L. Rosenberg, Lawrence Snyder
1980	J	`jnl`	Uniform Data Encodings. Theor. Comput. Sci. Arnold L. Rosenberg, Larry J. Stockmeyer, Lawrence Snyder
1979	—	`conf`	Compact B-Trees. SIGMOD Conference Arnold L. Rosenberg, Lawrence Snyder
1979	A*	`conf`	On a General Method for Maximizing and Minimizing among Certain Geometric Problems (Extended Abstract) FOCS David P. Dobkin, Lawrence Snyder
1979	J	`jnl`	Optimal 2, 3-Trees. SIAM J. Comput. Raymond E. Miller, Nicholas Pippenger, Arnold L. Rosenberg, Lawrence Snyder
1979	A*	`conf`	The Transfer of Information and Authority in a Protection System. SOSP Matt Bishop, Lawrence Snyder
1978	J	`jnl`	Bounds on the Costs of Data Encodings. Math. Syst. Theory Arnold L. Rosenberg, Lawrence Snyder
1978	J	`jnl`	Minimal-Comparison 2, 3-Trees. SIAM J. Comput. Arnold L. Rosenberg, Lawrence Snyder
1978	J	`jnl`	On B-trees Re-examined. Commun. ACM Lawrence Snyder
1977	J	`jnl`	A Linear Time Algorithm for Deciding Subject Security. J. ACM Richard J. Lipton, Lawrence Snyder
1977	A*	`conf`	On Uniquely Represented Data Structures (Extended Abstract) FOCS Lawrence Snyder
1977	J	`jnl`	On the Many Facets of Lists. Theor. Comput. Sci. Calvin C. Elgot, Lawrence Snyder
1977	—	`conf`	On the Power of Applicative Languages. Formal Description of Programming Concepts Richard J. Lipton, Lawrence Snyder
1977	A*	`conf`	On the Synthesis and Analysis of Protection Systems. SOSP Lawrence Snyder
1977	J	`jnl`	Synchronization and Computing Capabilities of Linear Asynchronous Structures. J. Comput. Syst. Sci. Richard J. Lipton, Raymond E. Miller, Lawrence Snyder
1976	A*	`conf`	A Linear Time Algorithm for Deciding Security FOCS Anita K. Jones, Richard J. Lipton, Lawrence Snyder
1975	A*	`conf`	Synchronization and Computing Capabilities of Linear Asynchronous Structures FOCS Richard J. Lipton, Raymond E. Miller, Lawrence Snyder
1974	—	`conf`	A Comparative Study of Models of Parallel Computation SWAT Richard J. Lipton, Lawrence Snyder, Yechezkel Zalcstein
1974	J	`jnl`	On the Aanderaa-Rosenberg Conjecture. SIGACT News Richard J. Lipton, Lawrence Snyder