Skip to content
Snippets Groups Projects
Commit 691dc1bb authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update 2016-12-15-Dolby.md

parent a748417c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
_posts/2016-12-15-Dolby.md
+ 1
− 1
View file @ 691dc1bb
...@@ -6,7 +6,7 @@ title: Visit from Julian Dolby, IBM ...@@ -6,7 +6,7 @@ title: Visit from Julian Dolby, IBM
in New York visited the PSVG group for a week in December. Julian’s research focuses on static program analysis, in New York visited the PSVG 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 software testing and the semantic web and during his visit, Julian worked with José Fragoso and Petar Maksimovic
in a [symbolic analysis for JavaScript](https://psvg.doc.ic.ac.uk/research/javascript.html) in a [symbolic analysis for JavaScript](https://psvg.doc.ic.ac.uk/research/javascript.html)
based on JSIL and Rosette with the end goal of having a bug-finding tool for JavaScript. based on JSIL and Rosette with the end goal of having a [bug-finding tool for JavaScript]((/images/posts/ CSR-Conference-poster-JavaScript.pdf).
[ROSETTE]( https://github.com/juliandolby/rosette) is a solver-aided programming language [ROSETTE]( https://github.com/juliandolby/rosette) is a solver-aided programming language
that extends Racket with language constructs for program synthesis, verification, and more. that extends Racket with language constructs for program synthesis, verification, and more.
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment