From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA13136 for caml-redistribution; Tue, 13 Oct 1998 16:08:07 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id IAA22135 for ; Tue, 13 Oct 1998 08:32:15 +0200 (MET DST) Received: from nenuphar.saclay.cea.fr (nenuphar.saclay.cea.fr [132.166.192.7]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id IAA28623 for ; Tue, 13 Oct 1998 08:32:13 +0200 (MET DST) Received: from orion.serma.cea.fr (orion.serma.cea.fr [132.166.151.161]) by nenuphar.saclay.cea.fr (8.9.1a/8.9.1/CEAnet-relay-5.0.0.1) with ESMTP id IAA04913; Tue, 13 Oct 1998 08:32:12 +0200 (MET DST) Received: (from basile@localhost) by orion.serma.cea.fr (8.8.8/8.8.7) id IAA18725; Tue, 13 Oct 1998 08:32:11 +0200 From: Basile STARYNKEVITCH MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <13858.62443.23960.240282@orion.serma.cea.fr> Date: Tue, 13 Oct 1998 08:32:11 +0200 (CEST) To: caml-list@inria.fr Subject: projects using Ocaml - summary X-Mailer: VM 6.61 under 20.4 "Emerald" XEmacs Lucid Content-Transfer-Encoding: 8bit Sender: weis Hello All, Here is a list I've got by people signaling me Ocaml use, after I asked in on this mailing list on september 24th 1998. I didn't add yet my organization, but the French state owned Atomic Energy Commission (Commissariat à l'Energie Atomique "http://www.cea.fr/") where I work is considering using Ocaml as a scripting and programming langage for numerical codes (in physics). This is *not* an official statement, only my personal belief. ################ english HTML ################
  • Dwight VandenBergheuses Ocaml in a financial system. He wrote me: It's a financial simulation system for actuaries, used to determine the valuation of life insurance companies. I used Ocaml for the compiler portion of the system, and C++ for the runtime engine, which has to be very fast
  • GeneWeb, Genealogical database software with Web interface (Daniel de RAUGLAUDRE, INRIA, France)
  • Coq, theorem provers for reasoning on programs (INRIA, France)
  • Odyssée, automatic differentiation of Fortran code (INRIA, France)
  • Caravan automatic parallelisation and analysis of sequential and data parallel programs (Pierre Boulet, Univ. Lille 1 et Versailles, France)
  • HOPS (program transformer, University of the Federal Armed Forces Munich, D-85577 Neubiberg, GERMANY)
  • Olabl is an Ocaml extension adding labeled and optional arguments to Ocaml functions, and polymorphiques variantes and methods (J.Garrigue, Univ. Kyoto, JAPON)
  • Ensemble is a toolkit for distributed processing (Mark Hayden, université Cornell, Etats-Unis)
  • sE - synchronousEifel, a tool for design and programming of embedded real-time reactive systems (Dr. Reinhard Budde, German National Research Center for Information Technology, ESPRIT projects SYRF et CRISYS, Germany)
  • Switchware Active Networking projects (Michael Hicks, Univ. of Pennsylvania, Etats-Unis): Active networks explore the idea of allowing routing elements to be extensively programmed by the packets passing through them. This allows computation previously possible only at endpoints to be carried out within the network itself, thus enabling optimizations and extensions of current protocols as well as the development of fundamentally new protocols.
  • network filtering (Joshua D. Guttman, Mitre Corporation, Boston, USA)
  • Ocaml as a scripting langage Ching-Tsun Chou (Intel Corp, Californie, USA)
  • Pict Pi-Calculus based exploratory languages (Univ. Pennsylvannie, USA)
  • network supervision Gilles FALCON France Telecom (division des réseaux nationaux).
  • bioinformatical software by Andrew Conway
  • Formal analysis of cryptographical protocols Stanford Research International, Computer Science Lab by David Monniaux.
  • .... etc

this list is very incomplete (and I'm still adding stuff to it) ################ end of english HTML ################ ################ french HTML ################

  • Dwight VandenBerghe a utilisé Ocaml dans un produit de simulation financière, il m'écrit: It's a financial simulation system for actuaries, used to determine the valuation of life insurance companies. I used Ocaml for the compiler portion of the system, and C++ for the runtime engine, which has to be very fast
  • GeneWeb, logiciel de généalogie avec interface Web (Daniel de RAUGLAUDRE, INRIA, France)
  • Coq, démonstrateur de théorème pour la preuve de programmes (INRIA, France)
  • Odyssée, differentiation automatique de programmes Fortran (INRIA, France)
  • Caravan parallélisation automatique et analyse de programmes séquentiels et data-parallèles (Pierre Boulet, Univ. Lille 1 et Versailles, France)
  • HOPS (transformateur de programme, University of the Federal Armed Forces Munich, D-85577 Neubiberg, GERMANY)
  • Olabl est une extension d'Ocaml ajoutant la possibilité d'arguments étiquettés ou optionnels aux fonctions d'Ocaml, ainsi que des variantes polymorphiques et des méthodes polymorphiques. (J.Garrigue, Univ. Kyoto, JAPON)
  • Ensemble est une boîte à outils pour le traitement distribué (Mark Hayden, université Cornell, Etats-Unis)
  • sE - synchronousEifel, outil pour la conception et la programmation de systèmes logiciels réactifs embarqués temps-réel (Dr. Reinhard Budde, German National Research Center for Information Technology, projets ESPRIT SYRF et CRISYS, Allemagne)
  • Switchware Active Networking projects (Michael Hicks, Univ. of Pennsylvania, Etats-Unis): Active networks explore the idea of allowing routing elements to be extensively programmed by the packets passing through them. This allows computation previously possible only at endpoints to be carried out within the network itself, thus enabling optimizations and extensions of current protocols as well as the development of fundamentally new protocols.
  • filtrage de réseaux (Joshua D. Guttman, Mitre Corporation, Boston, Etats-Unis)
  • Ocaml comme langage de script, Ching-Tsun Chou (Intel Corp, Californie, USA)
  • Pict langage expérimental basé sur le Pi-Calcul (Univ. Pennsylvannie, USA)
  • Supervision de réseaux Gilles FALCON France Telecom (division des réseaux nationaux).
  • programmes bioinformatiques par Andrew Conway
  • Analyse formelle de protocoles cryptographiques au Stanford Research International, Computer Science Lab par David Monniaux.
  • .... etc

Cette liste est très incomplète (en cours d'élaboration) ################ end of french HTML ################ N.B. Any opinions expressed here are onely mine, and not of my organization. N.B. Les opinions exprimees ici me sont personnelles et n engagent pas le CEA. --------------------------------------------------------------------- Basile STARYNKEVITCH ---- Commissariat à l Energie Atomique DRN/DMT/SYSCO * CEA/Saclay bat.460 * 91191 GIF/YVETTE CEDEX * France fax: (33) 1,69.08.96.96; phone: 1,69.08.40.66; home: 1,46.65.45.53 email: Basile point Starynkevitch at cea point fr I speak french, english, russian. Je parle français, anglais, russe.