Sankha Narayan Guria -

Registered user since Thu 28 May 2015

Name:Sankha Narayan Guria

Country:United States

Affiliation:University of Maryland

Personal website:https://sankhs.com

Contributions

PLDI 2022	Author of (PLDI 2021) RbSyn: type- and effect-guided program synthesis within the SIGPLAN Track-track Author of ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification within the PLDI-track
PLDI 2021	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track Author of RbSyn: Type- and Effect-Guided Program Synthesis within the PLDI-track
PLDI 2020	Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
POPL 2020	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PLDI 2019	Author of Type-Level Computations for Ruby Libraries within the PLDI Research Papers-track
ECOOP 2015	Author of Transparent Object Proxies in JavaScript within the Artifacts-track