Taxonomic Search: robert OR harper
Results 1 - 10 of 258
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science.
ETAPS, established in 1998, is a confederation of six main annual conferences (CC, ESOP, FASE, FoSSaCS, POST and TACAS) accompanied by satellite workshops and other events.
The seventeenth edition, ETAPS 2014, will take place in Grenoble, France.
This is the first time that ETAPS returns to a city where it has already been. ETAPS 2002 was also held here.
Insights into Composability from Lablet Research
Jonathan Aldrich, William L. Scherlis, Anupam Datta, David Garlan, Bradley Schmerl, Joshua Sunshine, Christian Kaestner, Andre Platzer , Limin Jia, Robert Harper, Travis Breaux, Witawas Srisa-an, and Arbob Ahman, Carnegie Mellon University.