@@ -6,4 +6,4 @@ title: Julian Dolby from IBM visit to the group
...
@@ -6,4 +6,4 @@ title: Julian Dolby from IBM visit to the group
in New York visited the PSVG group for a week in December. Julian’s current research focuses on static program analysis, software testing and the semantic web.
in New York visited the PSVG group for a week in December. Julian’s current research focuses on static program analysis, software testing and the semantic web.
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.
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](https://github.com/juliandolby/rosette) Rosette is a solver-aided programming language that extends Racket with language constructs for program synthesis, verification, and more.
[ROSETTE](https://github.com/juliandolby/rosette) is a solver-aided programming language that extends Racket with language constructs for program synthesis, verification, and more.
