Follow

Works from 2014

PDF

User-space process virtualization in the context of checkpoint-restart and virtual machines, Kapil Arya

PDF

On the relationship between laziness and strictness, Stephen T. Chang

PDF

Beyond measuring performance: targeted meta-evaluations for diversity and an information-theoretic framework for the analysis of search engines, Peter B. Golbus

PDF

Curved surface patches for rough terrain perception, Dimitrios Kanoulas

PDF

Towards bridging theory and implementation of cryptographic primitives, Eric Miles

PDF

Processing theta-joins on shared-nothing systems, Alper Okcan

PDF

Contagion and ranking processes in complex networks: the role of geography and interaction strength, Qian Zhang

Works from 2013

PDF

Analysis, modeling and design of flash-based solid-state drives, Simona Boboila

PDF

Foundations for behavioral higher-order contracts, Christos Dimoulas

PDF

Modular proof development in ACL2, Carl Eastlund

PDF

Wireless transfer of energy alongside information: from wireless sensor networks to bio-enabled wireless networks, Hooman Javaheri

PDF

Open networking infrastructure: boosting wireless networks in the era of cloud, Tao Jin

PDF

Collection construction methodologies for learning to rank, Stefan Savev

PDF

Embodied agents for long-term interaction, Daniel Jason Schulman

PDF

Scaling up scientific computations by using map-reduce-like control flow on NUMA architectures, Vlad Slavici

PDF

Understanding and expressing scalable concurrency, Aaron Joseph Turon

PDF

Social desirability bias and engagement in systems designed for long-term health tracking, Laura Vardoulakis

Works from 2012

PDF

Quantifying the dynamics of ranked systems, Nicholas Blumm

PDF

Modeling score distributions for information retrieval, Keshi Dai

PDF

A nugget-based test collection construction paradigm, Shahzad K. Rajput

PDF

Scaling contracts to realistic languages, Tharpe Stephen Strickland

PDF

Enabling and controlling diffusion processes in networks, Zhifeng Sun

PDF

Practical programming with substructural types, Jesse A. Tov

PDF

CFA2: Pushdown flow analysis for higher-order languages, Dimitrios Vardoulakis

PDF

Temporal meta-programming: treating time as a spatial dimension, Ana-Maria Vi┼čan

PDF

New cloud architectures for the next generation internet, Fangfei Zhou

Works from 2011

PDF

Functional adaptive programming, Bryan Chadwick

PDF

Distributed diversity in hybrid wireless networks, Yin Wang

Works from 2010

PDF

Refining syntactic sugar: tools for supporting macro development, Ryan Culpepper

PDF

Static semantics for syntax objects, David Fisher

PDF

Feature analysis of diagrams with applications to retrieval and classification, Mingyan Shao

Works from 2009

PDF

Much ado about nothing : putting Java's null in its place, Richard Cobbe

PDF

Optimal-location queries over spatial databases, Yang Du

PDF

Reasoning about imperative and higher-order programs, Vasileios Koutavas

PDF

Decentralized network design, Laura Jane Poplawski Ma

PDF

The spatial c-tree : an index structure with high concurrency and efficient recovery, Jing Shan

Works from 2008

PDF

Improved text entry for mobile devices : alternate keypad designs and novel predictive disambiguation methods, Jun Gong

PDF

Third-party composition of AOP mechanisms, Sergei Kojarski

PDF

Large Implicit state space enumeration : overcoming memory and disk limitations, Eric Robinson

PDF

SVM and a Novel POOL Method Coupled with THEMATICS for Protein Active Site Prediction, Wenxu Tong

PDF

Authenticated software update, Ruopeng Ye