Automatic and Sound Caching for Web Applications
Ur/Web is a specialized programming language for SQL-database-backed Web applications. Often, to maximize performance, programmers manually write code to cache results of common database queries, within the application. Mistakes in this code can introduce all sorts of zany bugs. The proposed project is to implement a compiler optimization that automatically finds and implements caching opportunities.
Contact Adam Chlipala at firstname.lastname@example.org for more information.