Resource Aware ML (RaML) is a tool that automatically and statically computes resource-use bounds for OCaml programs. / Mon, 15 Jun 2020 14:12:50 +0000 Mon, 15 Jun 2020 14:12:50 +0000 Jekyll v3.8.6 <p> RaML 1.5.0 is now available. The main change compared to the previous release is support for inferring bounds on the expected resource usage of probabilistic programs.</p> <p>Use the following... Sun, 14 Jun 2020 00:00:00 +0000 /release/2020/06/14/release-1.5.html /release/2020/06/14/release-1.5.html release <p>RaML is now able to derive bounds on the expected cost of probabilistic programs. Check out our paper <a href="https://www.cs.cmu.edu/~janh/assets/pdf/WangKH20.pdf">Raising Expectations: Automating Expected Cost Analysis with Types</a>.</p> Tue, 09 Jun 2020 00:00:00 +0000 /news/2020/06/09/prob-paper.html /news/2020/06/09/prob-paper.html news <p>Our paper on <a href="https://www.cs.cmu.edu/~janh/assets/pdf/KahnH19.pdf">Exponential Automatic Amortized Resource Analysis</a> has been accepted to <a href="https://www.etaps.org/2020/fossacs">FOSSACS 2020</a>.</p> Sun, 01 Dec 2019 00:00:00 +0000 /news/2019/12/01/exp-paper.html /news/2019/12/01/exp-paper.html news <p>Use the following link to download a tar archive of the RaML 1.4.2 source code.</p> <p><a href="/assets/raml/releases/raml-1.4.2.tar.gz">raml-1.4.2.tar.gz</a> </p> <p> To compile and run RaML 1.4.2 you need the following software.... Wed, 19 Dec 2018 00:00:00 +0000 /release/2018/12/19/release-1.4.html /release/2018/12/19/release-1.4.html release <p>Use the following link to download a tar archive of the RaML 1.3.1 source code.</p> <p><a href="/assets/raml/releases/raml-1.3.1.tar.gz">raml-1.3.1.tar.gz</a> </p> <p> To compile and run RaML 1.3.1 you need the following software.... Tue, 26 Sep 2017 00:00:00 +0000 /release/2017/09/26/release-1.3.html /release/2017/09/26/release-1.3.html release <p>Use the following link to download a tar archive of the RaML 1.1 source code.</p> <p><a href="/assets/raml/releases/raml-1.1.tar.gz">raml-1.1.tar.gz</a> </p> <p> To compile and run RaML 1.1 you need the following software.... Sat, 05 Nov 2016 00:00:00 +0000 /release/2016/11/05/release-1.1.html /release/2016/11/05/release-1.1.html release <p>Use the following link to download a tar archive of the RaML 1.0 source code.</p> <p><a href="/assets/raml/releases/raml-1.0.tar.gz">raml-1.0.tar.gz</a> </p> <p> To compile and run RaML 1.0 you need the following software.... Sat, 12 Sep 2015 19:34:30 +0000 /release/2015/09/12/release-1.0.html /release/2015/09/12/release-1.0.html release