Jessica Shi -

Registered user since Wed 28 Jun 2023

Name:Jessica Shi

Affiliation:University of Pennsylvania

Personal website: https://jwshi21.github.io/

Contributions

2024

POPL

Author of Internalizing Indistinguishability with Dependent Types within the POPL-track

2023

ICFP

Author of Etna: An Evaluation Platform for Property-Based Testing (Experience Report) within the Artifact Evaluation-track
Author of Etna: An Evaluation Platform for Property-Based Testing (Experience Report) within the ICFP Papers and Events-track