Submissions from 2009
Scheduling with Outliers, Anupam Gupta, Ravishankar Krishnamurthy, Amit Kumar, and Danny Segev
Differentially Private Approximation Algorithms, Anupam Gupta, Katrina Ligett, Frank McSherry, Aaron Roth, and Kunal Talwar
Thresholded Covering Algorithms for Robust and Max-Min Optimization, Anupam Gupta, Viswanath Nagarajan, and R. Ravi
On the inapproximability of M=G=K: Why two moments of job size distribution are not enough, Varun Gupta, Mor Harchol-Balter, J. G. Dai, and Bert Zwart
SMERS: Music Emotion Recognition Using Support Vector Regression, Byeong-jun Han, Seungmin Ho, Roger B. Dannenberg, and Eenjun Hwang
Queueing Disciplines, Mor Harchol-Balter
Why Segregating Short Jobs from Long Jobs under High Variability is Not Always a Win, Mor Harchol-Balter, Alan Scheller-Wolf, and Andrew Young
Prior-Free Rare Category Detection, Jingrui He and Jaime G. Carbonell
Mesh Enhanced Persistent Homology, Benoit Hudson, Gary L. Miller, Steve Y. Oudot, and Donald R. Sheehy
Size Complexity of Volume Meshes vs. Surface Meshes, Benoit Hudson, Gary L. Miller, Todd Phillips, and Donald Sheehy
ACM SIGMM the First Workshop on Web-Scale Multimedia Corpus (WSMC09), Benoit Huet, Jinhui Tang, and Alexander Hauptmann
Statistical Model Checking for Complex Stochastic Models in Systems Biology, Sumit Kumar Jha, Edmund M. Clarke, Christopher J. Langmead, Axel Legay, Andre Platzer, and Paolo Zuliani
Representations of Keypoint-Based Semantic Concept Detection: A Comprehensive Study, Yu-Gang Jiang, Jun Yang, Chong-Wah Ngo, and Alexander Hauptmann
Modeling and Inference of Sequence-Structure Specificity, Hetunandan Kamisetty, Bornika Ghosh, Chris Bailey-Kellog, and Christopher J. Langmead
A Bayesian Approach to Protein Model Quality Assessment, Hetunandan Kamisetty and Christopher J. Langmead
Belief Propagation Reveals Allosteric Mechanisms in Proteins, Hetunandan Kamisetty, Arvind Ramanathan, and Christopher J. Langmead
Training of the Carnegie Mellon Teams for the ACM Programming Competition, Gregory Kesden, Eugene Fink, and Daniel D. Sleator
Combinatorial Preconditioners and Multilevel Solvers for Problems in Computer Vision and Image Processing, Ioannis Koutis, Gary L. Miller, Ali Sinop, and David Tolliver
Generalized Queries and Bayesian Statistical Model Checking in Dynamic Bayesian Networks: Application to Personalized Medicine, Christopher J. Langmead
A Universe of Binding and Computation, Daniel R. Licata and Robert Harper
The Nonparanormal: Semiparametric Estimation of High Dimensional Undirected Graphs, Han Liu, John Lafferty, and Larry Wasserman
Refinement Types as Proof Irrelevance, William Lovas and Frank Pfenning
Large-scale Collaborative Prediction Using a Nonparametric Random Effects Model, Kai Lu, John Lafferty, Shenghuo Zhu, and Yihong Gong
Holistic Query Transformations for Dynamic Web Applications, Amit Manjhi, Charles Garrod, Bruce M. Maggs, Todd C. Mowry, and Anthony S. Tomasic
Exploring Spoken Dialog Interaction in Human-Robot Teams, Matthew R. Marge, Aasish K. Pappu, Benjamin Frisch, Thomas K. Harris, and Alexander I. Rudnicky
Testing Halfspaces, Kevin Matulef, Ryan O'Donnell, Ronitt Rubenfeld, and Rocco A. Servedio
Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method, Sean McLaughlin and Frank Pfenning
Fast Meshing for Acute PLCs, Gary L. Miller and Todd Phillips
Approximating Voronoi Diagrams with Voronoi Diagrams, Gary L. Miller, Todd Phillips, and Donald Sheehy
Fast Cache for Your Text: Accelerating Exact Pattern Matching with Feed-Forward Bloom Filters, Iulian Moraru and David G. Andersen
KKL, Kruskal-Katona, and Monotone Nets, Ryan O'Donnell and Karl Wimmer
Optimal lower bounds for locality sensitive hashing (except when q is tiny), Ryan O'Donnell, Yi Wu, and Yuan Zhou
Better with Byzantine: Manipulation-Optimal Mechanisms, Abraham M. Othman and Tuomas W. Sandholm
How Pervasive is the Myerson-Satterthwaite Impossibility?, Abraham M. Othman and Tuomas W. Sandholm
CLAMP: Practical Prevention of Large-Scale Data Leaks, Bryan Parno, Jonathan M. McCune, Dan Wendlandt, David G. Andersen, and Adrian Perrig
Substructural Operational Semantics as Ordered Logic Programming, Frank Pfenning and Robert J. Simmons
Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study, Andre Platzer and Edmund M. Clarke
European Train Control System: A Case Study in Formal Veri fication, Andre Platzer and Jan-David Quesel
Real World Verifi cation, Andre Platzer, Jan-David Quesel, and Philipp Rummer
Enabling Enterprise Solid State Disks Performance, Milo Polte, Jiri Simsa, and Garth Gibson
An Online Approach for Mining Collective Behaviors from Molecular Dynamics Simulations, Arvind Ramanathan, Pratul K. Agarwal, Maria Kurnikova, and Christopher J. Langmead
Dynamic Invariants in Protein Folding Pathways Revealed by Tensor Analysis, Arvind Ramanathan and Christopher J. Langmead
Sparse Additive Models, Pradeep Ravikumar, John Lafferty, Han Liu, and Larry Wasserman
Orality-Grounded HCID: Understanding the Oral User, Roni Rosenfield, Jahanzeb Sherwani, Nosheen Ali, and Carolyn P. Rosé
Cooperative and Competitive Interactions Facilitate Stereo Computations in Macaque Primary Visual Cortex, Jason M. Samonds, Brian R. Potetz, and Tai Sing Lee
The Block Diagonal In nite Hidden Markov Model, Thomas Stepleton, Zoubin Ghahramani, Geoffrey J. Gordon, and Tai Sing Lee
Action Recognition via Local Descriptors and Holistic Features, Xinghua Sun and Alexander Hauptmann
Prediction of Interactions between HIV-1 and Human Proteins by Information Integration, Osnur Tastan, Yanjun Qi, Jaime G. Carbonell, and Judith Klein-Seetharaman
Approximate Triangle Counting, Charalampos E. Tsourakakis, Mihail N. Kolountzakis, and Gary L. Miller
FAWNdamentally Power-Efficient Clusters, Vijay Vasudevan, Jason Franklin, David Andersen, Amar Phanishayee, Lawrence Tan, Michael Kaminsky, and Iulian Moraru
Tracking Dynamic Sources of Malicious Activity at Internet-Scale, Shoba Venkataraman, Avrim Blum, Dawn Song, Subhabrata Sen, and Oliver Spatscheck
Your Data Center Is a Router: The Case for Reconfigurable Optical Circuit Switched Paths, Guohui Wang, David G. Andersen, Michael Kaminsky, Michael Kozuch, T.S. Eugene Ng, Konstantina Papagiannaki, Madeleine Glick, and Lily Mummert
Submissions from 2008
Efficiency through Eavesdropping: Link-layer Packet Caching, Mikhail Afanasyev, David G. Andersen, and Alex C. Snoeren
On the Performance Benefits of Multihoming Route Control, Aditya Akella, Bruce M. Maggs, Srinivasan Seshan, Anees Shaikh, and Ramesh Sitaraman
FAWN: A Fast Array of Wimpy Nodes (CMU-PDL-08-108), David G. Andersen, Jason Franklin, Amar Phanishayee, Lawrence Tan, and Vijay Vasudevan
A Plant Location Guide for the Unsure, Barbara M. Anthony, Vineet Goyal, Anupam Gupta, and Viswanath Nagarajan
Clustering with Interactive Feedback, Maria-Florina Balcan and Avrim Blum
A Theory of Learning with Similarity Functions, Maria-Florina Balcan, Avrim Blum, and Nathan Srebro
Improved Guarantees for Learning via Similarity Functions, Maria-Florina Balcan, Avrim Blum, and Nathan Srebro
An Extractive-Summarization Baseline for the Automatic Detection of Noteworthy Utterances in Multi-Party Human-Human Dialog, Satanjeev Banerjee and Alexander I. Rudnicky
Polynomial regression under arbitrary product distributions, Eric Blais, Ryan O'Donnell, and Karl Wimmer
Uniquely represented data structures for computational geometry, Guy E. Blelloch, Daniel Golovin, and Virginia Vassilevska
Regret Minimization and the Price of Total Anarchy, Avrim Blum, MohammedTaghi Hajiaghayi, Katrina Ligett, and Aaron Roth
Scheduling with Uncertain Resources: Learning to Ask the Right Questions, Alexander Carpentier, Mehrbod Sharifi, Eugene Fink, and Jaime G. Carbonell
Suppressing Outliers in Pairwise Preference Ranking, Vitor S. Cavalho, Jonathan L. Elsas, William W. Cohen, and Jaime G. Carbonell
On Teaching Programming Languages Using a Wiki, Iliano Cervesato
Method for Determining Kinematic Parameters of the In Vivo Thumb Carpometacarpal Joint, Lillian Y. Chang and Nancy S. Pollard
Legible Simplification of Textured Urban Models, Remco Chang, Thomas Butkiewicz, Carolinie Ziemkiewicz, Zachary Wartell, Nancy S. Pollard, and William Ribarsky
Approximating TSP on Metrics with Bounded Global Growth, T.-H. Hubert Chan and Anupam Gupta
Ultra-Low-Dimensional Embeddings for Doubling Metrics, T.-H. Hubert Chan, Anupam Gupta, and Kunal Talwar
A Logical Characterization of Forward and Backward Chaining in the Inverse Method, Kaustuv Chaudhuri, Frank Pfenning, and Greg Price
Set Connectivity Problems in Undirected Graphs and the Directed Steiner Network Problem, Chandra Chekuri, Guy Even, Anupam Gupta, and Danny Segev
Recognition of Aggressive Human Behavior Using Binary Local Motion Descriptors, Datong Chen, Ming-Yu Chen, Can Gao, Alexander Hauptmann, Howard Wactlar, and Ashok Bharucha
Improving Architecture-Based Self-Adaptation Through Resource Prediction, Shang-Wen Cheng, Vahe V. Poladian, David Garlan, and Bradley Schmerl
Verification of Floating-Point Adders, Yirng-An Chen and Randal E. Bryant
Veritas: Combining Expert Opinions without Labeled Data, Sharath R. Cholleti, Sally A. Goldman, Avrim Blum, David G. Politte, and Steven Don
Supporting Video Library Exploratory Search: When Storyboards are not Enough, Michael G. Christel
Evaluating the Contributions of Video Representation for a Life Oral History Collection, Michael G. Christel and Michael H. Frisch
Exploring the Utility of Fast-Forward Surrogates for BBC Rushes, Michael G. Christel, Alexander Hauptmann, Wei-Hao Lin, Ming-Yu Chen, Jun Yang, Bryan Maher, and Robert V. Baron
Evaluating Audio Skimming and Frame Rate Acceleration for Summarizing BBC Rushes, Michael G. Christel, Wei-Hao Lin, and Bryan Maher
Statistical Model Checking in BioLab : Applications to the automated analysis of T-Cell Receptor Signaling Pathway, Edmund M. Clarke, James R. Faeder, Christopher J. Langmead, Leonard A. Harris, Sumit Kumar Jha, and Axel Legay
Analysis and Veri cation Challenges for Cyber-Physical Transportation Systems, Edmund M. Clarke, Bruce Krogh, Andre Platzer, and Raj Rajkumar
New Complexity Results about Nash Equilibria, Vincent Conitzer and Tuomas W. Sandholm
Explicit Contexts in LF (Revised), Karl Crary
Foundational Certified Code in a Metalogical Framework, Karl Crary and Susmit Sarkar
Computer Coordination With Popular Music: A New Research Agenda, Roger B. Dannenberg
The Nyquist Composition Environment: Supporting Textual Programming with a Task-Oriented User Interface, Roger B. Dannenberg
Programming Modular Robots with Locally Distributed Predicates, Michael De Rosa, Seth C. Goldstein, Peter Lee, Padmanabhan Pillai, and Jason Campbell
Generalizing Metamodules to Simplify Planning in Modular Robotic Systems, Daniel J. Dewey, Michael P. Ashley-Rollman, Michael De Rosa, Seth C. Goldstein, Todd C. Mowry, Siddartha S. Srinivasa, Padmanabhan Pillai, and Jason Campbell
An Authorization Logic with Explicit Time, Henry DeYoung, Deepak Garg, and Frank Pfenning
Optimizing Estimated Loss Reduction for Active Sampling in Rank Learning, Pinar Donmez and Jaime G. Carbonell
Paired-Sampling in Density-Sensitive Active Learning, Pinar Donmez and Jaime G. Carbonell
Fast Learning of Document Ranking Functions with the Committee Perceptron, Jonathan L. Elsas, Vitor R. Carvalho, and Jaime G. Carbonell
Analysis of Uncertain Data: Tools for Representation and Processing, Bin Fu, Eugene Fink, and Jaime G. Carbonell
Distributed Localization of Modular Robot Ensembles, Stanislav Funiak, Michael P. Ashley-Rollman, Seth C. Goldstein, Padmanabhan Pillai, and Jason D. Campbell
Computing an Approximate Jam/Fold Equilibrium for 3-player No-Limit Texas Hold’em Tournaments, Sam Ganzfried and Tuomas W. Sandholm
Scheduling with Uncertain Resources: Learning to Make Reasonable Assumptions, Steven Gardiner, Eugene Fink, and Jaime G. Carbonell
Stochastic Analyses for Online Combinatorial Optimization Problems, Naveen Garg, Anupam Gupta, Stefano Leonardi, and Piotr Sankowski
Evolution Styles - Formal foundations and tool support for software architecture evolution, David Garlan
Holistic Application Analysis for Update-Independence, Charles Garrod, Amit Manjhi, Bruce M. Maggs, Todd C. Mowry, and Anthony Tomasic