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

Paper on Exponential Bounds

by Jan Hoffmann

December 1, 2019
in News

Our paper on Exponential Automatic Amortized Resource Analysis has been accepted to FOSSACS 2020.

Subscribe via RSS

Share:

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.