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