| 2010 | ICSE | A cut-off approach for bounded verification of parameterized systems |
| 2010 | INFOCOM | On the Feasibility and Efficacy of Protection Routing in IP Networks |
| 2010 | InfoVis | Graphical inference for infovis |
| 2010 | INTERSPEECH | Did you say susi or shushi? Measuring the Emergence of Robust Fricative Contrasts in English- and Japanese-Acquiring Children |
| 2010 | INTERSPEECH | Using Non-Native Error Patterns to Improve Pronunciation Verification" |
| 2010 | INTERSPEECH | Reliable Tracking Based on Speech Sample Salience of Vocal Cycle Length Perturbations |
| 2010 | INTERSPEECH | Joint-sequence models for grapheme-to-phoneme conversion |
| 2010 | INTERSPEECH | Partially observable Markov decision processes for spoken dialog systems |
| 2010 | ISLPED | Post-silicon power characterization using thermal infrared emissions |
| 2010 | ISPD | B-escape: a simultaneous escape routing algorithm based on boundary routing |
| 2010 | ISQED | UC-PHOTON: A novel hybrid photonic network-on-chip for multiple use-case applications |
| 2010 | ISSTA | Formal analysis of the effectiveness and predictability of random testing |
| 2010 | ISSTA | Automatic detection of unsafe component loadings |
| 2010 | ITC | Lessons from At-Speed Scan Deployment on an Intel Itanium Microprocessor |
| 2010 | ITC | Adaptive Test Flow for Mixed-Signal RF Circuits Using Learned Information from Device Under Test |
| 2010 | JCDL | Transferring structural markup across translations using multilingual alignment and projection |
| 2010 | JCDL | Improving mood classification in music digital libraries by combining lyrics and audio |
| 2010 | KDD | Connecting the dots between news articles |
| 2010 | KDD | Large linear classification when data cannot fit in memory |
| 2010 | LISA | Log Analysis and Event Correlation Using Variable Temporal Event Correlator (VTEC) |
| 2010 | LISA | First Step Towards Automatic Correction of Firewall Policy Faults |
| 2010 | LISA | Internet on the Edge |
| 2010 | MM | Dynamic captioning: video accessibility enhancement for hearing impairment |
| 2010 | MobiCom | The k factor: inferring protocol performance using inter-link reception correlation |
| 2010 | MobiHoc | Globs in the Primordial Soup: The Emergence of Connected Crowds in Mobile Wireless Networks |
| 2010 | Mobisys | ParkNet: drive-by sensing of road-side parking statistics |
| 2010 | NAACL | Coreference Resolution in a Modular, Entity-Centered Model |
| 2010 | NAACL | “cba to check the spelling”: Investigating Parser Performance on Discussion Forum Posts |
| 2010 | NSDI | Reverse traceroute |
| 2010 | OSDI | Efficient System-Enforced Deterministic Parallelism |