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 x80.org - Homepage
Title
Cited by
Cited by
Year
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
712015
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
482014
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
432014
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
292016
Implementing an electronic medical record system: successes, failures, lessons
T Scott, T Rundall, T Vogt, J Hsu
Radcliffe Publishing, 2007
212007
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
182014
for Mechanism Design and Differential Privacy
G Barthe, M Gaboardi, EJG Arias, J Hsu, A Roth, PY Strub, HOARR Types
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
172015
SerAPI: Machine-friendly, data-centric serialization for Coq
EJG Arias
132016
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
122013
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
72018
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
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
42005
Impulse-Response and CAD-Model-Based Physical Modeling in Faust
PA Grumiaux, R Michon, EJG Arias, P Jouvelot
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
The system can't perform the operation now. Try again later.
Articles 1–20