| 2009 | ASP-DAC | FastYield: variation-aware, layout-driven simultaneous binding and module selection for performance yield optimization |
| 2009 | ASP-DAC | Efficiently finding the 'best' solution with multi-objectives from multiple topologies in topology library of analog circuit |
| 2009 | ASSETS | Collaborative web accessibility improvement: challenges and possibilities |
| 2009 | CASE | Workflow Completion Patterns |
| 2009 | CASE | Towards Fully Automated Phototransfection |
| 2009 | CASE | Closed Loop Determinism for Non-Deterministic Environments: Verification for IEC 61499 Logic Controllers |
| 2009 | CASES | Tabu search-based synthesis of dynamically reconfigurable digital microfluidic biochips |
| 2009 | CHES | Hardware Accelerator for the Tate Pairing in Characteristic Three Based on Karatsuba-Ofman Multipliers |
| 2009 | CHES | Faster and Timing-Attack Resistant AES-GCM |
| 2009 | CHI | From Interaction to Trajectories: Designing Coherent Journeys Through User Experiences |
| 2009 | CHI | Sizing the horizon: The effects of chart size and layering on the graphical perception of time series visualizations |
| 2009 | CHI | Predicting Tie Strength With Social Media |
| 2009 | CHI | Musink: Composing Music through Augmented Drawing |
| 2009 | CHI | Social Immersive Media: Pursuing Best Practices for Multi-user Interactive Camera/Projector Exhibits |
| 2009 | CHI | Ephemeral Adaptation: The Use of Gradual Onset to Improve Menu Selection Performance |
| 2009 | CHI | Undo and Erase Events as Indicators of Usability Problems |
| 2009 | CIKM | On the feasibility of multi-site web search engines |
| 2009 | CloudCom | A Privacy Manager for Cloud Computing |
| 2009 | CODES+ISSS | A standby-sparing technique with low energy-overhead for fault-tolerant hard real-time systems |
| 2009 | CoNEXT | Content availability and bundling in swarming systems |
| 2009 | CRYPTO | Short Chosen-Prefix Collisions for MD5 and the Creation of a Rogue CA Certificate |
| 2009 | CVPR | Single image haze removal using dark channel prior |
| 2009 | DAC | A robust and efficient harmonic balance (HB) using direct solution of HB Jacobian |
| 2009 | DATE | Analysis and optimization of NBTI induced clock skew in gated clock trees |
| 2009 | DATE | Gate sizing for large cell-based designs |
| 2009 | DATE | On linewidth-based yield analysis for nanometer lithography |
| 2009 | ECIR | Mean-Variance Analysis: A New Document Ranking Theory in Information Retrieval |
| 2009 | ECOOP | Coinductive Type Systems for Object-Oriented Languages |
| 2009 | ECOOP | Debugging Method Names |
| 2009 | EMNLP | Unsupervised semantic parsing |