16,265 research outputs found
A Dynamic Analysis Tool for Memory Safety Based on Smart Status and Source-Level Instrumentation
No full textThe 44th International Conference on Software Engineering
Presentation video of the paper "A Dynamic Analysis Tool for Memory Safety Based on Smart Status and Source-Level Instrumentation", by Zhe Chen, Jun Wu, Qi Zhang, and Jingling Xu
Figure 4 from: Chen Z-Y, Wu M (2020) Two new cyclophoroid species from Hubei, China, with proposal of a new genus (Gastropoda, Caenogastropoda, Diplommatinidae and Alycaeidae). ZooKeys 935: 37-46. https://doi.org/10.3897/zookeys.935.51414
No full textFigure 4 A, BPincerna vallis Chen & Wu, sp. nov. AHBUMM 10017-spec. 1, holotype, red arrow shows the operculum BHBUMM 10017-spec. 2, paratype C, DPincerna costulosa (Bavay & Dautzenberg, 1912) C HBUMM10018 D syntype, MNHN-IM-2000-31786. Scale bar: 5 mm. Photos: Zhe-Yu Chen (A–C) and M. Caballer Gutierrez (D)
Four-Valued Monitorability of -Regular Languages
No full textPresentation video of the following paper:
Zhe Chen, Yunyun Chen, Robert M. Hierons, and Yifan Wu. Four-Valued Monitorability of ω-Regular Languages. In: Lin SW., Hou Z., Mahony B. (eds) Formal Methods and Software Engineering. Proceedings of the 22nd International Conference on Formal Engineering Methods (ICFEM 2020). Lecture Notes in Computer Science, vol 12531. Springer, Cham. https://doi.org/10.1007/978-3-030-63406-3_1
Figure 3 in A review of Coptocheilus Gould, 1862 from China, with description of a new species (Gastropoda: Caenogastropoda: Pupinidae)
No full textFigure 3. Coptocheilus funiculalus (Benson, 1838) n. rec. from China. A and C, shell overviews. B, operculum refer to A. D, living specimens. Photos: Zhe-Yu Chen (a–c) and Chao Wu (d).Published as part of Chen, Zhe-Yu, 2021, A review of Coptocheilus Gould, 1862 from China, with description of a new species (Gastropoda: Caenogastropoda: Pupinidae), pp. 2703-2712 in Journal of Natural History 54 (41-42) on page 2709, DOI: 10.1080/00222933.2020.1863497, http://zenodo.org/record/540495
Figure 2 in A review of Coptocheilus Gould, 1862 from China, with description of a new species (Gastropoda: Caenogastropoda: Pupinidae)
No full textFigure 2. Shells of Chinese Coptocheilus Gould, 1862. A–E. Coptocheilus longyanensis (Zhou, Zhang & D. Chen, 2009) from Mt. Gongya (a), Shuyang Vil (b), Mt. Zhufeng (c), and Zhangji Vil (d–e). F. Coptocheilus inermis (Bavay & Dautzenberg, 1909) Photos: Zhe-Yu Chen.Published as part of Chen, Zhe-Yu, 2021, A review of Coptocheilus Gould, 1862 from China, with description of a new species (Gastropoda: Caenogastropoda: Pupinidae), pp. 2703-2712 in Journal of Natural History 54 (41-42) on page 2707, DOI: 10.1080/00222933.2020.1863497, http://zenodo.org/record/540495
A new species of Diplommatina Benson, 1849 (Gastropoda, Caenogastropoda: Cyclophoroidea: Diplommatinidae) from the Wollaston Expedition to New Guinea
No full textChen, Zhe-Yu (2023): A new species of Diplommatina Benson, 1849 (Gastropoda, Caenogastropoda: Cyclophoroidea: Diplommatinidae) from the Wollaston Expedition to New Guinea. Zootaxa 5352 (3): 439-442, DOI: 10.11646/zootaxa.5352.3.8, URL: http://dx.doi.org/10.11646/zootaxa.5352.3.
Messageria scalarioides subsp. donghiana Chen & Lin 2021
No full textMessageria scalarioides donghiana Z.-Y. Chen & L.-W. Lin, n. ssp. Figures 1E–H, 2A Holotype: HBUMM 10058, a big cave in mountains between Fengshan County [Hechi City] and Leye County [Baise City], Guangxi Zhuang Autonomous Region, China, ex coll. Hao Yang, 2012. Paratypes: CZY/1, LLW/1, same data as holotype. Etymology. This name comes from the local Zhuang language “dongh”, which means “cave”. Diagnosis. This subspecies can be distinguished from the nominate subspecies by the larger shell and wider lower whorls and umbilicus. Also, the aperture of M. scalarioides donghiana n. ssp. and 1/8 whorl behind it evidently deviate from the axis and umbilicus. Measurements. H = 3.70 mm, W = 3.37 mm, D A = 1.89 mm (holotype). Vernacular name. Į梯Ħfiḏ洞Ë亚ḋ xuán tī chóng lèi luó dòng xué yà zhǒng Distribution. CHINA: Guangxi.Published as part of Chen, Zhe-Yu & Lin, Li-Wen, 2021, Notes on the genus Messageria Bavay & Dautzenberg, 1904, with descriptions of a new speciesand anew subspecies (Gastropoda: Caenogastropoda: Cyclophoroidea Alycaeidae), pp. 129-134 in Zootaxa 5067 (1) on pages 131-132, DOI: 10.11646/zootaxa.5067.1.9, http://zenodo.org/record/565663
A review of Coptocheilus Gould, 1862 from China, with description of a new species (Gastropoda: Caenogastropoda: Pupinidae)
No full textChen, Zhe-Yu (2021): A review of Coptocheilus Gould, 1862 from China, with description of a new species (Gastropoda: Caenogastropoda: Pupinidae). Journal of Natural History 54 (41-42): 2703-2712, DOI: 10.1080/00222933.2020.1863497, URL: http://dx.doi.org/10.1080/00222933.2020.186349
Runtime Detection of Memory Errors with Smart Status
No full text<p>Presentation video of the following paper: Zhe Chen, Chong Wang, Junqi Yan, Yulei Sui, and Jingling Xue. Runtime detection of memory errors with smart status. In Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2021), Virtual, Denmark, July 11–17, 2021, pp. 296–308, ACM, 2021.</p>
Figure 1. A, Coptocheilus yangi n in A review of Coptocheilus Gould, 1862 from China, with description of a new species (Gastropoda: Caenogastropoda: Pupinidae)
No full textFigure 1. A, Coptocheilus yangi n. sp., holotype HBUMM 10024. B, outer side of operculum. C, inner side of operculum. Scale bar 'a' = 10 mm and refers to A, scale bar 'b' = 5 mm and refers to B and C. Photos: Zhe-Yu Chen.Published as part of Chen, Zhe-Yu, 2021, A review of Coptocheilus Gould, 1862 from China, with description of a new species (Gastropoda: Caenogastropoda: Pupinidae), pp. 2703-2712 in Journal of Natural History 54 (41-42) on page 2705, DOI: 10.1080/00222933.2020.1863497, http://zenodo.org/record/540495
- …
