https://yfk.io/publication-type/1/2023-10-22T00:00:00+00:00weekly https://yfk.io/publication/oopsla23/2023-10-22T00:00:00+00:00weekly https://yfk.io/tag/conference/2023-10-22T00:00:00+00:00weekly https://yfk.io/2023-10-22T00:00:00+00:00weekly https://yfk.io/publication_types/2023-10-22T00:00:00+00:00weekly https://yfk.io/publication/2023-10-22T00:00:00+00:00weekly https://yfk.io/tags/2023-10-22T00:00:00+00:00weekly https://yfk.io/publication-type/8/2022-04-14T00:00:00+00:00weekly https://yfk.io/publication/patent_refinedcontext/2022-04-14T00:00:00+00:00weekly https://yfk.io/tag/patent/2022-04-14T00:00:00+00:00weekly https://yfk.io/publication/patent_bugdetection/2021-06-17T00:00:00+00:00weekly https://yfk.io/publication/patent_semanticgraph/2021-04-22T00:00:00+00:00weekly https://yfk.io/publication-type/3/2020-09-13T00:00:00+00:00weekly https://yfk.io/publication/gnnti/2020-09-13T00:00:00+00:00weekly https://yfk.io/tag/preprint/2020-09-13T00:00:00+00:00weekly https://yfk.io/publication/misim/2020-06-05T00:00:00+00:00weekly https://yfk.io/publication/correctness18/2018-11-12T00:00:00+00:00weekly https://yfk.io/tag/workshop/2018-11-12T00:00:00+00:00weekly https://yfk.io/publication/sc18/2018-11-11T00:00:00+00:00weekly https://yfk.io/categories/weekly