Mehdi Bouaziz (joint work with Andrey Chudnov and David Naumann)

A symbolic evaluator for Javascript

End of internship talk, Stevens Institute of Technology, Hoboken, NJ, USA. February 25, 2011

Last update: November 23, 2013