Taxonomic Search: robert OR harper

Results 1 - 10 of 291



Visible to the public  ETAPS 2014
Apr 05, 2014 8:00 am - Apr 13, 2014 6:00 pm CEST

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.


Visible to the public Insights into Composability from Lablet Research


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.