| 2009 | EMSOFT | Analytic Real-Time Analysis and Timed Automata: A Hybrid Method for Analyzing Embedded Real-Time Systems |
| 2009 | ESEM | Using differences among replications of software engineering experiments to gain knowledge |
| 2009 | Eurocrypt | Practical Chosen Ciphertext Secure Encryption from Factoring |
| 2009 | EuroSys | SnowFlock: rapid virtual machine cloning for cloud computing |
| 2009 | FAST | Generating Realistic Impressions for File-System Benchmarking |
| 2009 | FAST | CA-NFS: A Congestion-Aware Network File System |
| 2009 | FPT | American Option Pricing on Reconfigurable Hardware Using Least-Squares Monte Carlo Method |
| 2009 | FSE | Asserting and checking determinism for multithreaded programs |
| 2009 | FSE | Darwin: an approach for debugging evolving programs |
| 2009 | FSE | Graph-based Mining of Multiple Object Usage Patterns |
| 2009 | FSE' | Blockcipher-Based Hashing Revisited |
| 2009 | GECCO | A genetic programming approach to automated software repair |
| 2009 | GECCO | The sensitivity of HyperNEAT to different geometric representations of a problem |
| 2009 | GECCO | Multiplicative approximations and the hypervolume indicator |
| 2009 | GECCO | How novelty search escapes the deceptive trap of learning to learn |
| 2009 | GECCO | Software project planning for robustness and completion time in the presence of uncertainty using multi objective search based software engineering |
| 2009 | GECCO | Learning sensorimotor control structures with XCSF: redundancy exploitation and dynamic control |
| 2009 | GECCO | Modeling evolutionary fitness for DNA motif discovery |
| 2009 | GECCO | Dynamic evolutionary optimisation: an analysis of frequency and magnitude of change |
| 2009 | GECCO | Strategies to minimise the total run time of cyclic graph based genetic programming with GPUs |
| 2009 | GECCO | Tunneling between optima: partition crossover for the traveling salesman problem |
| 2009 | GECCO | New entropy model for extraction of structural information from XCS population |
| 2009 | GECCO | EDA-RL: estimation of distribution algorithms for reinforcement learning problems |
| 2009 | GECCO | Approximating the search distribution to the selection distribution in EDAs |
| 2009 | GECCO | Fixed-parameter evolutionary algorithms and the vertex cover problem |
| 2009 | GECCO | Parallel shared memory strategies for ant-based optimization algorithms |
| 2009 | GECCO | Optimizing low-discrepancy sequences with an evolutionary algorithm |
| 2009 | GRAPP | AN INVERSE PROBLEM APPROACH TO BRDF MODELING |
| 2009 | GRAPP | FACIAL NORMAL MAP CAPTURE USING FOUR LIGHTS - An Effective and Inexpensive Method of Capturing the Fine Scale Detail of Human Faces using Four Point Lights |
| 2009 | HICSS | A Conceptual and Operational Definition of Social Role in Online Community |