( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Etna: An Evaluation Platform for Property-Based Testing (Experience Report).

, , , , и . Proc. ACM Program. Lang., 7 (ICFP): 878-894 (августа 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Huili Shi

Lei Shi

Lei Shi

Shi Li

Jianmin Shi

 

Другие публикации лиц с тем же именем

Parallel Batch-Dynamic k-Core Decomposition., , , , и . CoRR, (2021)Density and Affinity Dependent Social Segregation and Arbitrage Equilibrium in a Multi-class Schelling Game., , , , и . CoRR, (2024)The Graph Based Benchmark Suite (GBBS)., , , , и . GRADES-NDA@SIGMOD, стр. 11:1-11:8. ACM, (2020)Parallel Clique Counting and Peeling Algorithms., , и . ACDA, стр. 135-146. SIAM, (2021)Parallel Batch-Dynamic Algorithms for k-Core Decomposition and Related Graph Problems., , , , и . SPAA, стр. 191-204. ACM, (2022)Etna: An Evaluation Platform for Property-Based Testing (Experience Report)., , , , и . Proc. ACM Program. Lang., 7 (ICFP): 878-894 (августа 2023)Internalizing Indistinguishability with Dependent Types., , , и . Proc. ACM Program. Lang., 8 (POPL): 1298-1325 (января 2024)Differential Privacy from Locally Adjustable Graph Algorithms: k-Core Decomposition, Low Out-Degree Ordering, and Densest Subgraphs., , , , , и . FOCS, стр. 754-765. IEEE, (2022)Parallel Algorithms for Hierarchical Nucleus Decomposition., , и . Proc. ACM Manag. Data, 2 (1): 32:1-32:27 (февраля 2024)Theoretically and Practically Efficient Parallel Nucleus Decomposition (Abstract)., , и . HOPC@SPAA, стр. 7-8. ACM, (2023)