![James R. Wilcox](https://pldi23.sigplan.org/getProfileImage/jamesrwilcox/71aeeb5e-dff2-4db4-b80e-9f93da92afeb/small.jpg?1711477927000)
Registered user since Tue 26 May 2015
Name:James R. Wilcox
Bio:
I am an assistant teaching professor in the Paul G. Allen School of Computer Science & Engineering at the University of Washington. My research interests are in programming languages and applications of PL techniques to systems.
Country:United States
Affiliation:University of Washington, Seattle
Personal website: https://jamesrwilcox.com
X (Twitter): https://x.com/wilcoxjay
Research interests:Programming Languages, Verification
Contributions
PLDI 2023-profile
View general profile
View general profile