Follow
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
1032015
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
992014
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
632014
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
412016
jsCoq: Towards hybrid theorem proving interfaces
EJG Arias, B Pin, P Jouvelot
arXiv preprint arXiv:1701.07125, 2017
332017
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
282014
SerAPI: Machine-friendly, data-centric serialization for Coq
EJG Arias
222016
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
202013
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
192016
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
132018
A proposal for disequality constraints in Curry
EJG Arias, JM Carballo, JMR Poza
Electronic Notes in Theoretical Computer Science 177, 269-285, 2007
122007
Mutation analysis for Coq
A Celik, K Palmskog, M Parovic, EJG Arias, M Gligoric
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
102019
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
72020
Logic programming in tabular allegories
EJ Gallego Arias, J B Lipton
Technical Communications of the 28th International Conference on Logic …, 2012
72012
Constraint logic programming with a relational machine
EJ Gallego Arias, J Lipton, J Mariño
Formal Aspects of Computing 29, 97-124, 2017
62017
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
62011
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
Declarative compilation for constraint logic programming
EJG Arias, J Lipton, J Mariño
Logic-Based Program Synthesis and Transformation: 24th International …, 2015
32015
Type-based sensitivity analysis
L D’Antoni, M Gaboardi, EJG Arias, A Haeberlen, BC Pierce
Unpublished manuscript, 2013
32013
Towards principled compilation of Ethereum smart contracts (SoK)
EJG Arias
2019 10th IFIP International Conference on New Technologies, Mobility and …, 2019
22019
The system can't perform the operation now. Try again later.
Articles 1–20