Nombre de documents

11

CV de Jacques-Henri Jourdan


Communication dans un congrès6 documents

  • Jacques-Henri Jourdan. Statistically profiling memory in OCaml. OCaml 2016, Sep 2016, Nara, Japan. 2016, <https://ocaml.org/meetings/ocaml/2016/>. <hal-01406809>
  • Jacques-Henri Jourdan, Vincent Laporte, Sandrine Blazy, Xavier Leroy, David Pichardie. A formally-verified C static analyzer. POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2015, Mumbai, India. ACM, pp.247-259, <10.1145/2676726.2676966>. <hal-01078386>
  • Sylvie Boldo, Jacques-Henri Jourdan, Xavier Leroy, Guillaume Melquiond. A Formally-Verified C Compiler Supporting Floating-Point Arithmetic. Alberto Nannarelli and Peter-Michael Seidel and Ping Tak Peter Tang. Arith - 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, United States. IEEE, pp.107-115, 2013. <hal-00743090v2>
  • Thomas Braibant, Jacques-Henri Jourdan, David Monniaux. Implementing hash-consed structures in Coq. Sandrine Blazy and Christine Paulin-Mohring and David Pichardie. Interactive Theorem Proving, 4th international conference, Jul 2013, Rennes, France. Springer, 7998, pp.477-483, 2013, Lecture notes in computer science. <10.1007/978-3-642-39634-2_36>. <hal-00816672>
  • Jacques-Henri Jourdan, François Pottier, Xavier Leroy. Validating LR(1) Parsers. ESOP 2012 - Programming Languages and Systems - 21st European Symposium on Programming, Mar 2012, Tallinn, Estonia. Springer, 7211, pp.397-416, Lecture Notes in Computer Science. <10.1007/978-3-642-28869-2_20>. <hal-01077321>
  • Sébastien Briais, Stéphane Caron, Jean-Michel Cioranesco, Jean-Luc Danger, Sylvain Guilley, et al.. 3D Hardware Canaries. Emmanuel Prouff; Patrick Schaumont. CHES 2012 - 14th International Workshop Cryptographic Hardware and Embedded Systems, Sep 2012, Leuven, Belgium. Springer, 7428, pp.1-22, 2012, LNCS - Lecture Notes in Computer Science. <10.1007/978-3-642-33027-8_1>. <hal-01111533>

Article dans une revue4 documents

  • Marie-Karelle Riviere, Jacques-Henri Jourdan, Sarah Zohar. dfcomb: An R-package for phase I/II trials of drug combinations. Computer Methods and Programs in Biomedicine, Elsevier, 2016, 125, pp.117-133. <10.1016/j.cmpb.2015.10.018>. <hal-01297367>
  • Marie-Karelle Riviere, Ying Yuan, Jacques-Henri Jourdan, Frédéric Dubois, Sarah Zohar. Phase I/II dose-finding design for molecularly targeted agent: Plateau determination using adaptive randomization. Statistical Methods in Medical Research, SAGE Publications, 2016, <10.1177/0962280216631763>. <hal-01298681>
  • Sylvie Boldo, Jacques-Henri Jourdan, Xavier Leroy, Guillaume Melquiond. Verified Compilation of Floating-Point Computations. Journal of Automated Reasoning, Springer Verlag, 2015, 54 (2), pp.135-163. <10.1007/s10817-014-9317-x>. <hal-00862689v3>
  • Thomas Braibant, Jacques-Henri Jourdan, David Monniaux. Implementing and reasoning about hash-consed data structures in Coq. Journal of Automated Reasoning, Springer Verlag, 2014, 53 (3), pp.271-304. <10.1007/s10817-014-9306-0>. <hal-00881085v4>

Thèse1 document

  • Jacques-Henri Jourdan. Verasco: a Formally Verified C Static Analyzer. Programming Languages [cs.PL]. Universite Paris Diderot-Paris VII, 2016. English. <tel-01327023>