Emilio Jesús Gallego Arias

33 papers A* 4A 1B 1C 1Journal 14Unranked 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users.
J. Autom. Reason.
Ana de Almeida Borges, Annalí Casanueva Artís, Jean-Rémy Falleri, Emilio Jesús Gallego Arias, Érik Martin-Dorel, Karl Palmskog, Alexander Serebrenik, Théo Zimmermann
2025 J jnl
MiniF2F in Rocq: Automatic Translation Between Proof Assistants - A Case Study.
CoRR
Jules Viennot, Guillaume Baudart, Emilio Jesús Gallego Arias, Marc Lelarge
2023 B conf
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users.
ITP
Ana de Almeida Borges, Annalí Casanueva Artís, Jean-Rémy Falleri, Emilio Jesús Gallego Arias, Érik Martin-Dorel, Karl Palmskog, Alexander Serebrenik, Théo Zimmermann
2021 — conf
The w-calculus: a synchronous framework for the verified modelling of digital signal processing algorithms.
FARM@ICFP
Emilio Jesús Gallego Arias, Pierre Jouvelot, Sylvain Ribstein, Dorian Desblancs
2020 — conf
mCoq: mutation analysis for Coq verification projects.
ICSE (Companion Volume)
Kush Jain, Karl Palmskog, Ahmet Çelik, Emilio Jesús Gallego Arias, Milos Gligoric
2019 A* conf
Mutation Analysis for Coq.
ASE
Ahmet Çelik, Karl Palmskog, Marinela Parovic, Emilio Jesús Gallego Arias, Milos Gligoric
2019 — conf
Towards Principled Compilation of Ethereum Smart Contracts (SoK).
NTMS
Emilio Jesús Gallego Arias
2018 J jnl
Certified Graph View Maintenance with Regular Datalog.
CoRR
Angela Bonifati, Stefania Dumbrava, Emilio Jesús Gallego Arias
2018 J jnl
Certified Graph View Maintenance with Regular Datalog.
Theory Pract. Log. Program.
Angela Bonifati, Stefania Dumbrava, Emilio Jesús Gallego Arias
2017 J jnl
Constraint logic programming with a relational machine.
Formal Aspects Comput.
Emilio Jesús Gallego Arias, James Lipton, Julio Mariño
2016 — conf
Computer-Aided Verification for Mechanism Design.
WINE
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub
2016 A* conf
Differentially Private Bayesian Programming.
CCS
Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub
2016 J jnl
Differentially Private Bayesian Programming.
CoRR
Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub
2016 J jnl
Dual Query: Practical Private Query Release for High Dimensional Data.
J. Priv. Confidentiality
Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Zhiwei Steven Wu
2016 — conf
jsCoq: Towards Hybrid Theorem Proving Interfaces.
UITP
Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot
2015 J jnl
Computer-aided verification in mechanism design.
CoRR
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub
2015 A* conf
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy.
POPL
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub
2015 J jnl
Really Natural Linear Indexed Type Checking.
CoRR
Arthur Azevedo de Amorim, Emilio Jesús Gallego Arias, Marco Gaboardi, Justin Hsu
2014 C conf
Declarative Compilation for Constraint Logic Programming.
LOPSTR
Emilio Jesús Gallego Arias, James Lipton, Julio Mariño-Carballo
2014 A* conf
Dual Query: Practical Private Query Release for High Dimensional Data.
ICML
Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Zhiwei Steven Wu
2014 J jnl
Dual Query: Practical Private Query Release for High Dimensional Data.
CoRR
Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Zhiwei Steven Wu
2014 J jnl
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy.
CoRR
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub
2014 A conf
Proving Differential Privacy in Hoare Logic.
CSF
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub
2014 J jnl
Proving differential privacy in Hoare logic.
CoRR
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub
2014 — conf
Really Natural Linear Indexed Type Checking.
IFL
Arthur Azevedo de Amorim, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu
2013 — conf
Sensitivity analysis using type-based constraints.
FPCDSL@ICFP
Loris D'Antoni, Marco Gaboardi, Emilio Jesús Gallego Arias, Andreas Haeberlen, Benjamin C. Pierce
2013 J jnl
The Ciao clp(FD) Library. A Modular CLP Extension for Prolog
CoRR
Emilio Jesús Gallego Arias, Rémy Haemmerlé, Manuel V. Hermenegildo, José F. Morales
2012 — conf
Logic Programming in Tabular Allegories.
ICLP (Technical Communications)
Emilio Jesús Gallego Arias, James Lipton
2012 — —
Relational and Allegorical Semantics for Constraint Logic Programming.
Emilio Jesús Gallego Arias
2011 J jnl
First-order unification using variable-free relational algebra.
Log. J. IGPL
Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira
2008 — conf
First-order unification using variable-free relational algebra.
UNIF
Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira
2006 — conf
A Proposal for Disequality Constraints in Curry.
WFLP
Emilio Jesús Gallego Arias, Julio Mariño-Carballo, José María Rey Poza
2005 — conf
An overview of the Sloth2005 curry system: system description.
WCFLP
Emilio Jesús Gallego Arias, Julio Mariño