Author of the publication

Dargent: A Silver Bullet for Verified Data Layout Refinement.

, , , , , , and . Proc. ACM Program. Lang., 7 (POPL): 1369-1395 (January 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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

PolarDB-X: An Elastic Distributed Relational Database for Cloud-Native Applications., , , , , , , , , and 17 other author(s). ICDE, page 2859-2872. IEEE, (2022)Exploring the Factors of Intercity Ridesplitting Based on Observed and GIS Data: A Case Study in China., , , , and . ISPRS Int. J. Geo Inf., 10 (9): 622 (2021)An empirical study on the behavior pattern of intercity shared mobility., , , , , and . ITSC, page 2980-2985. IEEE, (2022)Towards A Practical High-Assurance Systems Programming Language.. University of New South Wales, Sydney, Australia, (2023)base-search.net (ftunswworks:oai:unsworks.library.unsw.edu.au:1959.4/101026).A Hoare logic style refinement types formalisation.. TyDe@ICFP, page 1-14. ACM, (2022)Eye Movement Event Detection Based onPath Signature., , , and . ICIG (2), volume 12889 of Lecture Notes in Computer Science, page 820-830. Springer, (2021)Property-Based Testing: Climbing the Stairway to Verification., , , , , , and . SLE, page 84-97. ACM, (2022)Dargent: A Silver Bullet for Verified Data Layout Refinement., , , , , , and . Proc. ACM Program. Lang., 7 (POPL): 1369-1395 (January 2023)Cogent: uniqueness types and certifying compilation., , , , , , , , and . J. Funct. Program., (2021)