We stand with Ukraine  

Jessica Shi

Orcid: 0000-0002-1507-1122

Affiliations:
  • University of Pennsylvania, Philadelphia, PA, USA


According to our database1, Jessica Shi authored at least 2 papers between 2023 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Internalizing Indistinguishability with Dependent Types.
[BibTeX]
[DOI]
Yiyun Liu
,
Jonathan Chan
,
Jessica Shi
,
Stephanie Weirich
Proc. ACM Program. Lang., January, 2024

2023
Etna: An Evaluation Platform for Property-Based Testing (Experience Report).
[BibTeX]
[DOI]
Jessica Shi
,
Alperen Keles
,
Harrison Goldstein
,
Benjamin C. Pierce
,
Leonidas Lampropoulos
Proc. ACM Program. Lang., August, 2023


  Loading...