Works from 2013
Embodied agents for long-term interaction, Daniel Jason Schulman
Scaling up scientific computations by using map-reduce-like control flow on NUMA architectures, Vlad Slavici
Understanding and expressing scalable concurrency, Aaron Joseph Turon
Social desirability bias and engagement in systems designed for long-term health tracking, Laura Vardoulakis
Works from 2012
Quantifying the dynamics of ranked systems, Nicholas Blumm
Analysis, modeling and design of flash-based solid-state drives, Simona Boboila
Modeling score distributions for information retrieval, Keshi Dai
Foundations for behavioral higher-order contracts, Christos Dimoulas
Modular proof development in ACL2, Carl Eastlund
Wireless transfer of energy alongside information: from wireless sensor networks to bio-enabled wireless networks, Hooman Javaheri
A nugget-based test collection construction paradigm, Shahzad K. Rajput
Collection construction methodologies for learning to rank, Stefan Savev
Scaling contracts to realistic languages, Tharpe Stephen Strickland
Enabling and controlling diffusion processes in networks, Zhifeng Sun
CFA2: Pushdown flow analysis for higher-order languages, Dimitrios Vardoulakis
Temporal meta-programming: treating time as a spatial dimension, Ana-Maria Vişan
New cloud architectures for the next generation internet, Fangfei Zhou
Works from 2010
Functional adaptive programming, Bryan Chadwick
Refining syntactic sugar: tools for supporting macro development, Ryan Culpepper
Static semantics for syntax objects, David Fisher
Feature analysis of diagrams with applications to retrieval and classification, Mingyan Shao
Distributed diversity in hybrid wireless networks, Yin Wang
Works from 2009
Optimal-location queries over spatial databases, Yang Du
Decentralized network design, Laura Jane Poplawski Ma
The spatial c-tree : an index structure with high concurrency and efficient recovery, Jing Shan
Works from 2008
Much ado about nothing : putting Java's null in its place, Richard Cobbe
Third-party composition of AOP mechanisms, Sergei Kojarski
Reasoning about imperative and higher-order programs, Vasileios Koutavas
Large Implicit state space enumeration : overcoming memory and disk limitations, Eric Robinson
SVM and a Novel POOL Method Coupled with THEMATICS for Protein Active Site Prediction, Wenxu Tong
Authenticated software update, Ruopeng Ye