This page chronicles and archives efforts to
Concrete Types for TypeScript
As our first foray into TypeScript, our ECOOP 2015 paper Concrete Types for TypeScript describes language extensions which allow safe static typing in TypeScript, a system which previously had only unsound types.
More information on the system, StrongScript, can be found at its homepage.
As a followup to our study of the uses of eval, we have created a tool that profiles the dynamic usage of eval on any website, and suggests a replacement through a patch. The tool utilizes the JSBench framework.
- Evalorizer sources (2012-04-16)
- JSBench paper in OOPSLA 2011
- A public suite of JSBench-generated benchmarks is available.
Use of Eval
We are currently working on creating a tool that will allow web developers to check if eval on their sites is really needed, and if not, provide alternative solutions.
- The tracing infrastructure and tools
- The generated trace database
- The collected traces (as this file is extremely large, we ask that you spare our bandwidth by not downloading it unless you need it; the database above contains most of the information, albeit already processed)
- The generated charts, web-browsable, for all sites
- The generated charts, single tar.bz2, for all sites
This work is sponsored by a Microsoft Research SEIF award, a fellowship from Mozilla Corporation, and Google.