| 2007 | CHI | Sustainable interaction design: invention & disposal, renewal & reuse |
| 2007 | CHI | Consuming video on Mobile devices |
| 2007 | CIAA | Synchronizing Automata Preserving a Chain of Partial Orders |
| 2007 | CIKM | Autonomously semantifying wikipedia |
| 2007 | CODES+ISSS | Dynamic security domain scaling on symmetric multiprocessors for future high-end embedded systems |
| 2007 | CoNEXT | The diameter of opportunistic mobile networks |
| 2007 | CP | Solution Counting Algorithms for Constraint-Centered Search Heuristics |
| 2007 | CRYPTO | Cryptography with Constant Input Locality |
| 2007 | CVPR | Dynamic 3D Scene Analysis from a Moving Vehicle |
| 2007 | DAC | Period Optimization for Hard Real-time Distributed Automotive Systems |
| 2007 | DAC | Interdependent Latch Setup/Hold Time Characterization via Euler-Newton Curve Tracing on State-Transition Equations |
| 2007 | DATE | Statistical blockade: a novel method for very fast Monte Carlo simulation of rare circuit events, and its application |
| 2007 | DATE | Compositional specification of behavioral semantics |
| 2007 | EMNLP | Modelling Compression with Discourse Constraints |
| 2007 | ESEM | Toward Reducing Fault Fix Time: Understanding Developer Behavior for the Design of Automated Fault Detection Tools |
| 2007 | ESEM | The Effects of Over and Under Sampling on Fault-prone Module Detection |
| 2007 | Eurocrypt | Zero Knowledge and Soundness Are Symmetric |
| 2007 | FAST | Disk Failures in the Real World: What Does an MTTF of 1, 000, 000 Hours Mean to You? |
| 2007 | FAST | TFS: A Transparent File System for Contributory Storage |
| 2007 | FOCS | Space-Efficient Identity Based EncryptionWithout Pairings |
| 2007 | FPT | Memory Footprint Reduction For FPGA Routing Algorithms |
| 2007 | FSE | Automatic consistency assessment for query results in dynamic environments |
| 2007 | FSE | Globally distributed software development project performance: an empirical analysis |
| 2007 | FSE | Mining specifications of malicious behavior |
| 2007 | FSE | Object and reference immutability using Java generics |
| 2007 | GECCO | On the runtime analysis of the 1-ANT ACO algorithm |
| 2007 | GECCO | The multi-objective next release problem |
| 2007 | GECCO | Acquiring evolvability through adaptive representations |
| 2007 | GECCO | Evolving robust GP solutions for hedge fund stock selection in emerging markets |
| 2007 | GECCO | Towards billion-bit optimization via a parallel estimation of distribution algorithm |