| 2009 | SOSP | seL4: formal verification of an OS kernel |
| 2009 | SOSP | FAWN: a fast array of wimpy nodes |
| 2009 | SOSP | RouteBricks: exploiting parallelism to scale software routers |
| 2009 | SPAA | Reducers and Other Cilk++ Hyperobjects |
| 2009 | STOC | Public-key cryptosystems from the worst-case shortest vector problem: extended abstract |
| 2009 | STOC | A constructive proof of the Lovasz local lemma |
| 2009 | TACAS | From Tests to Proofs |
| 2009 | The Web Conference | Hybrid keyword search auctions |
| 2009 | Ubicomp | Recognizing Stereotypical Motor Movements in the Laboratory and Classroom: A Case Study with Children on the Autism Spectrum |
| 2009 | UIST | Mouse 2.0: multi-touch meets the mouse |
| 2009 | USENIX ATC | Satori: Enlightened Page Sharing |
| 2009 | USENIX ATC | Tolerating File-System Mistakes with EnvyFS |
| 2009 | VAST | Iterative integration of visual insights during patent search and analysis |
| 2009 | VLDB | A Unified Approach to Ranking in Probabilistic Databases |
| 2009 | WSDM | Integration of news content into web results |
| 2008 | 3DUI | Navidget for Easy 3D Camera Positioning from 2D Inputs |
| 2008 | AAAI | Optimal False-Name-Proof Voting Rules with Costly Voting |
| 2008 | AAAI | How Good is Almost Perfect? |
| 2008 | ACL | Forest Reranking: Discriminative Parsing with Non-Local Features |
| 2008 | ACL | A New String-to-Dependency Machine Translation Algorithm with a Target Dependency Language Model |
| 2008 | AICT | Improved Optical Network Topology Redesign Ensuring Biconnectivity |
| 2008 | AICT | Towards Efficient Service Placement and Server Selection for Large-Scale Deployments |
| 2008 | AICT | Overlay Topology Based Inter-domain Qos Paths Building |
| 2008 | AICT | Towards High Quality VoIP in 3G Networks - An Empirical Study |
| 2008 | AICT | High Speed Synchronizers Operating Internally at Submultiples Rate |
| 2008 | AICT | WSSU: High Performance Wireless Self-Contained, Surveillance Unit; an Ad Hoc Video Surveillance System |
| 2008 | AICT | Analytical Model of the Earliest Deadline First Policy over 802.11 |
| 2008 | AICT | Thermal Noise Effect in FTTH Communication Systems |
| 2008 | ASE | Test-Suite Augmentation for Evolving Software |
| 2008 | ASE | Generic Patch Inference |