• 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

2022

PLDI

  • 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

2020

SPLASH

  • 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

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2019

POPL

  • Author of LWeb: Information Flow Security for Multi-Tier Web Applications within the Research Papers-track
Share
xFri 16 May 14:15
using conf.researchr.org (v1.69.0)
Support page
Sign Up