Shi, Jessica
1374  results:
Search for persons X
?
1

Internalizing Indistinguishability with Dependent Types:

Liu, Yiyun ; Chan, Jonathan ; Shi, Jessica.
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 1298-1325 , 2024
 
?
2

Development and external validation of tools for categorizi..:

Malecki, Sarah L. ; Loffler, Anne ; Tamming, Daniel...
International Journal of Medical Informatics.  189 (2024)  - p. 105508 , 2024
 
?
3

Theoretically and Practically Efficient Parallel Nucleus De..:

, In: Proceedings of the 2023 ACM Workshop on Highlights of Parallel Computing,
 
?
5

Etna: An Evaluation Platform for Property-Based Testing (Ex..:

Shi, Jessica ; Keles, Alperen ; Goldstein, Harrison..
Proceedings of the ACM on Programming Languages.  7 (2023)  ICFP - p. 878-894 , 2023
 
?
8

Differential Privacy from Locally Adjustable Graph Algorith..:

, In: 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS),
 
?
9

Parallel Batch-Dynamic Algorithms for k-Core Decomposition ..:

, In: Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures,
Liu, Quanquan C. ; Shi, Jessica ; Yu, Shangdi.. - p. 191-204 , 2022
 
?
11

NIMG-71. REAL-WORLD ASSESSMENT OF IDH1 INHIBITOR IVOSIDENIB..:

Puri, Sushant ; Shi, Jessica ; Blair, Lindsay...
Neuro-Oncology.  24 (2022)  Supplement_7 - p. vii181-vii181 , 2022
 
?
12

Parallel Five-cycle Counting Algorithms:

Shi, Jessica ; Huang, Louisa Ruixue ; Shun, Julian
ACM Journal of Experimental Algorithmics.  27 (2022)  - p. 1-23 , 2022
 
?
13

Scalable community detection via parallel correlation clust..:

Shi, Jessica ; Dhulipala, Laxman ; Eisenstat, David..
Proceedings of the VLDB Endowment.  14 (2021)  11 - p. 2305-2313 , 2021
 
?
14

Theoretically and practically efficient parallel nucleus de..:

Shi, Jessica ; Dhulipala, Laxman ; Shun, Julian
Proceedings of the VLDB Endowment.  15 (2021)  3 - p. 583-596 , 2021
 
?
15

The Graph Based Benchmark Suite (GBBS):

, In: Proceedings of the 3rd Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA),
Dhulipala, Laxman ; Shi, Jessica ; Tseng, Tom.. - p. 1-8 , 2020
 
1-15
Related subjects