
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 | Declarative Program Analysis with QL | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2018-profile
View general profile
View general profile