Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • fix-bibtex-unicode-filter
  • dataspy-hacking
3 results
Blame Permalink
Forked from Verified Software / psvg.doc.ic.ac.uk
175 commits behind the upstream repository.
2016-12-15-Dolby.md 837 B 
title: Visit from Julian Dolby, IBM

Julian Dolby, a researcher at IBM's Thomas J. Watson Research Center in New York visited the VTSS group for a week in December.

Julian’s research focuses on static program analysis, software testing and the semantic web and during his visit, Julian worked with José Fragoso and Petar Maksimovic in a symbolic analysis for JavaScript based on JSIL and Rosette with the end goal of having a bug-finding tool for JavaScript.

ROSETTE is a solver-aided programming language that extends Racket with language constructs for program synthesis, verification, and more.