Gallego Arias, Emilio Jesús
Gallego Arias, Emilio Jesús
Starting Reseacher, Inria, Université de Paris, IRIF, CNRS, F-75013 Paris, France
Verified email at - Homepage
Cited by
Cited by
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
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
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
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
jsCoq: Towards hybrid theorem proving interfaces
EJG Arias, B Pin, P Jouvelot
arXiv preprint arXiv:1701.07125, 2017
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
SerAPI: Machine-friendly, data-centric serialization for Coq
EJG Arias
Computer-aided verification for mechanism design
G Barthe, M Gaboardi, EJG Arias, J Hsu, A Roth, PY Strub
Web and Internet Economics: 12th International Conference, WINE 2016 …, 2016
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
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
A proposal for disequality constraints in Curry
EJG Arias, JM Carballo, JMR Poza
Electronic Notes in Theoretical Computer Science 177, 269-285, 2007
Mutation analysis for coq
A Celik, K Palmskog, M Parovic, EJG Arias, M Gligoric
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
mCoq: mutation analysis for Coq verification projects
K Jain, K Palmskog, A Celik, EJG Arias, M Gligoric
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
Logic programming in tabular allegories
EJ Gallego Arias, J B Lipton
Technical Communications of the 28th International Conference on Logic …, 2012
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
Constraint logic programming with a relational machine
EJ Gallego Arias, J Lipton, J Mariño
Formal Aspects of Computing 29, 97-124, 2017
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
Type-based sensitivity analysis
L D’Antoni, M Gaboardi, EJG Arias, A Haeberlen, BC Pierce
Unpublished manuscript, 2013
Impulse-response and cad-model-based physical modeling in faust
PA Grumiaux, R Michon, EJG Arias, P Jouvelot
Linux Audio Conférence 2017, 151-153, 2017
Declarative compilation for constraint logic programming
EJG Arias, J Lipton, J Mariño
Logic-Based Program Synthesis and Transformation: 24th International …, 2015
The system can't perform the operation now. Try again later.
Articles 1–20