Resource Aware ML
  • About
  • Web Interface
  • Publications
  • Source Code

Posts in "News"

  • Paper on Expected Cost Bounds - June 9, 2020
  • Paper on Exponential Bounds - December 1, 2019

Resource Aware ML

Site Map

  • About
  • Web Interface
  • Publications
  • Source Code

Contact

  • jhoffmann@cmu.edu
  • hoffjan
  • hoffjan

Subscribe via RSS

Resource Aware ML (RaML) is a tool that automatically and statically computes resource-use bounds for OCaml programs.