Concepedia

Emilio Jesús Gallego Arias

EJ

Statistics

Publications

6

Citations

162

H-Index

6

Active since

2013

Affiliations

University of Pennsylvania(Current)

University of Dundee

IMDEA Software Institute

California University of Pennsylvania

Centre de Recherche en Informatique

Emilio Jesús Gallego Arias is an author at University of Pennsylvania specializing in computing, computer science, and differential privacy.

Publications per year

2013–2017

6

Publications

6

Proving Differential Privacy in Hoare Logic

Gilles Barthe, Emilio Jesús Gallego Arias, Justin Hsu et al. · 2014 · 61 citations · Full text

Computing, Computer Science, Computer Security +12

Really Natural Linear Indexed Type Checking

Arthur Azevedo de Amorim, Emilio Jesús Gallego Arias, Justin Hsu · 2014 · 28 citations · Full text

Computing, Computer Science, Formal Methods +13

Dual Query: Practical Private Query Release for High Dimensional Data

Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth et al. · Journal of Privacy and Confidentiality · 2017 · 24 citations · Full text

Computing, Computer Science, Data Science +15

Sensitivity analysis using type-based constraints

Loris D’Antoni, Emilio Jesús Gallego Arias, Andreas Haeberlen et al. · 2013 · 19 citations

Computing, Computer Science, Algorithms +11

Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy

Gilles Barthe, Emilio Jesús Gallego Arias, Justin Hsu et al. · ACM SIGPLAN Notices · 2015 · 19 citations

Computing, Computer Science, Algorithms +14

1–5 of 6