James Parker -

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