Registered user since Wed 2 May 2018
Name: Michael Peyton Jones
Affiliation: Semmle
Personal website: https://michaelpj.com
Research interests: Programming languages, Logic programming, Incremental programming, Datalog
Contributions
| PLDI 2018 | Presenter of Declarative Program Analysis with QL within the PLDI Tutorials-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2018-profile
View general profile
View general profile