Follow


Submissions from 2010

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

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

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

PDF

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

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

PDF

Generalized Queries and Bayesian Statistical Model Checking in Dynamic Bayesian Networks: Application to Personalized Medicine, Christopher J. Langmead

PDF

A Universe of Binding and Computation, Daniel R. Licata and Robert Harper

PDF

The Nonparanormal: Semiparametric Estimation of High Dimensional Undirected Graphs, Han Liu, John Lafferty, and Larry Wasserman

PDF

Refinement Types as Proof Irrelevance, William Lovas and Frank Pfenning

PDF

Large-scale Collaborative Prediction Using a Nonparametric Random Effects Model, Kai Lu, John Lafferty, Shenghuo Zhu, and Yihong Gong

PDF

Holistic Query Transformations for Dynamic Web Applications, Amit Manjhi, Charles Garrod, Bruce M. Maggs, Todd C. Mowry, and Anthony S. Tomasic

PDF

Exploring Spoken Dialog Interaction in Human-Robot Teams, Matthew R. Marge, Aasish K. Pappu, Benjamin Frisch, Thomas K. Harris, and Alexander I. Rudnicky

PDF

Testing Halfspaces, Kevin Matulef, Ryan O'Donnell, Ronitt Rubenfeld, and Rocco A. Servedio

PDF

Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method, Sean McLaughlin and Frank Pfenning

PDF

Fast Meshing for Acute PLCs, Gary L. Miller and Todd Phillips

PDF

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

PDF

Fast Cache for Your Text: Accelerating Exact Pattern Matching with Feed-Forward Bloom Filters, Iulian Moraru and David G. Andersen

PDF

KKL, Kruskal-Katona, and Monotone Nets, Ryan O'Donnell and Karl Wimmer

PDF

Optimal lower bounds for locality sensitive hashing (except when q is tiny), Ryan O'Donnell, Yi Wu, and Yuan Zhou

PDF

Better with Byzantine: Manipulation-Optimal Mechanisms, Abraham M. Othman and Tuomas W. Sandholm

PDF

How Pervasive is the Myerson-Satterthwaite Impossibility?, Abraham M. Othman and Tuomas W. Sandholm

PDF

CLAMP: Practical Prevention of Large-Scale Data Leaks, Bryan Parno, Jonathan M. McCune, Dan Wendlandt, David G. Andersen, and Adrian Perrig

PDF

Substructural Operational Semantics as Ordered Logic Programming, Frank Pfenning and Robert J. Simmons

PDF

Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study, Andre Platzer and Edmund M. Clarke

PDF

European Train Control System: A Case Study in Formal Verification, Andre Platzer and Jan-David Quesel

PDF

Real World Verification, Andre Platzer, Jan-David Quesel, and Philipp Rummer

PDF

Enabling Enterprise Solid State Disks Performance, Milo Polte, Jiri Simsa, and Garth Gibson