Nombre de documents

9

CV de Emilio Jesús Gallego Arias


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>

Communication dans un congrès5 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. <hal-01425752>
  • 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>
  • 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>
  • 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>

Article dans une revue1 document

  • Emilio Jesús Gallego Arias, James Lipton, Julio Mariño y Carballo. 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>

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>