Gallego Arias, Emilio Jesús
Gallego Arias, Emilio Jesús
Starting Reseacher, Inria, Université de Paris, IRIF, CNRS, F-75013 Paris, France
Vahvistettu sähköpostiosoite verkkotunnuksessa x80.org - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Higher-order approximate relational refinement types for mechanism design and differential privacy
G Barthe, M Gaboardi, EJ Gallego Arias, J Hsu, A Roth, PY Strub
ACM SIGPLAN Notices 50 (1), 55-68, 2015
722015
Dual query: Practical private query release for high dimensional data
M Gaboardi, EJG Arias, J Hsu, A Roth, ZS Wu
International Conference on Machine Learning, 1170-1178, 2014
512014
Proving differential privacy in Hoare logic
G Barthe, M Gaboardi, EJG Arias, J Hsu, C Kunz, PY Strub
2014 IEEE 27th Computer Security Foundations Symposium, 411-424, 2014
442014
Differentially private bayesian programming
G Barthe, GP Farina, M Gaboardi, EJG Arias, A Gordon, J Hsu, PY Strub
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
282016
Implementing an electronic medical record system: successes, failures, lessons
T Scott, T Rundall, T Vogt, J Hsu
Radcliffe Publishing, 2007
222007
Really Natural Linear Indexed Type Checking
AA De Amorim, M Gaboardi, EJ Gallego Arias, J Hsu
Proceedings of the 26nd 2014 International Symposium on Implementation and …, 2014
202014
SerAPI: Machine-friendly, data-centric serialization for Coq
EJG Arias
preprint. Oct, 2016
142016
Sensitivity analysis using type-based constraints
L d'Antoni, M Gaboardi, EJ Gallego Arias, A Haeberlen, B Pierce
Proceedings of the 1st annual workshop on Functional programming concepts in …, 2013
132013
jsCoq: Towards hybrid theorem proving interfaces
EJG Arias, B Pin, P Jouvelot
arXiv preprint arXiv:1701.07125, 2017
112017
Computer-aided verification for mechanism design
G Barthe, M Gaboardi, EJG Arias, J Hsu, A Roth, PY Strub
International Conference on Web and Internet Economics, 279-293, 2016
112016
A proposal for disequality constraints in curry
EJG Arias, JM Carballo, JMR Poza
Electronic Notes in Theoretical Computer Science 177, 269-285, 2007
112007
Certified graph view maintenance with regular datalog
A Bonifati, S Dumbrava, EJG Arias
Theory and Practice of Logic Programming 18 (3-4), 372-389, 2018
82018
Mutation analysis for coq
A Celik, K Palmskog, M Parovic, EJG Arias, M Gligoric
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
52019
First-order unification using variable-free relational algebra
EJG Arias, J Lipton, J Mariño, P Nogueira
Logic Journal of the IGPL 19 (6), 790-820, 2011
52011
Constraint logic programming with a relational machine
EJG Arias, J Lipton, J Mariño
Formal Aspects of Computing 29 (1), 97-124, 2017
42017
Logic programming in tabular allegories
EJ Gallego Arias, J B Lipton
Technical Communications of the 28th International Conference on Logic …, 2012
42012
Type-based sensitivity analysis
L D’Antoni, M Gaboardi, EJG Arias, A Haeberlen, BC Pierce
Unpublished manuscript, 2013
32013
An overview of the Sloth2005 Curry system: system description
EJ Gallego Arias, J Marino
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic …, 2005
32005
Impulse-response and cad-model-based physical modeling in faust
PA Grumiaux, R Michon, EG Arias, P Jouvelot
Proceedings of the Linux Audio Conference (LAC-17), Saint-Etienne, France, 18-21, 2017
22017
Declarative compilation for constraint logic programming
EJG Arias, J Lipton, J Mariño
International Symposium on Logic-Based Program Synthesis and Transformation …, 2014
22014
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20