Submissions from 2023
An Undergraduate Consortium for Addressing the Leaky Pipeline to Computing Research, James C. Boerkoel Jr. and Mehmet Ergezer
Submissions from 2020
Dynamic Control of Probabilistic Simple Temporal Networks, James C. Boerkoel Jr., Michael Gao, and Lindsay Popowski
Quantifying controllability in temporal networks with uncertainty, James C. Boerkoel Jr., Lindsay Popowski, Michael Gao, Hemeng Li, Savana Ammons, and Shyan Akmal
Submissions from 2013
Exploring the Baccalaureate Origin of Domestic Ph.D. Students in Computing Fields, Susanne Hambrusch, Ran Libeskind-Hadas, Fen Zhao, David Rabson, Amy Csizmar Dalal, Ed Fox, Charles Isbell, and Valerie Taylor
A First Course in Computing with Applications to Biology, Ran Libeskind-Hadas and Eliot Bush
Virtual Machine Workloads: The Case for New NAS Benchmarks, Vasily Tarasov, Dean Hildebrand, Geoffrey H. Kuenning, and Erez Zadok
Submissions from 2012
Increasing Women's Participation in Computing at Harvey Mudd College, Christine Alvarado, Zachary Dodds, and Ran Libeskind-Hadas
An Extreme Case of Plant-Insect Co-Diversification: Figs and Fig-Pollinating Wasps, Astrid Craud, Nina Ronsted, Bhanumas Chantarasuwan, Lien Siang Chou, Wendy L. Clement, Arnaud Couloux, Benjamin Cousins, Gwenaelle Genson, Rhett D. Harrison, Paul E. Hanson, Martine Hossaert-McKey, Roula Jabbour-Zahab, Emmanuelle Jousselin, Carole Kerdelhue, Finn Kiellberg, Carlos Lopez-Vaamonde, John Lee Thompson Peebles Jr. '13, Yan-Qiong Peng, Rodrigo Augusto Santinelo Pereira, Tselil Schramm '12, Rosichon Ubaidillah, Simon van Noort, George D. Weiblen, Da-Rong Yang, Anak Yodpinyanee '12, Ran Libeskind-Hadas, James M. Cook, Jean-Yves Rasplus, and Vincent Savolainen
Submissions from 2011
The Cophylogeny Reconstruction Problem is NP-Complete, Yaniv J. Ovadia '10, Daniel Fielder '11, Chris Conow, and Ran Libeskind-Hadas
Submissions from 2010
Learning to Create Jazz Melodies Using Deep Belief Nets, Greg Bickerman '10, Sam Bosley, Peter Swire, and Robert M. Keller
Jane: A New Tool for the Cophylogeny Reconstruction Problem, Chris Conow, Daniel Fielder '11, Yaniv J. Ovadia '10, and Ran Libeskind-Hadas
Figs, Wasps, Gophers, and Lice: A Computational Exploration of Coevolution, Ran Libeskind-Hadas
Submissions from 2009
On the Computational Complexity of the Reticulate Cophylogeny Reconstruction Problem, Ran Libeskind-Hadas and Michael A. Charleston
Submissions from 2008
Competitive Analysis of Online Traffic Grooming in WDM Rings, Karyn Benson, Benjamin Birnbaum, Esteban Molina-Estolano '06, and Ran Libeskind-Hadas
Submissions from 2007
Blues for Gary: Design Abstractions for a Jazz Improvisation Assistant, Robert M. Keller, Martin Hunt '08, Stephen Jones '07, David Morrison '08, and Aaron Wolin '07
Using Permuted States of Validated Simulation to Analyze Conflict Rates in Optimistic Replication, An-I Andy Wang, Geoffrey H. Kuenning, and Peter Reiher
PARAID: A Gear-shifting Power-aware RAID, Charles Weddle, Mathew Oldham, Jin Qian, An-I Andy Wang, Peter Reiher, and Geoffrey H. Kuenning
Submissions from 2006
Virtual Topologies for Multicasting with Multiple Originators in WDM Networks, Ian Ferrel '04, Adrian Mettler '04, Edward Miller '03, and Ran Libeskind-Hadas
The Conquest File System: Better Performance through a Disk/persistent-RAM Hybrid Design, An-I Andy Wang, Geoffrey H. Kuenning, Peter Reiher, and Gerald J. Popek
Submissions from 2005
Grid-Enabling a Vibroacoustic Analysis Application, Brian Bentow, Jon Dodge, Aaron Homer, Christopher D. Moore, Robert M. Keller, Matthew T. Presley, Robert Davis, Jorge Seidel, Craig Lee, and Joseph Betser
Fun and Games: A New Software Engineering Course, Elizabeth Sweedyk and Robert M. Keller
Submissions from 2004
Optimal Virtual Topologies for One-to-Many Communication in WDM Paths and Rings, Jeff R.K. Hartline '01, Ran Libeskind-Hadas, Kurt M. Dresner '02, Ethan W. Drucker '02, and Katrina J. Ray '02
Estimating Scale Up Cost Factors for Commercial Jet Planes, Christopher P. Holcomb and Donald S. Remer
On the Complexity of Virtual Topology Design for Multicasting in WDM Trees With Tap-and-Continue and Multicast-Capable Switches, Edward Miller '03, Ran Libeskind-Hadas, Dustin Barnard '03, Will Chang '04, Kurt M. Dresner '02, Wesley Turner '03, and Jeff R.K. Hartline '01
Electric-Field-Based Routing: A Reliable Framework for Routing in MANETs, Nam T. Nguyen, An-I Andy Wang, Peter Reiher, and Geoffrey H. Kuenning
Submissions from 2003
Enabling Computer Decisions Based on EEG Input, Benjamin J. Culpepper and Robert M. Keller
The Computational Complexity of Motion Planning, Jeff R.K. Hartline '01 and Ran Libeskind-Hadas
Submissions from 2002
Multicast Routing and Wavelength Assignment in Multi-Hop Optical Networks, Ran Libeskind-Hadas and Rami Melhem
Submissions from 2001
Proof Without Words: The Pigeonhole Principle, Ran Libeskind-Hadas
On Multicast Algorithms for Heterogeneous Networks of Workstations, Ran Libeskind-Hadas, Jeff R.K. Hartline '01, Peter Boothe '00, Greg Rae '00, and Jascha Swisher '00
Multicast Communication in Circuit-Switched Optical Networks, Ran Libeskind-Hadas and Rami Melhem
Replication Requirements in Mobile Environments, David Ratner, Peter Reiher, Gerald J. Popek, and Geoffrey H. Kuenning
Submissions from 2000
Efficient Multicast in Heterogeneous Networks of Workstations, Ran Libeskind-Hadas and Jeff R.K. Hartline '01
Submissions from 1999
On Edge-Disjoint Spanning Trees in Hypercubes, Benjamin Barden '99, Ran Libeskind-Hadas, Janet Davis '99, and William Williams '99
Submissions from 1998
A Tight Lower Bound on the Number of Channels Required for Deadlock-Free Wormhole Routing, Ran Libeskind-Hadas
Sorting in Parallel, Ran Libeskind-Hadas
Optimal Contention-Free Unicast-Based Multicasting in Switch-Based Networks of Workstations, Ran Libeskind-Hadas, Dominic Mazzoni '99, and Ranjith Rajagopalan '99
Tree-Based Multicasting in Wormhole-Routed Irregular Topologies, Ran Libeskind-Hadas, Dominic Mazzoni '99, and Ranjith Rajagopalan '99
Perspectives on Optimistically Replicated, Peer-to-Peer Filing, Thomas W. Page Jr., Robert G. Guy, John S. Heidemann, David H. Ratner, Peter Reiher, Ashvin Goel, and Geoffrey H. Kuenning
Saving Portable Computer Battery Power through Remote Process Execution, Alexey Rudenko, Peter Reiher, Gerald J. Popek, and Geoffrey H. Kuenning
Submissions from 1997
Experience with an Automated Hoarding System, Geoffrey H. Kuenning, Peter Reiher, and Gerald J. Popek
Adaptive Multicast Routing in Wormhole Networks, Ran Libeskind-Hadas, Tom Hehre '96, Andrew Hutchings '98, Mark Reyes '98, and Kevin Watkins '97
Submissions from 1995
Kitrace: Precise Interactive Measurement of Operating Systems Kernels, Geoffrey H. Kuenning
Approximation Algorithms: Good Solutions to Hard Problems, Ran Libeskind-Hadas
Origin-Based Fault Tolerant Routing in the Mesh, Ran Libeskind-Hadas and Eli Brandt '95
Optimal Reconfiguration Algorithms for Real-Time Fault Tolerant Processor Arrays, Ran Libeskind-Hadas, Nimish Shrivastava, Rami Melhem, and C.L. Liu
Submissions from 1991
Disjoint Covers in Replicated Heterogeneous Arrays, P.K. McKinley, N. Hasan, Ran Libeskind-Hadas, and C.L. Liu
Submissions from 1989
Semantics and Implementation of Resource Expressions, Robert M. Keller and Bharat Jayaraman
Submissions from 1987
Overview of Rediflow II Development, Robert M. Keller, Jon W. Slater, and Kevin T. Likes
The Gradient Model Load Balancing Method, Frank C. H. Lin and Robert M. Keller
Submissions from 1986
Primitives for Resource Management in a Demand-Driven Reduction Model, Bharat Jayaraman and Robert M. Keller
Semantics of Digital Networks Containing Indeterminate Modules, Robert M. Keller and Prakash Panangaden
Applicative Caching, Robert M. Keller and M Ronan Sleep
Distributed Recovery in Applicative Systems, Frank C. H. Lin and Robert M. Keller
Submissions from 1985
Distributed Computation by Graph Reduction, Robert M. Keller
Approaching Distributed Database Implementations Through Functional Programming Concepts, Robert M. Keller and Gary Lindstrom
Submissions from 1984
Consistency Testing for Data-Flow Circuits, Chu S. Jhon and Robert M. Keller
Simulated Performance of a Reduction-Based Multiprocessing System, Robert M. Keller and Frank C. H. Lin
Static Inference of Properties of Applicative Programs, Prateek Mishra and Robert M. Keller
Submissions from 1983
Specification of Synchronizing Processes, Krithivasan Ramamritham and Robert M. Keller
Submissions from 1982
Data Flow Program Graphs, Alan L. Davis and Robert M. Keller
Garbage Collection and Task Deletion in Distributed Applicative Processing Systems, Paul Hudak and Robert M. Keller
Submissions from 1981
Applications of Feedback in Functional Programming, Robert M. Keller and Gary Lindstrom
On Synchronization and Its Specification, Krithivasan Ramamritham and Robert M. Keller
Specifying and Proving Properties of Sentinels, Krithivasan Ramamritham and Robert M. Keller
Submissions from 1980
Divide and CONCer: Data Structuring in Applicative Multi-Processing Systems, Robert M. Keller
Some Theoretical Aspects of Applicative Multiprocessing, Robert M. Keller
Submissions from 1979
A Loosely-coupled Applicative Multi-Processing System, Robert M. Keller, Gary Lindstrom, and Suhas Patil
Submissions from 1976
Formal Verification of Parallel Programs, Robert M. Keller
Submissions from 1975
A Fundamental Theorem of Asynchronous Parallel Computation, Robert M. Keller
Look-Ahead Processors, Robert M. Keller
Submissions from 1973
Some Approaches to Best-Match File Searching, Walter A. Burkhard and Robert M. Keller
Parallel Program Schemata and Maximal Parallelism I. Fundamental Results, Robert M. Keller
Parallel Program Schemata and Maximal Parallelism I. Fundamental Results, Robert M. Keller
Parallel Program Schemata and Maximal Parallelism II: Construction of Closures, Robert M. Keller
Parallel Program Schemata and Maximal Parallelism II: Construction of Closures, Robert M. Keller
A Novel Method of Constructing Sorting Networks, Robert M. Keller
Submissions from 1972
On the Decomposition of Asynchronous Systems, Robert M. Keller
On the Decomposition of Asynchronous Systems, Robert M. Keller
Submissions from 1970
On Maximally Parallel Schemata, Robert M. Keller
On Maximally Parallel Schemata, Robert M. Keller
