Travelled to:1 × China
1 × Hungary
1 × India
1 × USA
1 × United Kingdom
Collaborated with:J.Lipton M.Gaboardi J.Hsu A.Roth J.Mariño-Carballo A.A.d.Amorim Z.S.Wu A.Çelik K.Palmskog M.Parovic M.Gligoric G.Barthe P.Strub
Talks about:program (2) queri (2) logic (2) type (2) differenti (1) constraint (1) dimension (1) approxim (1) allegori (1) tabular (1)
Person: Emilio Jesús Gallego Arias
DBLP: Arias:Emilio_Jes=uacute=s_Gallego
Contributed to:
2015
2014
2014
2014
2012
2019Wrote 6 papers:
- POPL-2015-BartheGAHRS #approximate #design #difference #higher-order #privacy #refinement #relational
- Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy (GB, MG, EJGA, JH, AR, PYS), pp. 55–68.
- ICML-c2-2014-GaboardiAHRW #query
- Dual Query: Practical Private Query Release for High Dimensional Data (MG, EJGA, JH, AR, ZSW), pp. 1170–1178.
- IFL-2014-AmorimGAH #linear #type checking
- Really Natural Linear Indexed Type Checking (AAdA, MG, EJGA, JH), p. 5.
- LOPSTR-2014-AriasLM #compilation #constraints #declarative #logic programming
- Declarative Compilation for Constraint Logic Programming (EJGA, JL, JMC), pp. 299–316.
- ICLP-2012-AriasL #logic programming
- Logic Programming in Tabular Allegories (EJGA, JL), pp. 334–347.
- ASE-2019-CelikPPAG #analysis #coq #mutation testing
- Mutation Analysis for Coq (AÇ, KP, MP, EJGA, MG), pp. 539–551.