341 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Institut national de recherche en sciences et technologies du numériqueFR5 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Sorbonne UniversitéFR3 papers
- CERMICSFR2 papers
- École Normale Supérieure - PSLFR2 papers
- Université Paris CitéFR2 papers
- University of PennsylvaniaUS2 papers
- Assistance Publique – Hôpitaux de ParisFR1 paper
- Carnegie Mellon UniversityUS1 paper
- Central European University - Budapest Campus1 paper
- Centre Inria de SaclayFR1 paper
- Centre Interdisciplinaire de Recherche en BiologieFR1 paper
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2018★ 60 cited
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
Carmine Abate, Roberto Blanco, Deepak Garg +3
(CROPPED TO FIT IN ARXIV'S SILLY LIMIT. SEE PDF FOR COMPLETE ABSTRACT.) We are the first to thoroughly explore a large space of formal secure compilation criteria based on robust p…
cs.PL2017
FabULous Interoperability for ML and a Linear Language
Gabriel Scherer, Max New, Nick Rioux +1
Instead of a monolithic programming language trying to cover all features of interest, some programming systems are designed by combining together simpler languages that cooperate…