From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.4 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 9A81DBBC6 for ; Thu, 23 Apr 2009 01:18:15 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlUFAP9C70mACH+ThWdsb2JhbACNRgGIewEBAQoLCgUTqHyILohNg3QG X-IronPort-AV: E=Sophos;i="4.38,431,1233529200"; d="scan'208";a="28124772" Received: from server-nat-4.cs.umd.edu (HELO bakedbeans.cs.umd.edu) ([128.8.127.147]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 23 Apr 2009 01:18:11 +0200 X-CSD-MailScanner-Watermark: 1241047089.44533@qPY5MrbG0vbXUvFHSXwB1g Received: from circular.cs.umd.edu (circular.cs.umd.edu [128.8.128.176]) by bakedbeans.cs.umd.edu (8.13.1/8.14.1) with ESMTP id n3MNI92W021815 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Wed, 22 Apr 2009 19:18:09 -0400 Received: from loompa.cs.umd.edu (loompa.cs.umd.edu [128.8.128.63]) by circular.cs.umd.edu (8.13.1/8.14.1) with ESMTP id n3MNI9VE018977 for ; Wed, 22 Apr 2009 19:18:09 -0400 Received: from localhost (localhost [127.0.0.1]) by loompa.cs.umd.edu (8.13.8+Sun/8.14.1) with ESMTP id n3MNI8mV019362 for ; Wed, 22 Apr 2009 19:18:08 -0400 (EDT) Date: Wed, 22 Apr 2009 19:18:08 -0400 (EDT) From: Michael Furr X-X-Sender: furr@loompa To: caml-list@inria.fr Subject: [ANN] Diamondback Ruby - Program Analysis for Ruby Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.0 (bakedbeans.cs.umd.edu [172.24.3.39]); Wed, 22 Apr 2009 19:18:09 -0400 (EDT) X-Spam: no; 0.00; inference:01 idioms:01 run-time:01 ocaml:01 parser:01 cheers:01 tailored:98 typing:01 implemented:02 checking:02 static:03 library:03 discipline:03 profiling:04 separately:05 I am pleased to announce that the first public release of the Diamondback Ruby static type inference system is now available! http://www.cs.umd.edu/projects/PL/druby/ The Diamondback Ruby (DRuby) project aims add a typing discipline to Ruby that is simple for programmers to use, flexible enough to handle common idioms, that provides programmers with additional checking where they want it, and reverts to run-time checks where necessary. DRuby is implemented in OCaml and its type system is built on top of a more general framework for program analysis of Ruby programs. Our framework includes its own GLR parser (thanks to dypgen), a simplified intermediate language, pretty printers for emitting syntactically valid Ruby code, and a library for instrumenting and profiling Ruby executions. While the current release is tailored toward end-users of the type system, we plan to distribute the underlying analysis framework separately in the future. As such, I would like to invite anyone who is interested in exploring program analysis for Ruby to consider using DRuby. We have a mailing list setup on our website for general discussion and future release announcements. Cheers, Mike Furr