Folgen
Gallego Arias, Emilio Jesús
Gallego Arias, Emilio Jesús
Starting Reseacher, Inria, Université de Paris, IRIF, CNRS, F-75013 Paris, France
Bestätigte E-Mail-Adresse bei x80.org - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1092014
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
1042015
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
622014
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
432016
jsCoq: Towards hybrid theorem proving interfaces
EJG Arias, B Pin, P Jouvelot
arXiv preprint arXiv:1701.07125, 2017
382017
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
312014
SerAPI: Machine-friendly, data-centric serialization for Coq
EJG Arias
252016
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
212013
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
202016
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
122018
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
Towards principled compilation of Ethereum smart contracts (SoK)
EJG Arias
2019 10th IFIP International Conference on New Technologies, Mobility and …, 2019
32019
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20