A Structure-Driven Yield-Aware Web Form Crawler: Building a Database of Online Databases

He, Bin; Li, Chengkai; Killian, David; Patel, Mitesh; Tseng, Yuping; Chang, Kevin Chen-Chuan
University of Illinois Urbana-Champaign

Opportunistic Joint Uplink/Downlink Scheduling for WLANs

Yoo, Joon; Luo, Haiyun; Kim, Chong Kwon
University of Illinois Urbana-Champaign

An Assumptions Management Framework for Systems Software

Tirumala, Ajay Sudarshan
University of Illinois Urbana-Champaign

SAFECode: A Platform for Developing Reliable Software in Unsafe Languages

Dhurjati, Dinakar
University of Illinois Urbana-Champaign

Safety and Consistency in Policy-Based Authorization Systems (Extended Version)

Lee, Adam J.; Winslett, Marianne
University of Illinois Urbana-Champaign

Policy-Based Pervasive Systems Management Using Specification-Enhanced Rules

Shankar, Chetan S.
University of Illinois Urbana-Champaign

Interplay of Spatial Reuse and SINR-determined Data Rates in CSMA/CA-based, Multi-hop, Multi-rate Wireless Networks

Lin, Ting-Yu; Hou, Jennifer C.
University of Illinois Urbana-Champaign

Best-k Queries on Database Systems

Tao, Tao; Zhai, ChengXiang
University of Illinois Urbana-Champaign

Staging Static Analyses for Program Generation (Extended Version)

Kamin, Samuel; Aktemur, T. Baris; Katelman, Michael
University of Illinois Urbana-Champaign

PDA: Privacy-preserving Data Aggregation in Wireless Sensor Networks

He, Wenbo; Liu, Xue; Nguyen, Hoang; Nahrstedt, Klara; Abdelzaher, Tarek F.
University of Illinois Urbana-Champaign

Role-Based Access Control in a Mobile Environment

Compagnoni, Adriana; Gunter, Elsa L.; Bidinger, Philippe
University of Illinois Urbana-Champaign

A Rewriting Based Approach to OO Language Prototyping and Design

Hills, Mark; Rosu, Grigore
University of Illinois Urbana-Champaign

Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Farzan, Azadeh
University of Illinois Urbana-Champaign

Parametric and Sliced Causality

Chen, Feng; Rosu, Grigore
University of Illinois Urbana-Champaign

UFO: A General-Purpose User-Mode Memory Protection Technique for Application Use

Neelakantam, Naveen; Zilles, Craig
University of Illinois Urbana-Champaign

Data Obfuscation for Privacy-Enhanced Collaborative Filtering

Berkovsky, Shlomo; Eytani, Yaniv; Kuflik, Tsvi; Ricci, Francesco
University of Illinois Urbana-Champaign

Modeling of Two-Phase Flows in Horizontal Tubes

Vij, A.K.; Dunn, W.E.
University of Illinois Urbana-Champaign

Dynamic Modeling with Implicit Surfaces and Polygonal Meshes

Ni, Xinlai
University of Illinois Urbana-Champaign

Automatic Software Performance Optimization on Modern Architectures

Jiang, Changhao
University of Illinois Urbana-Champaign

Lightweight Consistency Enforcement Schemes for Distributed Proofs with Hidden Subtrees (Extended Version)

Lee, Adam J.; Minami, Kazuhiro; Winslett, Marianne
University of Illinois Urbana-Champaign

The Case for Non-Preemptive Scheduling in Distributed Real-Time Systems

Jayachandran, Praveen; Abdelzaher, Tarek F.
University of Illinois Urbana-Champaign

Exploring a New World of Identity with Identity 2.0 based Solutions

Fagen, Wade; Karahalios, Karrie
University of Illinois Urbana-Champaign

SRDA: An Efficient Algorithm for Large Scale Discriminant Analysis

Cai, Deng; He, Xiaofei; Han, Jiawei
University of Illinois Urbana-Champaign

Topology Control for Maintaining Network Connectivity and Maximizing Network Capacity Under the Physical Model

Gao, Yan; Hou, Jennifer C.; Nguyen, Hoang
University of Illinois Urbana-Champaign

Statistical Debugging and Automated Program Failure Triage

Liu, Chao
University of Illinois Urbana-Champaign

A Scalable Self-Diagnosing Content Distribution Service with Bounded Latency

Huang, Chengdu
University of Illinois Urbana-Champaign

Envirosuite: An Environmentally-Immersive Programming Framework for Wireless Sensor Networks

Luo, Liqian
University of Illinois Urbana-Champaign

Lifted First-Order Probabilistic Inference

Braz, Rodrigo de Salvo
University of Illinois Urbana-Champaign

Bulk Operation and Data Coloring for Multiprocessor Programmability

Ceze, Luis H.
University of Illinois Urbana-Champaign

Efficient Explicit-State Model Checking for Programs with Dynamically Allocated Data

d'Amorim, Marcelo
University of Illinois Urbana-Champaign