Obserwuj
Gallego Arias, Emilio Jesús
Gallego Arias, Emilio Jesús
Starting Reseacher, Inria, Université de Paris, IRIF, CNRS, F-75013 Paris, France
Zweryfikowany adres z x80.org - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
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
1192014
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
1122015
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
662014
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
452016
jsCoq: Towards hybrid theorem proving interfaces
EJG Arias, B Pin, P Jouvelot
arXiv preprint arXiv:1701.07125, 2017
442017
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
362014
SerAPI: Machine-friendly, data-centric serialization for Coq
EJG Arias
282016
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
232013
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
222016
A proposal for disequality constraints in Curry
EJG Arias, JM Carballo, JMR Poza
Electronic Notes in Theoretical Computer Science 177, 269-285, 2007
122007
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
112018
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
The w-calculus: a synchronous framework for the verified modelling of digital signal processing algorithms
EJ Gallego Arias, P Jouvelot, S Ribstein, D Desblancs
Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art …, 2021
32021
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20