
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