Parallel JavaScript Strawman, formal specification, workloads and examples