Alexis Agahi

Publication Activity (10 Years)

Years Active: 1998-2014
Publications (10 Years): 0

Top Topics

Program Synthesis

Top Venues

Publications

Roberto Di Cosmo, Michael Lienhardt, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski, Antoine Eiche, Alexis Agahi
Automated synthesis and deployment of cloud applications. ASE (2014)
Alexis Agahi, Robert D. Russell, Gil Utard
A High Performance Modular File System. HPCN Europe (1998)