Nombre de documents

11

CV de Emilio Jesús Gallego Arias


Communication dans un congrès7 documents

  • Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot. jsCoq: Towards Hybrid Theorem Proving Interfaces. 12th International Workshop on User Interfaces for Theorem Provers (UITP '16), Jul 2016, Coimbra, Portugal. pp.15-27, Electronic Proceedings in Theoretical Computer Science (EPTCS) 239. <10.4204/EPTCS.239.2>. <hal-01425752v2>
  • Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, et al.. Differentially Private Bayesian Programming. The 23rd ACM Conference on Computer and Communications Security, Oct 2016, Vienne, Austria. pp.68-79 2016, Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. <10.1145/2976749.2978371>. <hal-01446970>
  • Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, et al.. Computer-Aided Verification for Mechanism Design. The 12th Conference on Web and Internet Economics (WINE 2016), Dec 2016, Montreal, Canada. Springer, Volume 10123, pp.279 - 293, 2016, Lecture Notes in Computer Science. <10.1007/978-3-662-54110-4_20>. <hal-01446918>
  • Emilio Jesús Gallego Arias, Pierre Jouvelot. Adventures in the (not so) Complex Space . The 7th Coq Workshop, Jun 2015, Sophia Antipolis, France. <https://coq.inria.fr/coq-workshop/2015>. <hal-01251147>
  • Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot. A Taste of Sound Reasoning in Faust. The Linux Audio Conference (LAC 2015) , Apr 2015, Mainz, Germany. <http://lac.linuxaudio.org/2015/>. <hal-01251069>
  • Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot. Verification of Faust Signal Processing Programs in COQ. The 1st International Workshop on Coq for PL (Co-located with POPL), Jan 2015, Mumbai, India. <hal-01108173>
  • Loris D'Antoni, Marco Gaboardi, Emilio Jesús Gallego Arias, Andreas Haeberlen, Benjamin Pierce. Sensitivity analysis using type-based constraints. FPCDSL - 1st annual workshop on Functional programming concepts in domain-specific languages - 2013, 2013, Boston, BA, USA, United States. ACM, pp.43--50, 2013, Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages. <10.1145/2505351.2505353>. <hal-00909341>

Pré-publication, Document de travail2 documents

  • Emilio Jesús Gallego Arias. SerAPI: Machine-Friendly, Data-Centric Serialization for COQ: Technical Report. 2016. <hal-01384408>
  • Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot. Bringing Theorem Proving to the (sonic) Masses. 2015. <hal-01254456>

Rapport1 document

  • Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, et al.. Computer-aided Verification in Mechanism Design. [Research Report] MINES ParisTech. 2015. <hal-01260071>

Article dans une revue1 document

  • Emilio Jesús Gallego Arias, Julio Mariño y Carballo, James Lipton. Constraint logic programming with a relational machine. Formal Aspects of Computing, Springer Verlag, 2016, 29 (Issue 1), pp.97-124. <10.1007/s00165-016-0369-z>. <hal-01433373>