
Olivier Devillers:
Randomization yields simple O(n log star n) algorithms for difficult Omega(n) problems.
Ion Muslea:
SYNERGY: A Linear Planner Based on Genetic Programming.
James K. Huggins:
Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution.