Il y a 2 articles intéressants sur JavaScript qui ont été publiés à POPL 2012 :
"Towards a program logic for JavaScript" : http://www.doc.ic.ac.uk/~gds/TowardsProgramLogicJavaScriptPOPL2012.pdf
"Access permission contracts for scripting languages" : http://proglang.informatik.uni-freiburg.de/jscontest/popl-2012-tech.pdf
Marc