SJS: A Type System for JavaScript with Fixed Object Layout.

Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen

Browse the full SAS paper archive.