Follow


Submissions from 2010

PDF

Nonclairvoyantly Scheduling Power-Heterogeneous Processors, Anupam Gupta, Ravishankar Krishnamurthy, and Kirk Pruhs

PDF

Approximation Algorithms for Optimal Decision Trees and Adaptive TSP Problems, Anupam Gupta, Ravishankar Krishnaswamy, Viswanath Nagarajan, and R. Ravi

PDF

Tree Embeddings for Two-Edge-Connected Network Design, Anupam Gupta, Ravishankar Krishnaswamy, and R. Ravi

PDF

Forest Density Estimation, Anupam Gupta, John Lafferty, Han Liu, Larry Wasserman, and Min Xiu

PDF

Constrained Non-Monotone Submodular Maximization: Offline and Secretary Algorithms, Anupam Gupta, Aaron Roth, Grant Schoenebeck, and Kunal Talwar

PDF

Analysis of Scheduling Policies under Correlated Job Sizes (CMU-CS-10-107), Varun Gupta, Michelle Burroughs, and Mor Harchol-Balter

PDF

Bridging Shannon and Hamming: List Error-Correction with Optimal Rate, Venkatesan Guruswami

PDF

On the List-Decodability of Random Linear Codes, Venkatesan Guruswami, Johan Hastad, and Swastik Kopparty

PDF

SDP gaps for 2-to-1 and other Label-Cover variants, Venkatesan Guruswami, Subash Khot, Ryan O'Donnell, Preyas Popat, Madhur Tulsiani, and Yi Wu

PDF

On the Inapproximability of Vertex Cover on k-Partite k-Uniform Hypergraphs, Venkatesan Guruswami and Rishi Saket

PDF

Model Validation and Discovery for Complex Stochastic Systems, Sumit Kumar Jha

PDF

ATLAS: A Scalable and High-Performance Scheduling Algorithm for Multiple Memory Controllers, Yoongu Kim, Dongsu Han, Onur Mutlu, and Mor Harchol-Balter

PDF

Efficient Triangle Counting in Large Graphs via Degree-based Vertex Partitioning, Mihail N. Kolountzakis, Gary L. Miller, Richard Peng, and Charalampos E. Tsourakakis

PDF

Approaching Optimality For Solving SDD Linear Systems, Ioannis Koutis, Gary Miller, and Richard Peng

PDF

2-Dimensional Directed Dependent Type Theory, Daniel R. Licata and Robert Harper

PDF

A Monadic Formalization of ML5, Daniel R. Licata and Robert Harper

PDF

BoLeRO: A Principled Technique for Including Bone Length Constraints in Motion Capture Occlusion Filling, Lei Li, James McCann, Nancy Pollard, and Christos Faloutsos

PDF

BEMC: A Searchable, Compressed Representation for Large Seismic Wavefields, Julio Lopez, Leonardo Ramirez-Guzman, Jacobo Bielak, and David R. O'Hallaron

PDF

Refinement Types for Logical Frameworks, William Lovas

PDF

Refinement types for logical frameworks and their interpretation as proof irrelevance, William Lovas and Frank Pfenning

PDF

Instrumentation Analysis: An Automated Method for Producing Numeric Abstractions of Heap-Manipulating Programs, Stephen Magill

PDF

Using the Amazon Mechanical Turk for Transcription of Spoken Language, Matthew R. Marge, Satanjeev Banerjee, and Alexander I. Rudnicky

PDF

The Network Testbed Mapping Problem, Rick McGeer, David G. Andersen, and Stephen A. Schwab

PDF

Approximate Dynamic Programming using Halfspace Queries and Multiscale Monge decomposition, Gary L. Miller, Richard Peng, Russell S. Schwartz, and Charalampos E. Tsourakakis

PDF

Fat Voronoi Diagrams, Gary L. Miller, Todd Phillips, and Donald Sheehy

PDF

Runtime-Efficient Meshing for Piecewise-Linear Complexes, Gary Miller and Todd Phillips

PDF

Unique Games Over Integers, Ryan O'Donnell, Yi Wu, and Yuan Zhou

PDF

Implementing and Improving MMIE Training in SphinxTrain, Long Qin and Alexander I. Rudnicky

PDF

The Effect of Lattice Pruning on MMIE Training, Long Qin and Alexander I. Rudnicky

PDF

Time-Varying Gaussian Graphical Models of Molecular Dynamics Data, Narges Sharif Razavian, Subhodeep Moitra, Hetunandan Kamisetty, Arvind Ramanathan, and Christopher J. Langmead

PDF

Focus-preserving Embeddings of Substructural Logics in Intuitionistic Logic, Jason Reed and Frank Pfenning

PDF

Mobile Computing: the Next Decade, Mahadev Satyanarayanan

PDF

Bringing the Cloud Down to Earth: Transient PCs Everywhere, Mahadev Satyanarayanan, Stephen Smaldone, Benjamin Gilbert, Jan Harkes, and Liviu Iftode

PDF

Trading off Mistakes and Don’t-Know Predictions, Amin Sayedi, Morteza Zadimoghaddam, and Avrim Blum

PDF

Type safety for substructural specifications: preliminary results (CMU-CS-10-134), Robert J. Simmons

PDF

Logical approximation for program analysis, Robert J. Simmons and Frank Pfenning

PDF

Principles of Constructive Provability Logic (CMU-CS-10-151), Robert J. Simmons and Bernardo Toninho

PDF

dBug: Systematic Evaluation of Distributed Systems, Jiri Simsa, Randal E. Bryant, and Garth Gibson

PDF

Space Profiling for Parallel Functional Programs, Daniel Spoonhower, Guy E. Blelloch, Robert Harper, and Phillip B. Gibbons

PDF

Efficient Similarity Estimation for Systems Exploiting Data Redundancy, Kanat Tangwongsan, Himabindu Pucha, David G. Andersen, and Michael Kaminsky

PDF

Energy-efficient Cluster Computing with FAWN: Workloads and Implications, Vijay Vasudevan, David Andersen, Michael Kaminsky, Lawrence Tan, Jason Franklin, and Iulian Moraru

PDF

The Approximability of Learning and Constraint Satisfaction Problems, Yi Wu

PDF

PyTensor: A Python based Tensor Library, Ji Oh Yoo, Aravind Ramanathan, and Christopher J. Langmead

Submissions from 2009

PDF

Secretary Problems: Weights and Discounts, Moshe Babaioff, Michael Dinitz, Anupam Gupta, Nicole Immorlica, and Kunal Talwar

PDF

Structure Learning for Generative Models of Protein Fold Families, Sivaraman Balakrishnan, Hetunandan Kamisetty, Jaime G. Carbonell, and Christopher J. Langmead

PDF

Approximate Clustering without the Approximation, Maria-Florina Balcan, Avrim Blum, and Anupam Gupta

PDF

Improved Equilibria via Public Service Advertising, Maria-Florina Balcan, Avrim Blum, and Yishay Monsour

PDF

Detecting the Noteworthiness of Utterances in Human Meetings, Satanjeev Banerjee and Alexander I. Rudnicky

PDF

PLFS: A Checkpoint Filesystem for Parallel Applications, John Bent, Garth Gibson, Gary Grider, Ben McClelland, Paul Nowoczynski, James Nunez, Milo Polte, and Meghan Wingate

PDF

Lower Bounds for Testing Function Isomorphism, Eric Blais and Ryan O'Donnell

PDF

Low Depth Cache-Oblivious Algorithms, Guy E. Blelloch, Phillip B. Gibbons, and Harsha Vardhan Simhadri

PDF

Open CirrusTM Cloud Computing Testbed: Federated Data Centers for Open Source Systems and Services Research, Roy Cambpell, Indranil Gupta, Michael Heath, Steven Y. Ko, Michael Kozuch, Marcel Kunze, Thomas Kwan, Kevin Lai, Hing Yan Lee, Martha Lyons, Dejan Milojicic, David R. O'Hallaron, and Yeng Chai Soh

PDF

Relating State-Based and Process-Based Concurrency through Linear Logic, Iliano Cervesato and Andre Scedrov

PDF

Towards Engineered Architecture Evolution, Sagar Chaki, Andres Diaz-Pace, David Garlan, Arie Gurfinkel, and Ipek Ozkaya

PDF

Selection Criteria for Preparatory Object Rotation in Manual Lifting Actions, Lillian Y. Chang, Roberta L. Klatzky, and Nancy Pollard

PDF

Video survey of pre-grasp interactions in natural hand activities, Lillian Y. Chang and Nancy S. Pollard

PDF

RAIDE for Engineering Architecture-Based Self-Adaptive Systems, Shang-Wen Cheng, David Garlan, and Bradley Schmerl

PDF

MoSIFT: Recognizing Human Actions in Surveillance Videos, Ming-Yu Chen and Alexander Hauptmann

PDF

Informedia @ TRECVID 2009: Analyzing Video Motions, Ming-Yu Chen, Huan Li, and Alexander Hauptmann

PDF

Accessing the Densho and HistoryMakers Oral History Collections via Informedia Technologies, Michael G. Christel, Robert V. Baron, Geoff Froh, Dan Benson, and Julieanna Richardson

PDF

Analysis of Transaction Logs for Insights into Use of Life Oral Histories, Michael G. Christel, Bryan Maher, and Huan Li

PDF

High School Physics Pathway: Teachers Helping Teachers through Synthetic Interviews, Michael G. Christel, Scott Stevens, Huan Li, Dean A. Zollman, and Brian W. Adrian

PDF

A Simple Proof of Call-by-Value Standardization, Karl Crary

PDF

A Syntactic Account of Singleton Types via Hereditary Substitution, Karl Crary

PDF

Higher-order Representation of Substructural Logics, Karl Crary

PDF

Estimating the Error Distribution of a Single Tap Sequence without Ground Truth, Roger B. Dannenberg and Larry Wasserman

PDF

Reasoning about the Consequences of Authorization Policies in a Linear Epistemic Logic, Henry DeYoung and Frank Pfenning

PDF

Active Sampling for Rank Learning via Optimizing the Area Under the ROC Curve, Pinar Donmez and Jaime G. Carbonell

PDF

Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology, Alexandre Donze, Gilles Clermont, Axel Legay, and Christopher J. Langmead

PDF

Scheduling with Uncertain Resources: Representation of Common Knowledge, Eugene Fink, P. Matthew Jennings, Konstantin Salomatin, and Jaime G. Carbonell

PDF

Analysis of Uncertain Data: Smoothing of Histograms, Eugene Fink, Ankur Sarin, and Jaime G. Carbonell

PDF

M/G/k with Exponential Setup, Anshul Gandhi and Mor Harchol-Balter

PDF

Power Capping Via Forced Idleness, Anshul Gandhi, Mor Harchol-Balter, Rajarshi Das, Jeffrey O. Kephart, and Charles Lefurgy

PDF

Computing Equilibria in Multiplayer Stochastic Games of Imperfect Information, Sam Ganzfried and Tuomas W. Sandholm

PDF

A Logical Representation of Common Rules for Controlling Access to Classified Information, Deepak Garg, Frank Pfenning, Denis Serenyi, and Brian Witten

PDF

Ævol: A tool for defining and planning architecture evolution, David Garlan and Bradley Schmerl

PDF

Creating and Visualizing Fuzzy Document Classification, Judith Gelernter, Dong Cao, Raymond Lu, Eugene Fink, and Jaime G. Carbonell

PDF

Analysis of Uncertain Data: Evaluation of Given Hypotheses, Anatole Gershman, Eugene Fink, Bin Fu, and Jaime G. Carbonell

PDF

Analysis of Uncertain Data: Selection of Probes for Information Gathering, Anatole Gershman, Eugene Fink, Bin Fu, and Jaime G. Carbonell

PDF

Understanding and Maturing the Data-Intensive Scalable Computing Storage Substrate, Garth Gibson, Bin Fan, Swapnil Patil, Milo Polte, Wittawat Tantisiriroj, and Lin Xiao

PDF

Distributed Parallel Inference on Large Factor Graphs, Joseph E. Gonzalez, Yucheng Low, Carlos Guestrin, and David R. O'Hallaron

PDF

Testing Fourier dimensionality and sparsity, Parikshit Gopalan, Ryan O'Donnell, Rocco A. Servedio, Amir Shpilka, and Karl Wimmer

PDF

Scheduling with Outliers, Anupam Gupta, Ravishankar Krishnamurthy, Amit Kumar, and Danny Segev

PDF

Differentially Private Approximation Algorithms, Anupam Gupta, Katrina Ligett, Frank McSherry, Aaron Roth, and Kunal Talwar

PDF

Thresholded Covering Algorithms for Robust and Max-Min Optimization, Anupam Gupta, Viswanath Nagarajan, and R. Ravi

PDF

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

PDF

SMERS: Music Emotion Recognition Using Support Vector Regression, Byeong-jun Han, Seungmin Ho, Roger B. Dannenberg, and Eenjun Hwang

PDF

Queueing Disciplines, Mor Harchol-Balter

PDF

Why Segregating Short Jobs from Long Jobs under High Variability is Not Always a Win, Mor Harchol-Balter, Alan Scheller-Wolf, and Andrew Young

PDF

Prior-Free Rare Category Detection, Jingrui He and Jaime G. Carbonell

PDF

Mesh Enhanced Persistent Homology, Benoit Hudson, Gary L. Miller, Steve Y. Oudot, and Donald R. Sheehy

PDF

Size Complexity of Volume Meshes vs. Surface Meshes, Benoit Hudson, Gary L. Miller, Todd Phillips, and Donald Sheehy

PDF

ACM SIGMM the First Workshop on Web-Scale Multimedia Corpus (WSMC09), Benoit Huet, Jinhui Tang, and Alexander Hauptmann

PDF

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

PDF

Representations of Keypoint-Based Semantic Concept Detection: A Comprehensive Study, Yu-Gang Jiang, Jun Yang, Chong-Wah Ngo, and Alexander Hauptmann

PDF

Modeling and Inference of Sequence-Structure Specificity, Hetunandan Kamisetty, Bornika Ghosh, Chris Bailey-Kellog, and Christopher J. Langmead

PDF

A Bayesian Approach to Protein Model Quality Assessment, Hetunandan Kamisetty and Christopher J. Langmead

PDF

Belief Propagation Reveals Allosteric Mechanisms in Proteins, Hetunandan Kamisetty, Arvind Ramanathan, and Christopher J. Langmead

PDF

Training of the Carnegie Mellon Teams for the ACM Programming Competition, Gregory Kesden, Eugene Fink, and Daniel D. Sleator

PDF

Combinatorial Preconditioners and Multilevel Solvers for Problems in Computer Vision and Image Processing, Ioannis Koutis, Gary L. Miller, Ali Sinop, and David Tolliver