Sumith Kulal

Learn More
SymPy is an open source computer algebra system written in pure Python. It 9 is built with a focus on extensibility and ease of use, through both interactive and programmatic 10 applications. These characteristics have led SymPy to become the standard symbolic library for 11 the scientific Python ecosystem. This paper presents the architecture of SymPy, a(More)
We present a new approach for specifying and verifying resource utilization of higher-order functional programs that use lazy evaluation and memoization. In our approach, users can specify the desired resource bound as templates with numerical holes e.g. as steps ≤ ? * size(l) + ? in the contracts of functions. They can also express invariants(More)
We present a new approach for specifying and verifying resource utilization of higher-order functional programs that use lazy evaluation and memoization. In our approach, users can specify the desired resource bound as templates with numerical holes e.g. as steps ≤ ? ∗ size(l) + ? in the contracts of functions, as well as express invariants necessary for(More)
  • 1