Emilio Jesús Gallego Arias

According to our database, Emilio Jesús Gallego Arias authored at least 22 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users.

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

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2021

The w-calculus: a synchronous framework for the verified modelling of digital signal processing algorithms.

Emilio Jesús Gallego Arias, Pierre Jouvelot, Sylvain Ribstein, Dorian Desblancs

Proceedings of the FARM 2021: Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, 2021

2020

mCoq: mutation analysis for Coq verification projects.

Kush Jain, Karl Palmskog, Ahmet Çelik, Emilio Jesús Gallego Arias, Milos Gligoric

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

2019

Towards Principled Compilation of Ethereum Smart Contracts (SoK).

Emilio Jesús Gallego Arias

Proceedings of the 10th IFIP International Conference on New Technologies, 2019

Mutation Analysis for Coq.

Ahmet Çelik, Karl Palmskog, Marinela Parovic, Emilio Jesús Gallego Arias, Milos Gligoric

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

Certified Graph View Maintenance with Regular Datalog.

Angela Bonifati, Stefania Dumbrava, Emilio Jesús Gallego Arias

Theory Pract. Log. Program., 2018

2017

Constraint logic programming with a relational machine.

Emilio Jesús Gallego Arias, James Lipton, Julio Mariño

Formal Aspects Comput., 2017

2016

Dual Query: Practical Private Query Release for High Dimensional Data.

Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Zhiwei Steven Wu

J. Priv. Confidentiality, 2016

jsCoq: Towards Hybrid Theorem Proving Interfaces.

Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot

Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, 2016

Computer-Aided Verification for Mechanism Design.

Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub

Proceedings of the Web and Internet Economics - 12th International Conference, 2016

Differentially Private Bayesian Programming.

Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

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

Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014

Declarative Compilation for Constraint Logic Programming.

Emilio Jesús Gallego Arias, James Lipton, Julio Mariño-Carballo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

Really Natural Linear Indexed Type Checking.

Arthur Azevedo de Amorim, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu

Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

Proving Differential Privacy in Hoare Logic.

Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

The Ciao clp(FD) Library. A Modular CLP Extension for Prolog

Emilio Jesús Gallego Arias, Rémy Haemmerlé, Manuel V. Hermenegildo, José F. Morales

CoRR, 2013

Sensitivity analysis using type-based constraints.

Loris D'Antoni, Marco Gaboardi, Emilio Jesús Gallego Arias, Andreas Haeberlen, Benjamin C. Pierce

Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, 2013

2012

Relational and Allegorical Semantics for Constraint Logic Programming.

Emilio Jesús Gallego Arias

PhD thesis, 2012

Logic Programming in Tabular Allegories.

Emilio Jesús Gallego Arias, James Lipton

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011

First-order unification using variable-free relational algebra.

Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira

Log. J. IGPL, 2011

2006

A Proposal for Disequality Constraints in Curry.

Emilio Jesús Gallego Arias, Julio Mariño-Carballo, José María Rey Poza

Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006

2005

An overview of the Sloth2005 curry system: system description.

Emilio Jesús Gallego Arias, Julio Mariño

Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, 2005