X-SAIGA – eXecutable SpecificAtIons of GrAmmars. Contains publications related to top-down parsing algorithm that supports left-recursion and ambiguity in polynomial time and space. Memoization in Scheme – A Scheme example of memoization on a class webpage. Memoization in Combinatory Logic – A web service to reduce Combinatory Logic while memoizing every step in a database. MbCache – Cache method results in .NET. Software optimization Computer performance