Emilio Jess Gallego Arias
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2012–2023
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ITP | Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. | Ana de Almeida Borges, Annal Casanueva Arts, Jean-Rmy Falleri, Emilio Jess Gallego Arias, rik Martin-Dorel, Karl Palmskog, Alexander Serebrenik, Tho Zimmermann |
| 2021 | ICFP | The w-calculus: a synchronous framework for the verified modelling of digital signal processing algorithms. | Emilio Jess Gallego Arias, Pierre Jouvelot, Sylvain Ribstein, Dorian Desblancs |
| 2020 | ICSE | mCoq: mutation analysis for Coq verification projects. | Kush Jain, Karl Palmskog, Ahmet elik, Emilio Jess Gallego Arias, Milos Gligoric |
| 2016 | CCS | Differentially Private Bayesian Programming. | Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jess Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub |
| 2015 | POPL | Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy. | Gilles Barthe, Marco Gaboardi, Emilio Jess Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub |
| 2014 | ICML | Dual Query: Practical Private Query Release for High Dimensional Data. | Marco Gaboardi, Emilio Jess Gallego Arias, Justin Hsu, Aaron Roth, Zhiwei Steven Wu |
| 2014 | LOPSTR | Declarative Compilation for Constraint Logic Programming. | Emilio Jess Gallego Arias, James Lipton, Julio Mario-Carballo |
| 2013 | ICFP | Sensitivity analysis using type-based constraints. | Loris D'Antoni, Marco Gaboardi, Emilio Jess Gallego Arias, Andreas Haeberlen, Benjamin C. Pierce |
| 2012 | ICLP | Logic Programming in Tabular Allegories. | Emilio Jess Gallego Arias, James Lipton |