• Sign in
  • Sign up
conf.researchr.org / Jessica Shi
  • ICFP 2023 profile
  • ICFP/SPLASH 2025 profile
  • POPL 2024 profile
Jessica Shi

Registered user since Wed 28 Jun 2023

Name:Jessica Shi
Affiliation:University of Pennsylvania
Personal website: https://jwshii.github.io/

Contributions

2025

SPLASH

  • Author of QED in Context: An Observation Study of Proof Assistant Users within the OOPSLA-track

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
Share
xTue 28 Oct 07:20
using conf.researchr.org (v1.72.1)
Support page
Sign Up