A. Jhala, “Organizers”, AIIDE, vol. 8, no. 6, p. iii, Oct. 2012.