• Sign in
  • Sign up
conf.researchr.org / James Parker
  • PLDI 2022 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • SPLASH 2020 profile

Registered user since Tue 22 Jan 2019

Name:James Parker
Affiliation:University of Maryland at College Park

Contributions

PLDI 2022 Author of ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification within the PLDI-track
Author of (OOPSLA 2020) Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the SIGPLAN Track-track
SPLASH 2020 Author of Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the OOPSLA-track
Author of Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the OOPSLA Artifacts-track
POPL 2020 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
POPL 2019 Author of LWeb: Information Flow Security for Multi-Tier Web Applications within the Research Papers-track

Share
xTue 17 May 00:57
using conf.researchr.org (v1.55.6)
Support page
Sign Up